21 proof-checking-postdoc-computer-science-logic PhD positions at Aalborg University in Denmark
Sort by
Refine Your Search
-
Aalborg University’s Department of Computer Science in Copenhagen invites applications for a PhD stipend within the Innovation Fund Denmark Grand Solutions project “AI4SE1DK – Human-Centered
-
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
-
for interoperable messaging that inform future innovations and policy Applicants must have a Master’s degree in computer science, human-computer interaction, or a closely related field. Due to the project's focus
-
be enrolled in Aalborg University Business School’s Economics, Business, and Management PhD program. The position is part of the Carlsberg Foundation-funded Green Transition Policy Centre(GreenTraC
-
At the Faculty of Engineering and Science, AAU Energy, a position as PhD stipend is available within the general study program. The PhD stipend is open for appointment from September 1st. 2025
-
The Department of Electronic Systems at The Technical Faculty of IT and Design invites applications for a PhD stipend in the field of radio communications within the general study program wireless
-
At the Faculty of Engineering and Science, Department of Materials and Production a position as PhD stipend in Muscle Neuromechanics and Ultrasound Imaging, within the doctoral programme Materials
-
At the Faculty of Engineering and Science, Department of Chemistry and Bioscience, a Ph.D. stipend is available within the general study program. The Ph.D. stipend is open for appointment from
-
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
-
. At the Faculty of Engineering and Science, Department of Chemistry and Bioscience, a PhD stipend within the EU HORIZON/Marie Sklodowska-Curie Actions is available within the general study program. The PhD stipend