Formal Verification

Are you brave enough to challenge yourself?

Siemens Digital Industries Software is not a manufacturing company. Weare a growing software company - bringing the technologies and innovations of tomorrow to ourcustomers today. With the resources and opportunities of a large corporation,your opportunities are endless. The role you apply for today is only the firststep in your Siemens journey.

Join our team now as “Formal Verification & Software Engineer(d/m/f)” at one of our Munich (Germany) or Grenoble (France)

Our culture is characterized by an open and cooperative atmosphere, theteam at the center. With us, you will be involved in exciting, highly complexprojects at renowned and successful companies from various industries with theopportunity to act on your own responsibility. Reach for it

General Requirements

Design, develop, modify, and implement software programming for products(both internal and external) with focus on surpassing customer expectations, onachieving high quality and on-time delivery. Responsible for ensuring theoverall functional quality of the released product on all required platforms andmechanism. Ability to understand complex products, solutions, and problems.Creates, documents, and executes software designs which may involve significantre-architecture of important systems, defining and coordinating implementationof wide-reaching impacts. Acts as Technical lead of major projects within onearea of a product. Frequently consults with customers in regard to futureupgrades and products. Influences the technical direction for one area of aproduct. Promotes innovation through the ability to introduce newtechnology/knowledge into at least one area of a product and to our people.

Provides high-level technical expertise, including performing in-depthand complex software systems programming and analysis. Provide problemresolution and technical leadership for the group. Possesses broad knowledge ofinternal operating systems, applications implications and customer areas.Technical Lead in guiding junior engineers. Works without supervision on highlycomplex projects with complete latitude for independent judgment and technicalexpertise. Extensive knowledge of the field.

Position Overview

The candidate will be in charge of research and development of software,algorithms, and techniques for formal verification of hardware, software andsafety critical systems, contributing to Calypto SLEC formal verificationproduct line. As a generalist, for a formal verification product line, thecandidate will have a broad charter of contributing to various aspects of thetool flow, to take formal verification from research to broad usage.

The candidate will report to the lead of the SLEC US team, in CalyptoSystems Division in Siemens EDA. The division is responsible for industryleading tools for formal verification, high level synthesis, RTL power analysisand optimizations, and FPGA and ASIC synthesis.

Responsibilities

This software development position entails contributions to differentareas of the SLEC product, graphical user interfaces, language frontends forC++, SystemC, and RTL, data flow analysis, netlist database and optimizations,solver orchestration and benchmarking, to debug flows utilizing industrystandard waveform and testbench formats, and integration with third party toolsfor waveforms and simulation.

The candidate will also interact with other product groups, fieldengineers, and customers to identify and develop unique formal verificationsolutions requirements that arise, such as C++ high level synthesis, CPU/FPUformal verification, RTL power optimizations, etc.

Typical duties in this role involve:

Developingspecification for software from often incomplete and Ambiguousrequirements Software development,testing and code quality best practices. Benchmarking Debugging ofsoftware, either in house, or in customer environments Developing solutionsand methodologies for unique customer problems Communicating withpeers, other teams, and customers

Required Knowledge/Skills, Education, and Experience

The candidate willpossess either a Master’s degree with 5+ years of experience, or a Ph.D. with 2+years of experience in computer science, electrical engineering or relatedfields. The candidate shouldpossess strong skills in algorithms and data structures, at least one modernprogramming language, with C++ preferred, scripting languages, program/dataflow analysis, computer arithmetic, etc. The position mayinvolve occasional travel for internal meetings, as the team is geographically diverse.

Knowledge or experience in the following is a plus.

Understanding offormal verification of hardware/software Mathematical/analyticalabilities Compilers High-level/behavioralsynthesis Hardware design RTL simulation tools

What we offer

We offer an international environment with more than 140,000 customersaround the world who already rely on our expertise in digitization. In Germany,more than 2,000 colleagues are involved in exciting and varied customerprojects in the aerospace, automotive and transportation, consumer products andretail, electronics and semiconductors, energy and utilities, industrialmachinery and heavy machinery, maritime, and medical devices andpharmaceuticals industries. With us, you will find a team-oriented workenvironment, comprehensive training options and attractive benefits. Throughindividual target agreements and diverse career models with specializationoptions, we offer you the opportunity to grow professionally and personally.

We'd love to hear from you, so apply now on siemens.com

We look forward to your application Please use only our careerplatform, which you can access via "Apply now".

Come and learn more about Siemens Software: Mission / Vision and oursoftware portfolio - or visit our homepage.

We value equal opportunities andwelcome applications from people with disabilities. At Siemens, we believepeople who’ve had real experiences dealing with being different will excel asleaders. Let's foster a culture of creativity and innovation. We will ensurethat individuals with disabilities are provided reasonable accommodation toparticipate in the job application or interview process, to perform essential jobfunctions, and to receive other benefits and privileges of employment. Pleasecontact us to request accommodation.

#LI-EDA

#LI-DS1

#LI-Hybrid

---