OUR SECTORS

At European Tech Recruit, our sectors cover a wide range of industries within the field of technology.

Submit vacancy
Looking for
tech jobs in the US?
Visit USA Tech Recruit

Job search

Our sectors

Client services

About us

Looking for
tech jobs in the US?

Visit US Tech Recruitment

Client services

At European Recruitment, our sectors cover a wide
range of industries within the field of technology

Submit Vacancy

About us

At European Recruitment, our sectors cover a wide
range of industries within the field of technology

Submit Vacancy

Client services

Learn about the range of client services we offer at European Tech Recruit, and browse through our case sudies.

Submit vacancy
Looking for
tech jobs in the US?
Visit USA Tech Recruit

Looking for
tech jobs in the US?

Visit US Tech Recruitment

Our Sectors

At European Recruitment, our sectors cover a wide range of industries within the field of technology

Submit Vacancy

About us

Learn about European Tech Recruit's mission, values, our team, and our commitment to DE&I.

Submit vacancy
Looking for
tech jobs in the US?
Visit USA Tech Recruit

Looking for
tech jobs in the US?

Visit US Tech Recruitment

Our Sectors

At European Recruitment, our sectors cover a wide range of industries within the field of technology

Submit Vacancy

Expert in Formal Methods

Recruitment Consultant
Simon Troupe
Posted
19 days ago

Location: Paris or Grenoble, France

This is a unique opportunity to be at the forefront of groundbreaking work in formal verification.

We are looking for two experienced engineers to fill the roles of Principal Engineer and Expert in Formal Verification. The ideal candidates will have deep expertise in formal methods and their application in two key areas:

  • Chip design and verification, including the development of EDA tools, and
  • System design, modeling, and verification.
 

Key Responsibilities

  • Lead the development and application of formal verification techniques for chip design and EDA tools, as well as system design and verification.
  • Collaborate with interdisciplinary teams to integrate formal methods into both chip-level and system-level design processes.
  • Research and implement innovative formal verification solutions to enhance efficiency, accuracy, and scalability.
  • Provide technical leadership, mentoring junior engineers and driving the strategic development of formal verification tools and methods.
  • For Paris-based roles, take on a leadership role in establishing and growing the local team.

Qualifications

  • Extensive experience in formal verification, with practical expertise in chip design and verification (including EDA tools) and system design, modeling, and verification.
  • Strong industrial background.
  • Proficiency in hardware description languages (HDLs), system modeling and verification.
  • Advanced knowledge of formal methods, such as model checking, logic synthesis, and symbolic execution.
  • A PhD in computer science, formal methods, or a related field.
  • Excellent leadership and problem-solving skills, with a collaborative mindset.
Industry
Contract Type
Permanent
Location
France
Work Model
On-Site

Apply Now

By applying to this role, you acknowledge that we may collect, store, and process your personal data on our systems.

For more information, please refer to our
Privacy Notice

    Name
    Email
    Phone
    Location
    Message

    Upload CV:

    Choose file

    Formats: Word, PDF (max. size: 20MB)

    Subscribe for industry highlights.

    Send Application

     

    Other relevant jobs

    Submit CV
    Submit Vacancy