Job Description :
Research Engineer – Verification and Validation 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. Find out more about the Digital world of Siemens here: www.siemens.com/careers/digitalminds Organization: Technology Company: Siemens Technology and Services Private Limited Experience Level: Experienced Professional Job Type: Full-time
<follow-company data-custom='{"country":"India","address":"Plot No: 1-60/8, Survey No: 72, Silicon Valley Road, Madhapur, Hyderabad – 500081, Andhra Pradesh, India.","kiwiCompanyId":139710,"city":"Hyderabad","employerType":"consultant","about":"Headquartered in Piscataway, New...
Apply For This JobProvide Planning, Designing, and Implementation around Cisco WLAN, DNAC, ISE, 98XX ControllerCisco Products (N9K, N7K, N5k, N2k,) Catalyst products (95xx,...
Apply For This JobWE ARE HIRING!!!Role- IT Support(L1) Experience – 1 to 2 years Notice period – immediate to 15 days location -C.I.L.Colony,...
Apply For This JobArchitect – GCP Terraform – (CREQ136143) Description JOB DESCRIPTIONRole: T3, T2Looking for a great opportunity to experience architecting, designing, and...
Apply For This JobWith a startup spirit and 90,000+ curious and courageous minds, we have the expertise to go deep with the world&rsquos...
Apply For This JobInstalling/Configuring computer hardware operating Systems/Applications / It service desk Analyst / Service desk Management /Networking/ LAN/VAN/*Monitoring and maintaining computer systems...
Apply For This Job