Visionary Formal Verification Expert

4 days ago

Dublin, Dublin City, Ireland beBeeFormalVerification Full time €1,200,000 - €1,500,000
Job Title: Senior Principal Engineer Formal Verification

This position oversees the formal verification strategy for automotive microcontroller platforms.

  • Works closely with platform architects and design leads to create formal-friendly platform and design rules
  • Establishes formal verification as a standard method in IP verification
  • Guides the use of formal verification to improve efficiency of IP and product level verification
  • Grows formal verification experts within Automotive Microcontrollers business line and establishes a Formal Verification Community
  • Pushes the boundaries of application of formal verification in Digital Mixed Signal and Power Aware Verification
  • Standardizes and automates the use of formal verification, including through practical application of AI techniques
Your Profile

A leader with strong background in formal verification, you have proven track record of driving complex projects forward. You are strategic thinker able to analyze intricate problems from multiple angles, leveraging your network of experts to drive innovative solutions and continuous improvement.

  • Bachelor's degree in STEM field
  • At least 15 years of relevant work experience with 8+ years of experience in use of formal verification
  • Deep understanding of formal verification, including
    • Formal verification techniques such as abstractions, non-determinism, invariants, assume-guarantee etc.
    • Formal engines and how best to use them
    • Broad experience of application for formal verification, including
      • Verification of algorithms, protocols, design blocks etc.
      • Application of formal verification in SoC verification
      • Efficient use of formal verification in hybrid simulation-formal environments
      • Ability to excite and enable verification engineers to use formal methods
      • Made significant internal and external contributions in use of formal verification and can provide evidence of pushing the use of formal verification into new areas
      • Footprint demonstrating influence on use of formal verification in industry and academia

  • Innovative Leader in Formal Verification Solutions

    2 days ago

    Dublin, Dublin City, Ireland beBeeFormalVerification Full time €70,000 - €120,000

    Lead Formal Verification SpecialistOur organization seeks a Lead Formal Verification Specialist to play a pivotal role in shaping the future of mobility. This position is part of our automotive microcontroller business line, focusing on developing innovative solutions that enable clean, safe, and smart cars.Your key responsibilities include:Defining and...

  • 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...

  • Senior Lead Expert in Formal Proof Engineering

    2 weeks ago

    Dublin, Dublin City, Ireland beBeeVerification Full time €100,500 - €163,800

    Job Description:As a Senior Principal Engineer for Formal Verification, you will play a pivotal role in shaping the future of mobility with innovative solutions that enable clean, safe, and smart cars.In this critical position, you will define and lead the formal verification strategy for Automotive Microcontroller platforms. You will work closely with...

  • Formal Verification Specialist

    2 weeks ago

    Dublin, Dublin City, Ireland beBeeVerification Full time €100,000 - €130,000

    Job OpportunityWe are seeking a highly skilled Senior Principal Engineer to lead our formal verification strategy for Automotive Microcontroller platforms.A strong background in formal verification and software engineering principles is required.Familiarity with various programming languages and development tools is essential.The ideal candidate will have...

  • Senior Verification Specialist

    3 days ago

    Dublin, Dublin City, Ireland beBeeVerification Full time €100,000 - €130,000

    Design Verification Manager Role OverviewAs a Design Verification Manager, you will play a pivotal role in ensuring the quality and reliability of cutting-edge semiconductor products.This position involves leading and mentoring a team of design verification engineers to foster innovation and collaboration. You will also develop comprehensive verification...

  • Asic Digital Verification Engineer

    4 weeks ago

    Dublin, Dublin City, Ireland Synopsys Inc Full time

    Join to apply for theASIC Digital Verification Engineerrole atSynopsys IncJoin to apply for theASIC Digital Verification Engineerrole atSynopsys IncGet AI-powered advice on this job and more exclusive features.We Are:At Synopsys, we drive the innovations that shape the way we live and connect.Our technology is central to the Era of Pervasive Intelligence,...

  • Medical Device Verification Lead

    2 days ago

    Dublin, Dublin City, Ireland beBeeTechnical Full time €80,000 - €120,000

    Lead Technical ExpertThis is a leadership role that involves overseeing the development and implementation of verification and validation activities for new medical devices.The successful candidate will have extensive experience in leading technical teams and developing physical test methods, fixtures, and systems.ResponsibilitiesDeveloping and optimising...

  • Visionary AI Engineer

    2 weeks ago

    Dublin, Dublin City, Ireland beBeeAIENGINEER Full time €110,000 - €140,000

    Job Title: Visionary AI EngineerJob OverviewWe are seeking a highly motivated and skilled Visionary AI Engineer to design and build innovative AI-powered tools that empower our analysts to work more efficiently, make better decisions, and drive business growth.Design and develop cutting-edge AI tools that help analysts explore data, generate SQL queries,...

  • Verification Officer

    4 weeks ago

    Dublin, Dublin City, Ireland Sgs Full time

    2 weeks ago Be among the first 25 applicantsGet AI-powered advice on this job and more exclusive features.Company DescriptionSGS is the world's leading Inspection, Verification, Testing and Certification company.We are recognised as the global benchmark for quality and integrity.With more than 98,000 employees, we operate a network of more than 2,650 offices...

  • Product Visionary

    5 days ago

    Dublin, Dublin City, Ireland beBeeProduct Full time €80,000 - €100,000

    Strategic Product Leader - Messaging and Verification ServicesWe're a collaborative team striving for innovative solutions. The pace of our work, the thrill of making bold moves, and the energy of our people are exhilarating and addictive.As a Strategic Product Leader with our Wholesale team, you will be responsible for shaping the next generation of...