Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team MUSCA MUltiSCAle population dynamics for physiological systems MUSCA (MUltiSCAle populations dynamics for physiological systems) is a joint project-team between...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
Job opportunities PhD Position F/M Interoperability of proof systems based on higher-order logic (F/M) Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Signal processing-based on the squared eigenfunctions of the Schrodinger operator. Application to EEG signals Deadline to apply 30/09/2026
Job opportunities Grid Coloring for Object Sensing and Localization (Master's Internship) Deadline to apply 30/09/2024
Job opportunities Embedded Systems Engineer for Next-Generation IoT Systems Deadline to apply 01/07/2024
Job opportunities Post-Doctoral Research Visit F/M Distributed Voronoi diagrams for large-scale optimal transport Deadline to apply 30/09/2024
Project-team DISCO Dynamical Interconnected Systems: Control and Optimization The goal of the project is to better understand and well formalize the effects of complex...
Project-team SIMBIOTX SImulations in Medicine, BIOtechnology and ToXicology of multicellular systems The overall objective of SIMBIOTX is the implementation of computational models and tools with...