Job opportunities PhD Position F/M Signal processing based on the squared eigenfunctions of the Schrodinger operator: Mathematical analysis and application to the identification of Vulnerable Carotid Plaques using CT Scans Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Wave propagation in unbounded hyperbolic media Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Construction de préconditionneurs efficaces pour des problèmes d'imagerie ultrasonore Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Distributed Voronoi diagrams for large-scale optimal transport Deadline to apply 30/09/2024
Job opportunities PhD Position F/M Certification of automated theorem provers for higher-order logic (F/M) 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 MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Project-team PLATON Uncertainty Quantification in Scientific Computing and Engineering PLATON is an Inria project-team joint with École Polytechnique, within CMAP (Centre de Mathématiques...
Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
Project-team TAU TAckling the Underspecified Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
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...
Project-team CELESTE mathematical statistics and learning Data science—a vast field that includes statistics, machine learning, signal processing, data...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...