Job opportunities Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Mathematical models for retinal physiology and pathology [welcome package] Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Neural Linear Solvers and Preconditioners for General Sparse Matrices Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Improving Argument Mining by Synthesizing Contextual Information Deadline to apply 24/06/2024
Job opportunities PhD Position F/M Formal Modelling and Automated Analysis of Resource Provisioning Languages Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doctoral position in mathematical and/or computational biology: Multiscale modeling of single cell-based dynamics of ovarian development Deadline to apply 31/08/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc in formal verification Deadline to apply 26/07/2024
Job opportunities PhD Position F/M Learning to Translate Freehand Design Drawings into Parametric CAD Programs Deadline to apply 05/07/2024
Job opportunities Post-Doctoral Research Visit F/M Strategies for Optimal EV Charging Infrastructure and Power Allocation in EV Electromobility Networks Deadline to apply 31/07/2024
Job opportunities PhD Position F/M Framework for the Efficient Coupling Parallel Numerical Solvers and Deep Neural Networks on Supercomputers Deadline to apply 10/07/2024
Exploratory action AlaMVic Distilling VMs – A Generative Approach to Virtual Machine Construction Language Virtual Machines (VMs) are pervasive in every laptop, server and smart-phone. Industry...
Exploratory action BARD(E) Bacterial Antibiotic Resistance Diagnostics (Enhanced) Antibiotic resistance is a major public health threat, and clinicians are increasingly confronted...
Exploratory action CACHAÇA Compact Asymmetric Cryptography with High Assurance for Constrained Applications Fast, safe, and strong cryptography is essential for secure networked communications. Currently...
Exploratory action COSMOGRAM New geometric foundations for exploring the shape of the Universe - warming up The Cosmogram project aims at developing new algorithmic tools to explore the shape of the Universe...
Exploratory action Discotik Discrete geometry applied to morphomechanics of plant tissues Computational morphomechanics is the study of living tissue morphogenesis through the scope of...