Research Engineer – Formal Verification of Intelligent Systems Jobs in Bangalore - Siemens Technology and Services Private Limited
Job Description
Research Engineer - Formal Verification of
Intelligent Systems The Technology department occupies an outstanding position
within Siemens' R&D facilities. It functions as an international network of
expertise and as a global partner for technology and innovations. Through its
R&D activities in Germany, USA, China, India, Russia, Japan and Eastern
Europe, Corporate Technology helps secure the company's technological future
and strengthen its ambition. Change the future with us
You
will architect, design, and develop prototypes and technology
demonstrators with very high quality to solve contemporary and emerging
critical business challenges using formal approaches.
Demonstrate
passion for deep understanding of 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 skills 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.
What you need to make real what matters.
Do you
have a Masters/ Ph.D. in Computer Science (especially in formal
verification or related area)
Knowledge
of model checking and using SMT solvers (e.g., Z3, CBMC) • Knowledge of
rigorous software engineering, compiler techniques, program analysis –
static and dynamic analysis etc., is preferred.
Excellent
programming skills in Python or C/C++ or JAVA
Knowledge
of ML concepts and models such as CNN is preferred.
Make your mark in our
exciting world at Siemens. This role is
based in Bangalore. You’ll also get to visit other locations in India and
beyond, so you’ll need to go where this journey takes you. In return, you’ll
get the chance to work with teams impacting entire cities, countries – and the
shape of things to come. We’re Siemens.
A collection of over 379,000 minds building the future, one day
at a time in over 200 countries. We're dedicated to equality, and we encourage
applications that reflect the diversity of the communities we work in.
At
Siemens we are always challenging ourselves to build a better future.
We need
the most innovative and diverse Digital Minds to develop tomorrow‘s reality.
Experience Level: Experienced Professional
Job Type: Full-time
Job Particulars
Role engineer core non it
Who can apply Freshers and Experienced (0 to 3 Years )
Hiring Process Face to Face Interview
Employment TypeFull Time
Job Id1182674
Job Category Core Technical
Locality Address
State Karnataka
Country India
About Company
Siemens India is a technology powerhouse that has stood for engineering excellence, innovation, quality and reliability. The company focuses on the areas of electrification, automation and digitalization. It is one of the leading producers of energy-efficient, resource-saving technologies; combined cycle turbines for power generation; and power transmission solutions. Siemens is a pioneer in infrastructure solutions and automation and software solutions for industry. The company is also a leading supplier of medical imaging equipment – such as computed tomography and magnetic resonance imaging systems – and a leader in laboratory diagnostics as well as clinical IT. At the end of September 2016, Siemens India had around 16,000 employees (Number of employees is 16,000 including all group companies of Siemens in India). Siemens Limited, in which Siemens AG holds 75% of the capital, is the flagship listed company of Siemens AG in India.
Jobs By Location
Bangalore
Noida
Ahmedabad
Hyderabad
Pune
Gurgaon
Delhi
Mumbai
Kolkata
Chennai
Others also searched for
Job & career videos Subscribe