16 structural-engineering "https:" "https:" "https:" "https:" "https:" "https:" "Dip" Postdoctoral positions at Inria, the French national research institute for the digital sciences

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

. MICROCOSME is an interdisciplinary team that includes applied mathematicians, engineers, computer scientists, biologists as well as experimentalists from the biology/physics team BIOP of the Université

Post-Doctoral Research Visit F/M Detection of spinal cord lesions from combinations of multiple MRI sequences in living patients with MS

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

research lab Empenn in Inria-Irisa, located in Rennes, France. Empenn (https://team.inria.fr/empenn ) is jointly affiliated with Inria, Inserm (National Institute of Health and Scientific Research), CNRS

Post-Doctoral Research Visit F/M Neural Gain & Adaptive Learning (LENGA Project)

Inria, the French national research institute for the digital sciences | Bron, Rhone Alpes | France | about 1 month ago

, Inserm and CRNS, which gathers an international team of researchers, engineers, clinicians and students interested in studying brain networks, to shed light on information processing, its modulation by

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

project and in particular on consolidating the logical foundations of mathematical proof assistants (http://malinca.org ). It will be located at the IRIF lab in Paris. Travel expenses are covered within

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

the tactic language and structure declaration mechanism of Rocq more flexible, easier to explore, but also more stable. The design and implementation of new algorithms in type theory might be required

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

implementation will be performed in the open-source code Hawen (https://ffaucher.gitlab.io/hawen-website/ ) developed in the team Makutu, with help from from the developer's team. Phase 1: modeling The first phase