14 computer-programmer-"https:"-"Inserm" "https:" "https:" "https:" "https:" Postdoctoral positions at Inria, the French national research institute for the digital sciences

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 | 3 months ago

Framework Programme? Horizon Europe - ERC Reference Number 2025-09342 Is the Job related to staff position within a Research Infrastructure? No Offer Description The job is within the framework of the Malinca

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 | 3 months 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 User Experience for formal proofs in practice

Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 2 months ago

Framework Programme? Not funded by a EU programme Reference Number 2025-09408 Is the Job related to staff position within a Research Infrastructure? No Offer Description Project The postdoc will take place

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 | 3 months 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