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

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

Phd position in verification of neural networks for control

Aalborg University | Denmark | about 3 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 23 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 PhD scholarship in Programming Languages, Software Engineering, and GenAI - DTU Compute
- About
- Contact
- Privacy Statement
- Universities
- Blogs
- Browse
- Post an Ads
Copyright © 2025 scholarshipdb.net. All rights reserved.