Job Information
Siemens Digital Industries Software Formal Verification & Software Engineer (d/m/f) in Munich, Germany
Job Family: Research & Development
Req ID: 412924
Are you brave enough to challenge yourself?
Siemens Digital Industries Software is not a manufacturing company. We are a growing software company - bringing the technologies and innovations of tomorrow to our customers today. With the resources and opportunities of a large corporation, your opportunities are endless. The role you apply for today is only the first step 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, the team at the center. With us, you will be involved in exciting, highly complex projects at renowned and successful companies from various industries with the opportunity 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, on achieving high quality and on-time delivery. Responsible for ensuring the overall functional quality of the released product on all required platforms and mechanism. Ability to understand complex products, solutions, and problems. Creates, documents, and executes software designs which may involve significant re-architecture of important systems, defining and coordinating implementation of wide-reaching impacts. Acts as Technical lead of major projects within one area of a product. Frequently consults with customers in regard to future upgrades and products. Influences the technical direction for one area of a product. Promotes innovation through the ability to introduce new technology/knowledge into at least one area of a product and to our people.
Provides high-level technical expertise, including performing in-depth and complex software systems programming and analysis. Provide problem resolution and technical leadership for the group. Possesses broad knowledge of internal operating systems, applications implications and customer areas. Technical Lead in guiding junior engineers. Works without supervision on highly complex projects with complete latitude for independent judgment and technical expertise. 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 and safety critical systems, contributing to Calypto SLEC formal verification product line. As a generalist, for a formal verification product line, the candidate will have a broad charter of contributing to various aspects of the tool flow, to take formal verification from research to broad usage.
The candidate will report to the lead of the SLEC US team, in Calypto Systems Division in Siemens EDA. The division is responsible for industry leading tools for formal verification, high level synthesis, RTL power analysis and optimizations, and FPGA and ASIC synthesis.
Responsibilities
This software development position entails contributions to different areas of the SLEC product, graphical user interfaces, language frontends for C++, SystemC, and RTL, data flow analysis, netlist database and optimizations, solver orchestration and benchmarking, to debug flows utilizing industry standard waveform and testbench formats, and integration with third party tools for waveforms and simulation.
The candidate will also interact with other product groups, field engineers, and customers to identify and develop unique formal verification solutions requirements that arise, such as C++ high level synthesis, CPU/FPU formal verification, RTL power optimizations, etc.
Typical duties in this role involve:
Developing specification for software from often incomplete and
Ambiguous requirements
Software development, testing and code quality best practices.
Benchmarking
Debugging of software, either in house, or in customer environments
Developing solutions and methodologies for unique customer problems
Communicating with peers, other teams, and customers
Required Knowledge/Skills, Education, and Experience
The candidate will possess 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 related fields.
The candidate should possess strong skills in algorithms and data structures, at least one modern programming language, with C++ preferred, scripting languages, program/data flow analysis, computer arithmetic, etc.
The position may involve occasional travel for internal meetings, as the team is geographically diverse.
Knowledge or experience in the following is a plus.
Understanding of formal verification of hardware/software
Mathematical/analytical abilities
Compilers
High-level/behavioral synthesis
Hardware design
RTL simulation tools
What we offer
We offer an international environment with more than 140,000 customers around the world who already rely on our expertise in digitization. In Germany, more than 2,000 colleagues are involved in exciting and varied customer projects in the aerospace, automotive and transportation, consumer products and retail, electronics and semiconductors, energy and utilities, industrial machinery and heavy machinery, maritime, and medical devices and pharmaceuticals industries. With us, you will find a team-oriented work environment, comprehensive training options and attractive benefits. Through individual target agreements and diverse career models with specialization options, 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 career platform, which you can access via "Apply now".
Send us an email to careers-DACH.sisw@siemens.com, if you would like to clarify initial questions with our recruiting team. Contact person for this job advertisement is Dominik Strumidel, dominik.strumidel@siemens.com
Come and learn more about Siemens Software: Mission / Vision and our software portfolio - or visit our homepage.
We value equal opportunities and welcome applications from people with disabilities. At Siemens, we believe people who’ve had real experiences dealing with being different will excel as leaders. Let's foster a culture of creativity and innovation. We will ensure that individuals with disabilities are provided reasonable accommodation to participate in the job application or interview process, to perform essential job functions, and to receive other benefits and privileges of employment. Please contact us to request accommodation.
#LI-EDA
#LI-DS1
#LI-Hybrid