Job opportunities Post-Doctoral Research Visit F/M Source-to-Source Optimization of OCaml Programs Deadline to apply 10/08/2024
Job opportunities Engineer - Additive manufacturing, 3D modeling and printing Deadline to apply 15/08/2024
Job opportunities Post-Doctoral Research Visit F/M Deep generative models for robust and generalizable audio-visual speech enhancement Deadline to apply 18/08/2024
Job opportunities PhD Position F/M Data placement in heterogeneous memory levels Deadline to apply 10/08/2024
Job opportunities PhD Position F/M Reasoning with and optimising Quantum Circuits. Deadline to apply 24/07/2024
Job opportunities PhD Position F/M Improving security and performance of IPFS’s DHT Deadline to apply 08/08/2024
Project-team CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Our research addresses the broad application domain of cryptography and cryptanalysis from the...
Project-team COAST Web Scale Trustworthy Collaborative Service Systems The advent of the Cloud, of smart mobile devices and of service-based architecture has opened a...
Project-team MIMESIS Computational Anatomy and Simulation for Medicine The main focus of the MIMESIS team is to develop new solutions at the crossroad between imaging...
Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
Project-team PIXEL Structure geometrical shapes PIXEL is a research team in digital geometry processing. More specifically, we are interested in...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
Project-team SEMAGRAMME Semantic Analysis of Natural Language The overall objective of the Sémagramme project is to design and develop new unifying logic-based...
Project-team GAMBLE Geometric Algorithms & Models Beyond the Linear & Euclidean realm Classical computational geometry usually deals with linear objects in a Euclidean setting and when...