5 verification PhD positions in Denmark

Phd position in verification of neural networks for control

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

. Responsibilities: Conduct research in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function

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

PhD stipend in Deconstructing textiles with de novo designed enzymes

Aalborg University | Denmark | about 2 months ago

verification of their activity and benchmarked against known enzymes. Electrospinning will be used to recycle textile fibers as well as to generate substrates with different material composition and