Formal Verification & Software Engineer

Let’s make the difference together!

Siemens Digital Industries (DI) is an innovation leader in automation and digitalization. Closely, collaborating with partners and customers, we care about the digital transformation in the process and discrete industries. With our Digital Enterprise portfolio, we provide and encourage companies of all sizes with an end-to-end set of products, solutions and services to integrate and digitalize the entire value chain. Meaningful optimization for the specific needs of each industry, our outstanding portfolio supports customers to achieve greater efficiency and flexibility. We are constantly adding innovations to its portfolio to integrate groundbreaking future technologies. We have our global headquarters in Nuremberg, Germany, and have around 75,000 employees internationally.

We offer a role with responsibility, independence and the possibility to contribute proactive. We foster a teamwork culture with room for individual development

Please visit https://siemensneo.com/disw/

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

Working at Siemens Software

Why us?

Working at Siemens Software means flexibility – Choosing between working at home and the office at other times is the norm here. We offer great benefits and rewards, as you’d expect from a world leader in industrial software.

We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, sex, gender, gender expression, sexual orientation, age, marital status, veteran status, or disability status.

Siemens Industry Software is an equal opportunities employer and does not discriminate unlawfully on the grounds of age, disability, gender assignment, marriage, and civil partnership, pregnancy and maternity, race, religion or belief, sex, sexual orientation, or trade union membership.

Siemens. Making real what matters

If you want to make a difference – make it with us!

#LI-EDA

#LI-DS1

#LI-Hybrid

Source ⇲