Project-team TAU TAckling the Underspecified Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
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...
Job opportunities Research and Development Engineer (M/F), Formal Verification of Rust Programs Deadline to apply 31/05/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...
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 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 Bridging the gap between combinatorial proof theory and subatomic proof theory Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Misinformation trajectories: detecting and tracing disinformation across heterogeneous data sources Deadline to apply 31/08/2024
© Paris-Saclay SPRING 16–17 May 2024 Startup Studio Meet Inria at the 7th Paris-Saclay SPRING on May 16 and 17, 2024
© Peterschreiber.media sur Stock Adobe Life sciences Using mathematics to understand biological ageing 02/04/2024
© RandOpt - CMA-ES Optimization CMA-ES: optimization software for biology, medicine and engineering 18/03/2024
© Inria / Photo C. Morel Jobs Marie Skłodowska-Curie Actions Postdoctoral Fellowships: 2024 Inria Hosting Offers 06/02/2024
Portrait Estelle Cognacq à gauche - © Christophe Abramowitz - Radio France / Portrait Ioana Manolescu à droite - ©Ioana Manolescu Culture and society Fact checking: using artificial intelligence to help journalists 06/02/2024