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 Embedded Rust & Secure Software Updates for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Vehicle-and-mobile phone computing sharing as part of the edge-to-cloud continuum Deadline to apply 30/08/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doctoral in the semantics of quantum computation and graphical languages 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 Post-Doctoral Research Visit F/M Interpretable Classifier based on Multi-Modal Embeddings for rare classes: Application to identification of marine ecosystems Deadline to apply 31/08/2024
Job opportunities PhD Position F/M Computer-Assisted Collaborative Design of Transit Maps Deadline to apply 31/08/2024
Job opportunities Post-Doctoral Research Visit F/M Solving Convex Optimization Problems in Nonlinear Predictive Control Based on Fast Quadratic Optimization Deadline to apply 30/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 Postdoctoral position in Quantum Information Theory Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Model placement in inference delivery networks Deadline to apply 30/11/2024