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

Post-Doctoral Research Visit F/M Post-doc intrusion detection in IEC 61850 process bus

Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | about 2 months ago

security of electrical systems with an emphasis on the cloud/edge continuum. Its structure responds to the PEPR TASE call for "Technological solutions for the digitization of intelligent energy systems," co

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