Siemens Technology and Services Private Limited jobs - Research Engineer Formal Verification of Intelligent Systems

Research Engineer Formal Verification Of Intelligent Systems

Siemens Technology and Services Private Limited
experience 0 to3 Years
salary Salary not disclosed
qualification
Read More...
Job is expired
Posted: 4 Years ago
Views:
Applications:
Openings: 1

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 
Education BE/B.Tech, ME/M.Tech
Who can apply Freshers and Experienced (0 to3 Years )
Hiring Process Face to Face Interview
Employment Type Full Time
Job Id 585635
Job Category Core Technical
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.
Active Jobs By Role
safety tipsSafety Tips
Teamlease does not charge any kind of payment for a job.
get job tipsHow to get a Job early? Follow these tips

1.The more the Jobs you apply, the higher your chances of getting a job.

2. Keep your profile updated Update

Recruiters prefer candidates with complete profile information.

3. Keep visiting the Teamlease.com daily

Daily visit will ensure you won’t miss out on any Job opportunity.

4. Watch videos to improve Watch videos

Be a better candidate than others by watching these Job-related videos.

Search Blue Collar Jobs Online India - Best Recruitment Portal | Teamlease