Expert in Formal Methods (relocation support provided)

Position: Expert in Formal Methods Location: Grenoble, France

About Us: We are a leading research team dedicated to advancing formal verification techniques in chip and system-level design. Our Grenoble Research Center focuses on innovative technology solutions across ICT products, including high-speed signal processing and board-level reliability. We’re seeking a highly qualified Expert in Formal Methods to lead groundbreaking work in formal verification, with opportunities to make a tangible impact on future hardware solutions. This role offers a unique opportunity to contribute to advancements in formal verification and help drive innovation within a dynamic, forward-thinking organization.

Mission of the Candidate:

The candidate will lead research and development in formal verification methods, focusing on system design, modeling, and verification for high-performance, high-reliability hardware systems. This role will involve developing cutting-edge solutions in one of two critical areas:

1. High-Speed Direction: Concentrating on 224 Gbit/s high-speed signal modulation, high-bandwidth design, and high-speed link physical layer architecture.

2. Board-Level Process Reliability Direction: Focusing on the reliability and assembly challenges of large-sized chips on PCBs, including warpage, deformation, and micro-assembly technologies.

As a key member of the team, the candidate will also collaborate with interdisciplinary teams to integrate formal methods into design processes, provide technical leadership, and mentor junior engineers.

Key Responsibilities:

• Lead the development and application of formal verification techniques for system design and verification, ensuring accuracy and scalability.

• Research and implement innovative formal verification solutions in one of the two specialization areas (High-Speed or Board-Level Reliability).

• Collaborate with interdisciplinary teams to integrate formal methods into system-level design processes, setting benchmarks for efficiency and robustness.

• Provide technical leadership and mentor junior engineers, guiding the strategic development of formal verification tools and methodologies.

Must-Have Qualifications:

• Educational Background: PhD in Computer Science, Formal Methods, Electrical Engineering, or a related field.

• Specialization in One of the Two Directions:

  • High-Speed Direction: In-depth experience with high-speed signal modulation (224 Gbit/s), bandwidth design, and protocol layer standards (e.g., IEEE 400G, PCI Express Gen 7).

  • Board-Level Reliability Direction: Expertise in PCB assembly and reliability, including knowledge of large chip package warpage, CTE deformation, and micro-assembly technology for packaging/PCB.

• Formal Verification Expertise: Advanced knowledge in formal methods such as model checking, logic synthesis, symbolic execution, and hardware description languages.

• Industry Background: Strong industrial experience, ideally within the telecommunications or infrastructure sector.

• Technical Skills: Proven experience with multi-scale, multi-physical simulation tools (e.g., Comsol, IPS) and advanced hardware design tools (e.g., Verilog-A, Matlab).

Additional Qualifications:

• Strong analytical and problem-solving skills, with the ability to work effectively in interdisciplinary teams.

• Collaborative and adaptable, with excellent communication skills for conveying complex ideas.

• Motivated by innovation, with a commitment to mentoring and knowledge-sharing.

• Fluency in English is required.

Team Environment:

The candidate will join a vibrant, interdisciplinary research team in Grenoble, focused on pioneering formal verification and advancing high-speed and board-level reliability solutions.

Recruitment Process:

The recruitment process consists of three interview rounds.

Career Growth Potential:

As the Grenoble Research Center continues to grow, the candidate may have opportunities for leadership roles.

Benefits:

A competitive salary and comprehensive benefits package.

How to Apply: Please submit your resume and a cover letter detailing your experience and suitability for the role.