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).

• TheCoq, 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
• andmany, 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 thecalendar of competitions and recruitment campaigns as well as the different ways to come and work at Inria.

• Internships
• PhD proposals
• PostDoc proposals

Repositories

Most used topics