Lead Research Engineer-Verification of Intelligent Systems

Job Description

Would you be intrigued by an opportunity to explore interesting and unusual ways to exercise your deep skills in computer science, especially applying advanced formal testing and verification techniques to intelligent systems? Are you passionate about bringing formal-methods based verification to solve real-world problems? or Are you also passionate about autonomous software? Join our research group to explore how to apply these technologies to test and validate intelligent systems in the age of Digitalization and Automation.

We make real what matters.

You will architect, design and develop prototypes and technology demonstrators with a very high quality to solve contemporary and emerging critical business challenges using formal approaches. Following are (but not limited to) your core business expectations:

Demonstrate passion for deep understanding in state-of-the-art and emerging rigorous methods for verification and validation. This includes for instance one or more of model-checking, Fuzzing, symbolic execution, concolic testing, and CEGAR.

Hands-on skill in applying the above techniques to real industrial problems to deliver solutions to Siemens business globally.

Continuously hone and upgrade your skills in the constantly evolving technology world: create the future through intellectual property such as patents and publications in prestigious conferences and journals.


Use your skills to move the world forward.

Technical Expertise

Masters/ Ph.D. in Computer Science (especially in formal methods or related area)

Knowledge of model checking and using SMT solvers (e.g Z3)

Knowledge of rigorous software engineering, Abstract interpretation, CEGAR, compiler techniques, program analysis - static and dynamic analysis etc. is preferred.

Knowledge of ML concepts such as reinforcement learning , deep learning is preferred.

Excellent programming skills in Python or C/C++ or JAVA


 Soft Skills

You have excellent communication and presentation skills

While you are self-motivated and capable of working independently, you are also comfortable in teams


Qualifications

Masters/ Ph.D. in Computer Science (or related fields)

Technical papers at prestigious conferences and journals would be a plus


About us


We’re Siemens. A collection of over 372,000 minds building the future, one day at a time in over 200 countries. We're dedicated to equality and we welcome applications that reflect the diversity of the communities we work in. All employment decisions at Siemens are based on qualifications, merit and business need. Bring your curiosity and imagination, and help us shape tomorrow.


Find out more about department at: Corporate Research, Siemens India website and about Siemens careers at: www.siemens.com/careers

Job ID: 189685

Organization: Corporate Technology

Company: Siemens Technology and Services Private Limited

Experience Level: Experienced Professional

Job Type: Full-time

Can't find what you are looking for?

Let's stay connected

Can't find what you are looking for?