Project-team TAU TAckling the Underspecified Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
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 Post-Doctoral Research Visit F/M Postdoctoral researcher in Responsible AI for Journalism Deadline to apply 02/06/2024
Job opportunities PhD Position F/M Vehicle-and-mobile phone computing sharing as part of the edge-to-cloud continuum Deadline to apply 30/06/2024
Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Bridging the gap between combinatorial proof theory and subatomic proof theory Deadline to apply 30/06/2024
Project-team AVIZ Analysis and VIsualiZation Like many other fields, the sciences are being transformed by our rapidly-increasing abilities to...
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 MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
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 QURIOSITY Quantum Information Processing and Communication QURIOSITY’s ambition is to extend the application horizon of quantum information science by...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...