A job vacancy under the title “Formal Methods at the crossroads of Hardware and Software” is open within the ACES (Autonomous, Critical, Embedded Systems) team of Télécom Paris. The position aims at strengthening the team’s expertise in hardware/software systems, where the interplay between hardware elements and software code is essential in order to ensure the correct operation of a larger system. In the past, various team members have actively worked on such hardware/software systems in the context of security, real-time systems, and energy constrained systems and some of them already actively use Rocq (see, e.g., Leveraging Reusable Code and Proofs to Design Complex DRAM Controllers - A Case Study - Télécom Paris).
We are looking for candidates with expertise in applying formal methods to such hardware/software systems that strengthen and complement the team’s expertise. Applications are processed via an online recruiting platform, which provides a more detailed job description and instructions for applicants. A full job description with a detailed list of prerequisites and duties is available at the bottom of the website of the recruiting platform.
Contact Florian Brandner (florian.brandner@telecom-paris.fr) or the dean Laurent Pautet (laurent.pautet@telecom-paris.fr) for any inquiries regarding the position.