7 formal-method-phd PhD scholarships in Denmark

PhD scholarship in Machine Learning for Molecules - DTU Chemistry

Technical University of Denmark | Denmark | about 7 hours ago

limited. We are offering a PhD scholarship for a student to develop ambitious new machine learning strategies for generating AI-ready data. You will work at the frontier of active learning and ML-guided

PhD Stipends within Distributed, Embedded and Intelligent Systems (DEIS)

Aalborg University | Denmark | 26 days ago

the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and

PhD Special Call: PhD position in Cyber Security and Hybrid Threats in a Changing World Order

Aarhus University | Denmark | about 1 month ago

, tbrems@ps.au.dk, 40 17 21 90 Place of work Bartholins Allé 7, 8000 Aarhus C Formal requirements You can read more about how to apply in the application guide and find the rules and regulations of the PhD

PhD Scholarship in Optimal Control of Photonic Quantum Information Processors - DTU Electro PhD scholarship in Time-Predictable Computer Architecture - DTU Compute PhD scholarship in Programming Languages, Software Engineering, and GenAI - DTU Compute