Researcher in Formal Methods (M / F)

Context and description

As a subsidiary of the Mitsubishi Electric Group, a global leader in electrical and electronic products and systems, MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a division named “Digital Information Systems” (DIS). This division specializes in professional network-based and safety-critical applications. Specifically, the DIS division engages in research activities encompassing multi-approach Formal Methods (such as Deductive Verification, Abstract Interpretation, proof assistants, etc.) across various domains, including aerospace, automotive, factory automation, hardware and software development, nuclear, railway or robotics.

Located in Rennes (Ille-et-Vilaine, Brittany), the DIS division is seeking a researcher with expertise in Formal Methods to undertake the following responsibilities :

• Research on innovative solutions for critical and non-critical systems, with a focus on security, safety, or business activities using Formal Methods;
• Study and develop prototypes of software tools and engineering methodologies to facilitate the application of Formal Methods in an industrial context, spanning from proof of concept to pre-production tools;
• Clearly demonstrate the effectiveness of proposed solutions to both technical and non-technical stakeholders;
• Contribute to open innovation in the field of Formal Methods by collaborating with academic partners through joint research projects, co-supervision of doctoral students, direct contracts, etc.

Required education and experience :

Personal profile

We seek a motivated and talented candidate with the following qualifications :

Duration : permanent contract

Contact :

Magali BRANCHEREAU, Human Resources Manager

Please send your C.V. and cover letter in English as PDF files to jobs@fr.merce.mee.com specifying your name followed by the reference of the job posting INSPE049 in the subject line.