Position Overview:

We are seeking a seasoned Expert in Formal Methods to join our team in Grenoble. The ideal candidate will possess extensive knowledge of formal methods and their applications in system design, modeling, and verification. This is a fantastic opportunity to collaborate with a skilled team and drive innovative solutions in formal verification.

Key Responsibilities

• Lead the development and implementation of formal verification techniques for system design and verification.
• Work alongside interdisciplinary teams to incorporate formal methods into system-level design practices.
• Research and create cutting-edge formal verification solutions aimed at improving efficiency, accuracy, and scalability.
• Provide technical guidance, mentor junior engineers, and lead the strategic advancement of formal verification tools and methodologies.

Essential Skills and Experience

• Significant experience in formal verification, with hands-on expertise in system design, modeling, and verification.
• Proficiency in English.
• Strong background in industry settings.
• Skilled in hardware description languages, system modeling, and verification techniques.
• In-depth understanding of formal methods, including model checking, logic synthesis, and symbolic execution.
• A PhD in computer science, formal methods, or a related discipline.
• Excellent leadership abilities, strong problem-solving skills, and a collaborative approach.

Benefits

• A dynamic work environment where innovation and collaboration are encouraged.
• Opportunities to work on advanced projects in formal verification.
• Support for professional development and growth within the organization.
• Competitive compensation and benefits package.

If you are passionate about formal methods and software verification, we encourage you to apply for this exciting role. Please click 'Apply Now' to submit your CV and cover letter, highlighting your expertise and motivations in the field of formal methods.

Commitment to Diversity and Inclusion

Our company is committed to fostering a diverse and inclusive environment. We welcome applications from individuals of all backgrounds, experiences, and perspectives. We believe that diversity drives innovation and strengthens our teams.