9 programming-language-"St"-"FEMTO-ST"-"St" Postdoctoral positions at Inria, the French national research institute for the digital sciences in France

Post-Doctoral Research Visit F/M Justifying variants of the axiom of choice in type theory

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 9 days ago

in type theory, programming languages, machine-checked proofs, and, in particular, in the proof-theoretical properties of various formulations of the axiom of choice. Fluency in French or English

Post-Doctoral Research Visit F/M Senior postdoctoral researcher in bosonic quantum error correction

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 2 months ago

Framework Programme? Not funded by a EU programme Reference Number 2025-09249 Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is hosted by the QAT team

Post-Doc in "Scientific Machine Learning and Mechanics for scale-bridging in granular materials"

Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 28 days ago

Research Framework Programme? Not funded by a EU programme Reference Number 2025-09334 Is the Job related to staff position within a Research Infrastructure? No Offer Description The appointment is part of

Post-Doctoral Research Visit F/M Postdoctoral position Reinforcement Learning for Collaborative Annotation

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 16 days ago

Research Framework Programme? Not funded by a EU programme Reference Number 2025-09335 Is the Job related to staff position within a Research Infrastructure? No Offer Description This postdoctoral position

Post-Doctoral Research Visit F/M [Two-year post-doc offer] Taming flaws in the polyhedral simulation of eddy current testing

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 1 month ago

of PDEs and/or scientific computing, with strong programming skills in C++. The knowledge of the French language is welcome but not compulsory. Specific Requirements The applications shall contain: (i

Post-Doctoral Research Visit F/M Inverse problem in elasticity with wave separation

Inria, the French national research institute for the digital sciences | Pau, Aquitaine | France | 12 days ago

Research Framework Programme? Horizon Europe - ERC Reference Number 2025-09382 Is the Job related to staff position within a Research Infrastructure? No Offer Description We propose a two-years postdoc

Post-Doctoral Research Visit F/M Stochastic modelling of dynamical resource allocation, analysis and inference for single-cell data

Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 8 days ago

Framework Programme? Not funded by a EU programme Reference Number 2025-09403 Is the Job related to staff position within a Research Infrastructure? No Offer Description The postdoctoral project will be

Post-Doctoral Research Visit F/M Brain-heart modeling and analysis for Athletes' stress assessment

Inria, the French national research institute for the digital sciences | Bures sur Yvette, le de France | France | about 1 month ago

Research Framework Programme? Not funded by a EU programme Reference Number 2025-09303 Is the Job related to staff position within a Research Infrastructure? No Offer Description Athletes face significant

Post-Doctoral Research Visit F/M ML for system: Improving memory management using AI

Inria, the French national research institute for the digital sciences | France | about 2 months ago

Framework Programme? Other EU programme Reference Number 2025-09272 Is the Job related to staff position within a Research Infrastructure? No Offer Description As part of the Inria OS Challenge, we have