Project-team M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...
Project-team MIND Models and Inference for Neuroimaging Data MIND is a joint Inria and CEA (NeuroSpin center) project-team whose overall scientific objective is...
Project-team MUSCA MUltiSCAle population dynamics for physiological systems MUSCA (MUltiSCAle populations dynamics for physiological systems) is a joint project-team between...
Job opportunities Embedded Rust & Secure Software Updates for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities Research and Development Engineer (M/F), Formal Verification of Rust Programs Deadline to apply 31/05/2024
Job opportunities Internship Research / Software engineering / Proofs and Verification / Bachelor's degree or equivalent Deadline to apply 31/05/2024
Job opportunities PhD Position F/M Computer-Assisted Collaborative Design of Transit Maps Deadline to apply 31/08/2024
Job opportunities PhD Position F/M Certification of automated theorem provers for higher-order logic (F/M) Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Model placement in inference delivery networks Deadline to apply 31/05/2024
Job opportunities PhD Position F/M Decentralized semantic data sharing with access control Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doctoral in the semantics of quantum computation and graphical languages Deadline to apply 30/11/2024
Job opportunities Post-Doctoral Research Visit F/M Adapting Deep Inference for Induction and Co-Induction Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Robust control of several classes of delay systems Deadline to apply 01/06/2024
Project-team BENAGIL Efficient and safe distributed systems The Benagil team studies how to design more efficient and safer distributed systems with a focus on...