Formal Methods Research Expert

Formal Methods Research Expert

European Recruitment are working closely with a multinational telecommunications company, based in Paris, who are looking for a Formal Methods Research Expert to join their team.

This role will require you to work onsite at either their Paris or Grenoble site.

As a Formal Methods Research Expert, you will play a key role in research and development initiatives. You will contribute to cutting-edge projects, collaborate with cross-functional teams, and help shape the direction research efforts.

Responsibilities as Formal Methods Research Expert:

• Conduct research in the field of formal modelling and model verification, focusing on developing innovative methodologies and techniques.
• Collaborate with cross-functional teams to integrate formal methods into the development process and ensure the reliability and correctness of products.
• Stay up-to-date with the latest advancements in formal methods and model verification, and apply relevant techniques to solve complex problems.
• Publish research findings in reputable conferences and journals to enhance our team’s academic influence.
• Mentor and guide junior team members, sharing your expertise and helping them grow their skills in formal modelling and model verification.
• Apply formal verification techniques in automotive, EDA, and industrial software domains, leveraging your expertise and experience in these areas.

Requirements:

• Ph.D. degree in Computer Science, Electrical Engineering, or a related field, with a focus on formal methods, model checking, or verification.
• 8 years of relevant work experience in formal modelling and model verification.
• Strong academic background with publications in reputable conferences and journals.
• Solid understanding of formal modelling languages, tools, and verification techniques.
• Proficiency in programming languages such as C, C++, or Python.
• Expertise in formal modeling and model verification techniques such as model checking, theorem proving, and SAT/SMT solvers.
• Proficient in formal modeling tools and languages, such as TLA+, Alloy, or Event-B.
• Strong understanding of mathematical logic, automata theory, and formal reasoning techniques.

If this role is of any interest please apply directly on LinkedIn or send a copy of your CV to nh@eu-recruit.com.

By applying to this role you understand that we may collect your personal data and store and process it on our systems. For more information please see our Privacy Notice (https://eu-recruit.com/about-us/privacy-notice/).