Job opportunities Compositional Methods for Utility under Local Privacy Mechanisms Deadline to apply 31/10/2024
Job opportunities Post-Doctoral Research Visit F/M Adapting Deep Inference for Induction and Co-Induction Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Efficient Space and Garbage Collection for Functional Languages and Lambda Calculi Deadline to apply 30/09/2024
Job opportunities PhD Position F/M PhD position in Quantum Information Theory Deadline to apply 19/07/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 PhD Position F/M Inter-system translation of recursive functions (M/F) Deadline to apply 30/09/2024
Job opportunities Post-Doctoral Research Visit F/M Mobility-aware Edge Computing for 5G Deadline to apply 30/06/2024
Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/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 Embedded Rust & Secure Software Updates for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024