Inria is the French national institute for research in digital science and technology, and since January 2024 has been responsible for the Agence de programmes dans le numérique (Digital Programs Agency), designed to strengthen the collective dynamics of higher education and research. Its DNA is based on world-class research, technological innovation and entrepreneurial risk. Within 220 project teams, most of which are shared with major research universities, more than 3,800 scientists are exploring new avenues, often in interdisciplinary collaboration with industrial partners, to meet ambitious challenges. As a technology institute, Inria supports a wide range of innovation paths: from open source software publishing to the creation of technology startups (Deeptech).
- The Coq, proof assistant
- Scikit-learn, a central tool in AI and data-science
- CGAL, a Computational Geometry Algorithms Library
- Software Heritage, the global software archive
- CompCert, a formally verified compiler for the C programming language
- ReservoirPy, simple and flexible code for Reservoir Computing architectures
- and many, many more…
Throughout the year, Inria welcomes new employees to its teams and departments, whether through competitions, mobility within the public service, contractual agreements or internship proposals. Consult the calendar of competitions and recruitment campaigns as well as the different ways to come and work at Inria.
List of the 236 Inria teams (October 14, 2025)
- ABS - Algorithms - Biology - Structure
- ACENTAURI - Artificial intelligence and efficient algorithms for autonomus robotics
- ACUMES - Analysis and Control of Unsteady Models for Engineering Sciences
- AGORA - Wireless Networks for Digital Cities
- AIO - Dependable Networking, Low-Power Wireless and Micro-Robotics
- AIRSEA - Mathematics and computing applied to oceanic and atmospheric flows
- AISTROSIGHT - Viewing neuron-astrocyte pharmacology through digital sciences
- ALMANACH - Automatic Language Modelling and Analysis & Computational Humanities
- ALPINES - Algorithms and parallel tools for integrated numerical simulations
- ANANKE - Analysis And Numerics of physical-Knowledge-based Estimation
- ANGE - Numerical Analysis, Geophysics and Environment
- ANGUS - Adaptive modelling and numerical simulations for governing equations with underlying structures
- ANTIQUE - Static Analysis by Abstract Interpretation
- ARAMIS - Algorithms, models and methods for images and signals of the human brain
- ARCHES - AI Research for Climate Change and Environmental Sustainability
- ARGO - Learning, graphs and distributed optimization
- AROMATH - AlgebRa, geOmetry, Modeling and AlgoriTHms
- ARTISHAU - ARTificial Intelligence: Security, trutHfulness, and AUdit
- ASCII - Analysis of Stochastic Cooperative Intelligent Interactions
- ASTRA - Automated and Safe TRAnsportation systems
- ASTRAL - Advanced StatisTical infeRence And controL
- ATLANTIS - modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale
- AUCTUS - Robots for Humans at work
- AVALON - Algorithms and Software Architectures for Distributed and HPC Platforms
- AVIZ - Analysis and VIsualiZation
- BENAGIL - Efficient and safe distributed systems
- BIOTIC - Computational and Theoretical Biology
- BIOVISION - Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
- BIVWAC - Building Immersive Visualizations for Welfare, Awareness, and Comprehension
- BONUS - Big Optimization aNd Ultra-Scale Computing
- BOOST - Bio-informed mOnitoring & Optimization for enhanced Sport & healTh
- BOREAL - Knowledge Representation and Rule-Based Languages for Reasoning on Data
- CAGE - Control and Geometry
- CAGIRE - Computational AGility for internal flows sImulations and compaRisons with Experiments
- CALISTO - Stochastic Approaches for Complex Flows and Environment
- CAMBIUM - Programming languages: type systems, concurrency, proofs of programs
- CAMIN - Control of Artificial Movement & Intuitive Neuroprosthesis
- CAMUS - Compilation for multi-processor and multi-core architectures
- CANARI - Cryptography ANalysis and ARIthmetic
- CAPSULE - Applied Cryptography and Implementation Security
- CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
- CARDAMOM - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
- CARMEN - Modélisation et calculs pour l'électrophysiologie cardiaque
- CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
- CASH - Compilation and Analyses for Software and Hardware
- CASTING - Cancer dynAmicS, adapTation and modelING
- CASTOR - Control for plAsma inSTability, Optimization and model Reduction
- CEDAR - Rich Data Exploration at Cloud Scale
- CELESTE - mathematical statistics and learning
- CHROMA - Cooperative and Human-aware Robot Navigation in Dynamic Environments
- COMBO - Computer and Biomechanics –> Out-of-the-Lab
- COMETE - Privacy, Fairness and Robustness in Information Management
- COMMEDIA - Computational mathematics for bio-medical applications
- COMPACT - COMPression of mAssively produCed visual daTa
- COMPO - COMPutational pharmacology and clinical Oncology
- CONCACE - Numerical and Parallel Composability for High Performance Computing
- CONVECS - Construction of verified concurrent systems
- COPHY - Computation, Cognition and Neurophysiology
- CORSE - Compiler Optimization and Run-time SystEms
- COSMIQ - Code-based Cryptology, Symmetric Cryptology and Quantum Information
- CRAFT - Computational design and fabRicAtion of FuncTional artefacts
- CRONOS - Computational modelling of brain dynamical networks
- CTRL-A - Control for safe Autonomic computing systems
- D-DAL - Data : Dynamics Algorithmics and Logics
- DANCE - Dynamics and Control of Networks
- DATAMOVE - Data Aware Large Scale Computing
- DATASHAPE - Understanding the shape of data
- DATAVERS - From health Data universe to advances in statistical learning
- DEDUCTEAM - DEDUCTEAM
- DEFROST - DEFormable Robotics SofTware
- DEVINE - DEpendable distributed systems: formal VerificatIoN made Efficient
- DIANA - Design, Implementation and Analysis of Networking Architectures
- DISCO - Dynamical Interconnected Systems: Control and Optimization
- DIVERSE - Diversity-centric Software Engineering
- EDGE - Extended formulations and Decomposition for Generic optimization problems
- ELAN - modELing the Appearance of Nonlinear phenomena
- EMERAUDE - EMbEdded pRogrammable AUDio systEms
- EMPENN - Neuroimaging: methods and applications
- EPICURE - Semantic analysis and compilation for secure execution environments
- EPIMETHEE - Experimental and computational approaches to probe the mind of insects
- EPIONE - E-Patient: Images, Data & MOdels for e-MediciNE
- ERABLE - European Research team in Algorithms and Biology, formaL and Experimental
- ERMINE - Measuring and Managing Network operation and economics
- EVERGREEN - Earth obserVation and machine lEarning foR aGRo-Environmental challENges
- EVREF - Reflective Evolution of Ever-running Software Systems
- EX-SITU - Extreme Situated Interaction
- FACTAS - Functional Analysis for ConcepTion and Assessment of Systems
- FAIRPLAY - Coopetitive AI: Fairness, Privacy, Incentives
- FLOWERS - FLOW in Exploration, leaRning, and diScovery
- GALLINETTE - Gallinette: developing a new generation of proof assistants
- GAMBLE - Geometric Algorithms & Models Beyond the Linear & Euclidean realm
- GAMMAO - Adaptive Mesh Generation and Advanced Numerical Methods
- GENSCALE - Algorithms for Genomic Data: Scalability, Precision and Sustainability
- GEOMERIX - Geometry-driven Numerics
- GHOST - Games, Mathematical Optimization, and Stochastic Systems
- GRAPHDECO - GRAPHics and DEsign with hEterogeneous COntent
- GREENOWL - Generating RENewable resources by Optimisation of Water Living microorganisms
- HEKA - Health data- and model- driven approaches for Knowledge Acquisition
- HEPHAISTOS - HExapode, PHysiology, AssISTance and RobOtics
- HUCEBOT - HUman CEntered roBOTics
- HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
- I4S - Inference for Intelligent Instrumented InfraStructures
- IDEFIX - Inversion of Differential Equations For Imaging and physiX
- ILDA - Interacting with Large Data
- INBIO - Experimental and Computational Methods for Modeling Cellular Processes
- INOCS - INtegrated Optimization with Complex Structure
- IROKO - Data Driven Environmental Sciences
- KAIROS - Multiform Logical Time for Formal Cyber-Physical System Design
- KERDATA - Enabling the Edge-Cloud-HPC Data Continuum
- KOPERNIC - Keeping worst case reasoning for different criticalities
- KRAKOS - Design of performance, robust, secure, flexible, and energy-efficient system software
- LACODAM - Large scale Collaborative Data Mining
- LARSEN - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
- LEMON - Littoral Environment: M0dels and Numerics
- LIFEWARE - Computational systems biology and optimization
- LINKMEDIA - Creating and exploiting explicit links between multimedia fragments
- LINKS - Linking Dynamic Data
- LOKI - Technology & Knowledge for Interaction
- LORELEY - Large Scale Trustworthy Distributed Collaborative Systems
- MAASAI - Models and Algorithms for Artificial Intelligence
- MACARON - MAChine leARning for Optimized Numerical methods
- MACBES - Modelling And Control of Biological and Ecological Systems
- MADMAX - Moore, Amdahl, Dennard to their MAXimum
- MAGELLAN - Reliable and Responsible Decentralized Computing Infrastructures
- MAGNET - Machine Learning in Information Networks
- MAKUTU - Experimental-based modeling and simulation of wave propagation to characterize geophysical and heliophysical media and to design complex objects
- MALICE - MAchine Learning with Integration of surfaCe Engineering knowledge: Theory and Algorithms
- MALT - MAchine Learning with Temporal Constraints
- MANAO - Melting the frontiers between Light, Shape and Matter
- MARACAS - Models and Algorithms for Reliable Communication Systems
- MARIANNE - Models and data for computational argumentatIon in natural language
- MATHERIALS - MATHematics for MatERIALS
- MATHEXP - Computer algebra, experimental mathematics, and interactions
- MATHNET - Probability and Dynamics of Geometric Networks
- MATHNEURO - Mathematics for Neuroscience
- MAVERICK - Models and Algorithms for Visualization and Rendering
- MEGAVOLT - MachinE learninG And eVOLution equaTions
- MEMPHIS - Modeling Enablers for Multi-PHysics and InteractionS
- MERGE - Mathematics for Evolution, Reproduction, Growth and Emergence
- MFX - Matter from Graphics
- MICROCOSME - Analysis, engineering, and control of microorganisms
- MIMESIS - Computational Anatomy and Simulation for Medicine
- MIMOVE - Middleware on the Move
- MIND - Models and Inference for Neuroimaging Data
- MINGUS - MultI-scale Numerical Geometric Schemes
- MNEMOSYNE - Mnemonic Synergy
- MOCQUA - Designing the Future of Computational Models
- MOEX - Evolving Knowledge
- MOKAPLAN - Advances in Numerical Calculus of Variations
- MONC - Mathematical modeling for Oncology
- MORPHEO - Capture and Analysis of Shapes in Motion
- MOSAIC - MOrphogenesis Simulation and Analysis In siliCo
- MULTISPEECH - Multimodal Speech in Interaction
- MUSCA - MUltiSCAle population dynamics for physiological systems
- MUSCLEES - Mathematical Understanding across Scales of Complex Living Ecosystems with Emerging Structures
- MUSICS - MUltiScale Interacting Cell Systems
- NECTARINE - Neurmodulation using pharmacological and digital medicines
- NEO - Network Engineering and Operations
- NERV - Systems neuroengineering to model and interface brain networks
- OCKHAM - Optimization, pHysical Knowledge, Algorithms and Models
- ODYSSEY - Ocean DYnamicS obSErvation analYsis
- OLAS - Operational, Logical, and Algebraic foundations for Software systems
- OPIS - OPtImization for large Scale biomedical data
- OURAGAN - Tools for resolutions in algebra, geometry and their applications
- PACAP - Pushing Architecture and Compilation for Application Performance
- PARADYSE - PARticles And DYnamical SystEms
- PARKAS - Synchronous Kahn parallelism
- PARMA - Particle methods using Monge-Ampère
- PARTOUT - Proof Automation and RepresenTation: a fOundation of compUtation and deducTion
- PASCALINE - Computer Arithmetic, Computer Algebra and Formal Verification
- PASTA - Space-time random processes and applications
- PESTO - Proof techniques for security protocols
- PETRUS - PErsonal & TRUSted cloud
- PETSCRAFT - Crafting Explicable and Efficient Privacy-Enhancing Technologies
- PHIQUS - Computational, Distributed and Simulation problems in Quantum Science
- PICUBE - Proof assistants at the heart of mathematical reasoning
- PIRAT - Protection of Information and Resistance to ATtacks
- PLATON - Uncertainty Quantification in Scientific Computing and Engineering
- PLEIADE - Patterns of diversity and networks of function
- POEMS - Wave propagation: mathematical analysis and simulation
- POLARIS - Performance analysis and Optimization of LARge Infrastructures and Systems
- POTIOC - Novel Multimodal Interactions for a Stimulating User Experience
- PREMEDICAL - Precision Medicine by Data Integration and Causal Learning
- PRIVATICS - Privacy Models, Architectures and Tools for the Information Society
- QINFO - Optimal Information Processing with Quantum Devices
- QUACS - Quantum Computation Structures
- QUANTIC - QUANTum Information Circuits
- QURIOSITY - Quantum Information Processing and Communication
- RAINBOW - Sensor-based Robotics and Human Interaction
- RANDOPT - Randomized Optimization
- RAPSODI - Reliable numerical approximations of dissipative systems
- RESIST - Resilience and elasticity for security and scalability of dynamic networked systems
- ROBOTLEARN - Learning, perception and control for social robots
- ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement
- SAIRPICO - Space-time imaging, artificial intelligence and computing for cellular and chemical biology
- SCOOL - Sequential decision making under uncertainty problem
- SEAMLESS - Seamless interaction and collaboration through the reality-virtuality continuum
- SEMIS - Sciences, Environments, Information, Societies
- SERENA - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
- SIERRA - Machine Learning and Optimisation
- SIMBA - Statistical Inference and Modeling for Biological Applications
- SIMBIOTX - SImulations in Medicine, BIOtechnology and ToXicology of multicellular systems
- SIMSMART - SIMulating Stochastic Models with pARTicles
- SISTM - Statistics In System biology and Translational Medicine
- SODA - Computational and mathematical methods to understand health and society with data
- SPADES - Sound Programming of Adaptive Dependable Embedded Systems
- SPHINX - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
- SPIRALS - Self-adaptation for distributed services and large software systems
- SPLITS - Secure Programming Languages & Tools for Security
- STACK - Software Stack for Massively Geo-Distributed Infrastructures
- STAMP - Safety Techniques based on Formalized Mathematical Proofs
- STARS - Spatio-Temporal Activity Recognition of Social interactions
- STATIFY - Bayesian and extreme value statistical models for structured and high dimensional data
- STEEP - Sustainability transition, environment, economy and local policy
- STORM - STatic Optimizations, Runtime Methods
- SUSHI - SecUrity at the Software-Hardware Interface
- SYCOMORES - Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems
- TADAAM - Topology-aware system-scale data management for high-performance computing
- TANGRAM - Visual Registration with Physically Coherent Models
- TARAN - Domain-Specific Computers in the Post Moore’s Law Era
- TAU - TAckling the Underspecified
- THOTH - Learning visual models from large-scale data
- TITANE - Geometric Modeling of 3D Environments
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TOPAL - Tools and Optimization for high Performance Applications and Learning
- TRIBE - inTeRnet BEyond the usual
- TRIPOP - Modeling, Simulation and Control of Nonsmooth Dynamical Systems
- TROPICAL - Tropical methods: structures, algorithms and interactions
- TYREX - Types and Reasoning for the Web
- VALDA - Value from Data
- VALSE - Finite-time control and estimation for distributed systems
- VIRTUS - The VIrtual Us
- WHISPER - Well Honed Infrastructure Software for Programming Environments and Runtimes
- WIDE - the World Is Distributed Exploring the tension between scale and coordination
- WILLOW - Embodied computer vision
- WIMMICS - Web-Instrumented huMan-Machine Interactions, Communities and Semantics