4 formal-verification-computer-science PhD positions in Denmark

Phd - Quantum error correction codes and noise modelling (DEIS)

Aalborg University | Denmark | about 5 hours ago

At the Technical Faculty of IT and Design, Department of Computer Science, one PhD stipend in quantum error correction codes and noise modelling is available within the general study programme

Phd position in verification of neural networks for control

Aalborg University | Denmark | about 5 hours ago

The Department of Computer Science at Aalborg University has a fully-funded PhD position available. The candidate will be working on formal verification of neural-network control policies

PhD scholarship in Time-Predictable Computer Architecture - DTU Compute PhD scholarship in Programming Languages, Software Engineering, and GenAI - DTU Compute