4 formal-verification PhD positions in Denmark

Phd position in verification of neural networks for control

Aalborg University | Denmark | about 22 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

Post Doc position with focus on Algorithmic Verification of Database Systems at Computer Science, Aarhus University

Aarhus University | Denmark | about 19 hours ago

Department of Computer Science at Aarhus University (Denmark) invites applications for a 2-year Postdoctoral Research Fellow position with focus on Algorithmic Verification of Database Systems. Role

PhD scholarship in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | 4 days ago

verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a

PhD scholarship in Programming Languages, Software Engineering, and GenAI - DTU Compute

Technical University of Denmark | Denmark | about 2 months ago

. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or