---
title: "Research Engineer in Formal… – Boutigny-sur-Essonne, France"
canonical: "https://www.metaintro.com/job/research-engineer-in-formal-methods-for-quantum-computing-fixed-term-09a8f731-70da-5777-91c3-df8cdc4b29ec"
language: "en"
author: "Metaintro"
---

[/company/adsn-career](/company/adsn-career)[ADSN Career](/company/adsn-career)
# Research Engineer in Formal Methods for Quantum Computing – Fixed-Term Contract – Paris-Saclay (M/F) at ADSN Career

LanguageEnglish
Français

**Setup**
: Remote

**Location**
: Boutigny-sur-Essonne, Île-de-France

**Type**
: Contract

**Level**
: senior

**Added to Metaintro**
: Sep 25, 2026

## 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.

## Trending job searches

Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.

- [Find Research Engineer in Formal Methods for Quantum Computing – Fixed-Term Contract – Paris-Saclay jobs in Boutigny-sur-Essonne, Île-de-France, France](/jobs/search?q=Find+Research+Engineer+in+Formal+Methods+for+Quantum+Computing+%E2%80%93+Fixed-Term+Contract+%E2%80%93+Paris-Saclay+jobs+in+Boutigny-sur-Essonne%2C+%C3%8Ele-de-France%2C+France)
- [Find roles similar to Research Engineer in Formal Methods for Quantum Computing – Fixed-Term Contract – Paris-Saclay in Boutigny-sur-Essonne, Île-de-France, France](/jobs/search?q=Find+roles+similar+to+Research+Engineer+in+Formal+Methods+for+Quantum+Computing+%E2%80%93+Fixed-Term+Contract+%E2%80%93+Paris-Saclay+in+Boutigny-sur-Essonne%2C+%C3%8Ele-de-France%2C+France)
- [Find remote Research Engineer in Formal Methods for Quantum Computing – Fixed-Term Contract – Paris-Saclay jobs](/jobs/search?q=Find+remote+Research+Engineer+in+Formal+Methods+for+Quantum+Computing+%E2%80%93+Fixed-Term+Contract+%E2%80%93+Paris-Saclay+jobs)
- [Find Research Engineer in Formal Methods for Quantum Computing – Fixed-Term Contract – Paris-Saclay jobs with Functional programming and Formal methods](/jobs/search?q=Find+Research+Engineer+in+Formal+Methods+for+Quantum+Computing+%E2%80%93+Fixed-Term+Contract+%E2%80%93+Paris-Saclay+jobs+with+Functional+programming+and+Formal+methods)
- [Find jobs similar to Research Engineer in Formal Methods for Quantum Computing – Fixed-Term Contract – Paris-Saclay](/jobs/search?q=Find+jobs+similar+to+Research+Engineer+in+Formal+Methods+for+Quantum+Computing+%E2%80%93+Fixed-Term+Contract+%E2%80%93+Paris-Saclay)
- [Find Research Engineer in Formal Methods for Quantum Computing – Fixed-Term Contract – Paris-Saclay jobs posted this week](/jobs/search?q=Find+Research+Engineer+in+Formal+Methods+for+Quantum+Computing+%E2%80%93+Fixed-Term+Contract+%E2%80%93+Paris-Saclay+jobs+posted+this+week)
- [Find Artificial Intelligence/Machine Learning jobs in Boutigny-sur-Essonne, Île-de-France, France](/jobs/search?q=Find+Artificial+Intelligence%2FMachine+Learning+jobs+in+Boutigny-sur-Essonne%2C+%C3%8Ele-de-France%2C+France)
- [Find Artificial Intelligence/Machine Learning jobs with Functional programming and Formal methods](/jobs/search?q=Find+Artificial+Intelligence%2FMachine+Learning+jobs+with+Functional+programming+and+Formal+methods)

## Get More from Metaintro

Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.

- [Browse all jobs](/jobs/search)
- [Access help center](/help)
- [Explore our content](/blog)

![](https://cdn.metaintro.com/rs:fill:1200:800/q:30/plain/images/bridges/bridge-expand.1df895c6bd76d96f.png)

For job seekers

## Ready to find a role that actually fits?

Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.

[Get Started Free](/signup)[Search matching jobs](/jobs/search)

Match

Compare live roles against your current evidence.

Position

Turn proof projects into role-specific applications.

Improve

Use market feedback to keep the skill plan current.

[Return to navigation](#main-navigation)