Current jobs related to Senior Principal Engineer Formal Verification - Dublin, Dublin City - Infineon Technologies AG

  • Senior Principal Engineer Formal Verification

    2 weeks ago

    Dublin, Dublin City, Ireland Infineon Technologies Ag Full time

    Join our team in Dublin, as a Senior Principal Engineer for Formal Verification, and play a pivotal role in shaping the future of mobility with Infineon's Automotive division.As a leading innovator in the field, we are driving the transformation of the automotive industry with our cutting-edge microcontrollers and software solutions.As part of our Automotive...

  • Senior Principal Engineer Formal Verification

    4 hours ago

    Dublin, Dublin City, Ireland Infineon Technologies Full time

    Join our team in Dublin, as a Senior Principal Engineer for Formal Verification, and play a pivotal role in shaping the future of mobility with Infineon's Automotive division. As a leading innovator in the field, we are driving the transformation of the automotive industry with our cutting-edge microcontrollers and software solutions. As part of our...

  • Senior Formal Verification Expert

    3 days ago

    Dublin, Dublin City, Ireland beBeeFormalVerification Full time

    At the forefront of mobility innovation, we seek a Senior Formal Verification Expert to spearhead cutting-edge verification methods and drive technical advancements in complex systems. This pivotal role is instrumental in shaping the future of automotive technology by ensuring reliability and compliance through advanced formal verification techniques. You...

  • Principal Verification Engineer

    1 week ago

    Dublin, Dublin City, Ireland Ic Resources Full time

    Social network you want to login/join with: Opportunity: Principal Verification Engineer Location: Dublin, Ireland Our client, a world-leading Semiconductor company based in Ireland, is seeking a Principal Verification Engineer to drive block verification for next-generation Video/GFX products.We offer visa sponsorship and relocation assistance where...

  • Principal Verification Engineer

    6 days ago

    Dublin, Dublin City, Ireland Ic Resources Full time

    Social network you want to login/join with: Opportunity: Principal Verification Engineer Location: Dublin, Ireland Our client, a world-leading Semiconductor company based in Ireland, is seeking a Principal Verification Engineer to drive block verification for next-generation Video/GFX products.We offer visa sponsorship and relocation assistance where...

  • Principal Verification Engineer

    2 weeks ago

    Dublin, Dublin City, Ireland ic resources Full time

    Social network you want to login/join with:Opportunity: Principal Verification EngineerLocation: Dublin, IrelandOur client, a world-leading Semiconductor company based in Ireland, is seeking a Principal Verification Engineer to drive block verification for next-generation Video/GFX products.We offer visa sponsorship and relocation assistance where needed.The...

  • Principal Verification Engineer

    2 weeks ago

    Dublin, Dublin City, Ireland Cadence Ireland Full time

    Social network you want to login/join with: col-narrow-left Client: CADENCE IRELAND Location: Dublin, Ireland Job Category: Other - EU work permit required: Yes col-narrow-right Job Reference: 4012c46cc842 Job Views: 4 Posted: 03.06.2025 Expiry Date: 18.07.2025 col-wide Job Description: At Cadence, we hire and develop leaders and innovators who want to make...

  • Digital Verification Lead

    2 weeks ago

    Dublin, Dublin City, Ireland beBeeVerification Full time

    Drive innovation in digital verification with this exciting opportunity to lead block verification for next-generation Video/GFX products.A leading Semiconductor company based in Ireland is seeking a Principal Verification Engineer to spearhead verification activities, including defining verification plans, developing test benches, and creating test...

  • Senior Verification Engineer

    2 weeks ago

    Dublin, Dublin City, Ireland Infineon Technologies AG Full time

    As a Senior Verification Engineer, you will play a crucial role in verification and integrating automotive IPs. You will be part of a dynamic and experienced team and your technical knowledge will lead us to the next level in our mission of excellence.In your new role, you will:Develop and implement verification strategies and methodologies to improve...

  • Senior Verification Engineer

    21 hours ago

    Dublin, Dublin City, Ireland Infineon Technologies AG Full time

    As a Senior Verification Engineer, you will play a crucial role in verification and integrating automotive IPs. You will be part of a dynamic and experienced team, and your technical knowledge will lead us to the next level in our mission of excellence.In your new role, you will:- Develop and implement verification strategies and methodologies to improve...

Senior Principal Engineer Formal Verification

1 month ago

Dublin, Dublin City, Ireland Infineon Technologies AG Full time
Join our team in Dublin, as a Senior Principal Engineer for Formal Verification, and play a pivotal role in shaping the future of mobility with Infineon's Automotive division. As a leading innovator in the field, we are driving the transformation of the automotive industry with our cutting-edge microcontrollers and software solutions. As part of our Automotive Microcontroller business line, you will contribute to the development of innovative solutions that enable clean, safe, and smart cars, and work collaboratively with a team of experts to drive innovation, strategy, and growth in the field of Formal Verification.

Job Description
As a Senior Principal Engineer for Formal Verification you will define and lead the formal verification strategy for the Automotive Microcontroller platforms.

In your new role you will:

- Work closely with platform architects and design leads to establish formal-friendly platform and design rules
- Establish formal verification as a standard method in IP verification
- Guide the use of formal verification so that correct formal techniques are used appropriately to improve efficiency of IP and product level verification
- Grow formal verification experts within Automotive Microcontrollers (ATV MC) business line and establish a Formal Verification Community
- Push the boundaries of the application of formal verification in Digital Mixed Signal and Power Aware Verification
- Standardize and automate the use of formal verification, including through the practical application of AI techniques

Your Profile
You are a leader with a strong background in Formal Verification, and a proven track record of driving complex projects forward. You are a strategic thinker, able to analyze intricate problems from multiple angles, leveraging your network of experts to drive innovative solutions and continuous improvement. Your exceptional communication skills enable you to effectively convey your ideas, influence others, and build lasting relationships with cross-functional teams and stakeholders.

You are best equipped for this task if you have:

- A University Degree within STEM (Science, Technologies, Engineering and Mathematics) area
- At least 15 years of relevant work experience with 8+ years of experience in the use of formal verification
- A deep understanding of formal verification, including

- The use of formal verification techniques such as abstractions, non-determinism, invariants, assume-guarantee etc.

- An understanding of formal engines and how best to use them

- A broad experience of the application for formal verification, including

- The use of formal verification for the verification of algorithms, protocols, design blocks etc.

- The application of formal verification in SoC verification

- The efficient use of formal verification in hybrid simulation-formal environments

- The ability to excite and enable verification engineers to use formal methods
- Made significant internal and external contributions in the use of formal verification and can provide evidence of pushing the use of formal verification into new areas
- A footprint demonstrating influence on the use of formal verification in industry and academia

Please send us your CV in English.

Contact:
Francisca Dias, LinkedIn

#WeAreIn for driving decarbonization and digitalization.
As a global leader in semiconductor solutions in power systems and IoT, Infineon enables game-changing solutions for green and efficient energy, clean and safe mobility, as well as smart and secure IoT. Together, we drive innovation and customer success, while caring for our people and empowering them to reach ambitious goals. Be a part of making life easier, safer and greener.
Are you in?

Automotive (ATV) shapes the future of mobility with microelectronics enabling clean, safe, and smart cars –
Our semiconductors are essential for supporting the automotive megatrends: electromobility, automated driving, connectivity, and advanced security. They link the real and the digital world, driving the ever-advancing pace of automotive digitalization. Infineon ATV is the number one semiconductor partner in the fast-changing automotive world, based on our system knowledge and our passion for innovation and quality.
Click here for more information about working at ATV with interesting employee and management insights and an overview with more #ATVDreamJobs.

Automotive Microcontroller: We make green mobility smart
As a leading automotive microcontroller vendor, the Infineon business line Automotive Microcontroller (ATV MC) offers the industry's most comprehensive microcontroller and software portfolio. The three major product families, AURIX, TRAVEO and PSoC, provide the newest innovation in performance, connectivity, power consumption, safety and security.

We enable the latest advancements in the dynamic automotive market, such as vehicle electrification, automated driving and driver information & interaction. Being at the core of transformation, we pave the way for new technologies, such as artificial intelligence and dependable computing, as well as higher levels of connectivity, security and user experience. So, join us to create a better future together.
#AutomotiveMicrocontroller

We are on a journey to create the best Infineon for everyone.
This means we embrace diversity and inclusion and welcome everyone for who they are. At Infineon, we offer a working environment characterized by trust, openness, respect and tolerance and are committed to give all applicants and employees equal opportunities. We base our recruiting decisions on the applicant´s experience and skills.
We look forward to receiving your resume, even if you do not entirely meet all the requirements of the job posting.
Please let your recruiter know if they need to pay special attention to something in order to enable your participation in the interview process.
Click here for more information about Diversity & Inclusion at Infineon.

#J-18808-Ljbffr