Description
CEA LIST is hiring a Research Engineer in Formal Methods for Quantum Computing for a fixed-term contract at the Nano-Innov site in Saclay, France. The role focuses on formal verification of hybrid quantum-classical programs, including automated verification of high-level properties, functional verification, equivalence checking, theoretical research, prototype development, and experimental analysis for the Qbricks environment. Candidates need a PhD or more than three years of research or development experience, functional programming skills, formal methods knowledge, quantum computing knowledge, and project-management ability. The contract is 18 months renewable once for a maximum of 36 months, with remote work possible.
