Aktuelle Jobs im Zusammenhang mit Formal Verification - München - Siemens AG

  • Verification Expert

    Vor 3 Tagen

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleFerchau GmbH is seeking a skilled Verification Expert to join our team. As a Verification Expert, you will play a crucial role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical software in the aerospace industryAnalyze and debug software issues in the context of...

  • Verification Expert

    Vor 5 Tagen

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleFerchau GmbH is seeking a skilled Verification Expert to join our team. As a Verification Expert, you will play a crucial role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical software in the aerospace industryAnalyze and debug software issues in the context of...

  • Verification Expert

    vor 1 Woche

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleFerchau GmbH is seeking a skilled Verification Expert to join our team. As a Verification Expert, you will play a crucial role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical software in the aerospace industryAnalyze and debug software issues in the context of...

  • Verification Expert

    Vor 3 Tagen

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleFerchau GmbH is seeking a skilled Verification Expert to join our team. As a Verification Expert, you will play a crucial role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical software in the aerospace industryAnalyze and debug software issues in the context of...

  • Verification Expert

    vor 1 Woche

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleFERCHAU GmbH is seeking a skilled Verification Engineer to join our team. As a Verification Engineer, you will play a crucial role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical softwareCreate automated test scripts to streamline the testing processAnalyze and...

  • Verification Expert

    Vor 2 Tagen

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleWe are seeking a skilled Verification Engineer to join our team at FERCHAU GmbH. As a Verification Engineer, you will play a critical role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical software in the aerospace industryAnalyze and debug software issues in the...

  • Verification Expert

    Vor 2 Tagen

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleWe are seeking a skilled Verification Engineer to join our team at FERCHAU GmbH. As a Verification Engineer, you will play a critical role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical software in the aerospace industryAnalyze and debug software issues in the...

  • Verification Expert

    Vor 3 Tagen

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleFerchau GmbH is seeking a skilled Verification Engineer to join our team. As a Verification Engineer, you will play a critical role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical softwareCreate automated test scripts to streamline the testing processAnalyze and...

  • Verification Expert

    Vor 4 Tagen

    Garching bei München, Bayern, Deutschland FERCHAU GmbH Vollzeit

    About the RoleFerchau GmbH is seeking a skilled Verification Engineer to join our team. As a Verification Engineer, you will play a critical role in ensuring the quality and reliability of our software solutions.Key ResponsibilitiesDevelop and execute tests for safety-critical softwareCreate automated test scripts to streamline the testing processAnalyze and...

  • Account Technology Manager

    vor 1 Monat

    München, Deutschland Siemens AG Vollzeit

    About UsSiemens EDA is a global technology leader in Electronic Design Automation software. Our software tools enable companies around the world to develop new and highly innovative electronic products faster and more cost-effectively. Our customers use our tools to push the boundaries of technology and physics in order to deliver better products in the...

  • Verification Engineer

    vor 2 Monaten

    Garching bei München, Deutschland FERCHAU GmbH Vollzeit

    Taking technology to the next level. Facing up to challenges and working on the innovations of tomorrow - for this, we at FERCHAU need experts like you: as someone ambitious who, like us, wants to take technology to the next level. We are involved in exciting projects for well-known customers in the aerospace industry and take on responsibility for complex...

  • Verification Engineer

    vor 3 Monaten

    Garching b. München, Deutschland FERCHAU GmbH Vollzeit

    Taking technology to the next level. Facing up to challenges and working on the innovations of tomorrow - for this, we at FERCHAU need experts like you: as someone ambitious who, like us, wants to take technology to the next level. We are involved in exciting projects for well-known customers in the aerospace industry and take on responsibility for complex...

  • Verification Engineer

    vor 4 Wochen

    Garching b. München, Deutschland FERCHAU GmbH Vollzeit

    Taking technology to the next level. Facing up to challenges and working on the innovations of tomorrow - for this, we at FERCHAU need experts like you: as someone ambitious who, like us, wants to take technology to the next level. We are involved in exciting projects for well-known customers in the aerospace industry and take on responsibility for complex...

  • Verification Engineer

    vor 4 Wochen

    Garching bei München, Deutschland FERCHAU GmbH Vollzeit

    Taking technology to the next level. Facing up to challenges and working on the innovations of tomorrow - for this, we at FERCHAU need experts like you: as someone ambitious who, like us, wants to take technology to the next level. We are involved in exciting projects for well-known customers in the aerospace industry and take on responsibility for complex...

  • Verification Engineer

    vor 3 Monaten

    Garching bei München, Deutschland FERCHAU GmbH Vollzeit

    Taking technology to the next level. Facing up to challenges and working on the innovations of tomorrow - for this, we at FERCHAU need experts like you: as someone ambitious who, like us, wants to take technology to the next level. We are involved in exciting projects for well-known customers in the aerospace industry and take on responsibility for complex...

  • Ph.d. Candidate

    vor 1 Woche

    München, Deutschland Cadence Design Systems Vollzeit

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. This Ph.D. research focuses on developing advanced fault models and safety verification techniques for AI accelerators using cutting-edge EDA tools. The research will involve exploring safety analysis methodologies using functional testing...

  • FPGA Designer

    vor 1 Woche

    München, Deutschland Orizon GmbH Vollzeit

    Our offer:Direct permanent employment with our well-known customerAttractive working environment with good prospectsAttractive remuneration social benefitsPersonal support during the placement processYour prospective job:You will act as a FPGA Designer (f/m/d) Space for our prestigious client in the field of aerospace industry in the area of Munich.As a...

Formal Verification

vor 1 Monat

München, Deutschland Siemens AG Vollzeit

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

null null null null null null null null null null