beyond-tabs logo

Institut national de recherche en sciences et technologies du numérique (Inria)

Research Institute

Overview

The National Institute for Research in Digital Science and Technology (Inria) is a leading technology institute with 3,500 researchers and engineers across nearly 200 project teams. Its work focuses on digital technology, collaborating with academic partners like major research universities and the CNRS. Inria supports the development of software products with global impact, particularly through open-source, and fosters start-up creation in the Deeptech space.

Key Information

Central Office
Le Chesnay, France
Founded
1967

Links

Website Careers portal

Latest Jobs

Research Engineer

🇫🇷

Rennes, France

Research engineer developing Salto, a static analyzer for OCaml programs using abstract interpretation. Detects uncaught exceptions, assertion failures, integer overflows, and undefined behaviors.

OCaml
Verified Aug 17, 2026 View listing

Post-Doctoral Researcher

🇫🇷

Palaiseau, France

Post-Doctoral Researcher developing privacy-preserving embedded AI techniques and TinyML systems. Embedded Rust, C, Python with machine learning, split computing, and secure MLOps on microcontrollers (ARM Cortex-M, RISC-V, ESP32).

CRust
Verified Aug 17, 2026 View listing

Research engineer

🇫🇷

Rennes, France

Research Engineer developing stochastic modelling and numerical simulation of ocean dynamics. Fortran, Python, PyTorch with mathematical analysis, stochastic transport, and wave-current interaction modeling.

FortranPython
Verified Aug 17, 2026 View listing

Research engineer

Mid-level+
🇫🇷

Rennes, France

Research Engineer developing the Salto static analyzer for OCaml programs. OCaml with abstract interpretation, focusing on exception detection, integer overflow, and undefined behavior analysis.

OCaml
Verified Aug 17, 2026 View listing

Post-Doctoral Researcher

🇫🇷

Rennes, France

Post-Doctoral Researcher advancing theoretical foundations of stochastic ocean dynamics. Fortran, Python, PyTorch with variational formalisms, stochastic parameterization, and wave-current interaction, focusing on mathematical analysis of noise-driven flow models.

FortranPython
Verified Aug 17, 2026 View listing

Past Jobs

EXPIRED

Research Engineer in Biostatistics

Mid-level+
🇫🇷

Montpellier, France

Research engineer developing and evaluating novel causal meta-analysis methods for clinical research. Using R to implement statistical methods, process clinical datasets, and maintain reproducible workflows in immunology and allergology.

R
First seen Jul 30, 2026 Last seen Jul 30, 2026
EXPIRED

Research and Development Engineer (Rust/OCaml)

🇫🇷

Gif-sur-Yvette, France

OCamlRust
First seen Feb 27, 2025 Last seen Apr 22, 2025
EXPIRED

Research and Development Engineer in Formal Verification

🇫🇷

Gif-sur-Yvette, France

CC++OCaml
First seen Feb 27, 2025 Last seen Apr 22, 2025
EXPIRED

Research Engineer - Macro System for Rocq

Mid-level+
🇫🇷

Nantes, France

Research engineer designing and implementing an expressive macro system for the Rocq proof assistant. Using OCaml, Racket, Scheme, functional programming, and language design to extend Rocq's syntactic extensibility with shrubbery notation.

OCamlRacketScheme
First seen Jul 30, 2026 Last seen Jul 30, 2026