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.
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
You have excellent communication and presentation skills
While you are self-motivated and capable of working independently, you are also comfortable in teams
Masters/ Ph.D. in Computer Science (or related fields)
Technical papers at prestigious conferences and journals would be a plus
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