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 Protection of personal and sensitive data based on trusted computing Deadline to apply 30/08/2024
Job opportunities PhD Position F/M Signal processing-based on the squared eigenfunctions of the Schrodinger operator. Application to EEG signals Deadline to apply 30/09/2026
Job opportunities Post-Doctoral Research Visit F/M Model placement in inference delivery networks Deadline to apply 30/11/2024
Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities Compositional Methods for Utility under Local Privacy Mechanisms Deadline to apply 31/10/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
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 CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...
Project-team COMETE Privacy, Fairness and Robustness in Information Management In COMETE we study emerging concepts of the modern era of computing. Security and privacy are some...
Project-team EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...
Project-team ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
Project-team M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...
Project-team OPIS OPtImization for large Scale biomedical data The objective of the OPIS project is to design advanced optimization methods for the analysis and...