Expert in Formal Verification Techniques

2 weeks ago

Dublin, Dublin City, Ireland beBeeVerification Full time €120,000 - €140,000
Lead Formal Verification Expert

We are seeking a seasoned professional to drive our formal verification strategy forward. As a key member of our team, you will define and execute the implementation of formal verification techniques across our Automotive Microcontroller platforms.

  • Collaborate with platform architects and design leads to develop formal-friendly platform and design rules that ensure seamless integration with existing systems.
  • Establish formal verification as a cornerstone of our IP verification process, leveraging your expertise to optimize efficiency and effectiveness.
  • Develop and maintain a community of formal verification experts within our Automotive Microcontrollers business line, fostering knowledge sharing and innovation.
  • Pursue the advancement of formal verification applications in Digital Mixed Signal and Power Aware Verification, identifying opportunities for growth and improvement.
  • Standardize and automate formal verification processes, incorporating AI techniques to streamline workflows and enhance productivity.

To succeed in this role, you will require:

Key Qualifications:
  • A degree in a STEM field.
  • No less than 15 years of relevant experience, with at least 8 years focused on formal verification.
  • A deep understanding of formal verification principles, including:
    • The application of formal verification techniques such as abstractions, non-determinism, invariants, assume-guarantee etc.
    • Proficiency in formal engines and their effective utilization.
    • Broad experience in applying formal verification to:
      • Algorithm and protocol verification.
      • SoC verification.
      • Hybrid simulation-formal environments.
      • Enabling verification engineers to adopt formal methods.
      • Making significant contributions to the advancement of formal verification and demonstrating influence in both industry and academia.

You will be expected to provide evidence of your achievements and thought leadership in the field of formal verification.

Please submit your CV in English.

  • Senior Principal Engineer Formal Verification

    3 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 Principal Engineer Formal Verification

    25 minutes 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 Manager

    17 hours ago

    Dublin, Dublin City, Ireland beBeeDesign Full time €90,000 - €120,000

    Job Title: Senior Manager - Design VerificationAbout the RoleWe are seeking a highly skilled and motivated Senior Manager to lead our Analog and Digital-RF team at AMD. This is an exciting opportunity to join the innovative and multi-award winning team that has developed the RF data converter sub-system, including direct-RF digital signal processing, around...

  • Asic Digital Verification Engineer

    1 week 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,...

  • Urgent: ASIC Digital Verification Engineer

    2 weeks ago

    Dublin, Dublin City, Ireland Synopsys, Inc. Full time

    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, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the...

  • Verification Officer

    1 week 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...

  • Sr. Manager

    3 weeks ago

    Dublin, Dublin City, Ireland Advanced Micro Devices Inc Full time

    WHAT YOU DO AT AMD CHANGES EVERYTHING We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences - the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our...

  • Senior Expert in Physical Design Solutions

    11 hours ago

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

    High-Performance Design EngineerWe are driving innovations that shape our lives and connections through cutting-edge technology.Our team leads in chip design, verification, and IP integration, empowering high-performance silicon chips and software content creation.Your RoleYou will be a passionate and dedicated R&D Staff Engineer with expertise in physical...

  • Leading Digital Design Expert

    1 day ago

    Dublin, Dublin City, Ireland beBeeDigitalDesignEngineer Full time €85,000 - €110,000

    We are seeking a highly skilled and experienced engineer to develop CPU and memory subsystems for automotive applications.Key Responsibilities:Implement and review subblocks of CPU subsystemsContribute to the specification and definition of CPU microarchitecture for automotive applicationsEnsure digital designs meet requirements regarding functional safety...

  • Staff AI Quality Assurance Specialist

    2 days ago

    Dublin, Dublin City, Ireland beBeeEngineer Full time €90,000 - €110,000

    Job Description:">The role of Staff AI Quality Assurance Engineer is a high-profile position within our organization. In this capacity, you will be responsible for ensuring the reliability, safety, and ethical integrity of our artificial intelligence platform.">Key Responsibilities:">">Design and implement comprehensive test strategies for AI agents,...