2 proof-checking-postdoc-computerscience PhD positions at Aalborg University in Denmark
-
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 this position, please make sure you clearly motivate why apply, and how your skills match to the outlined research and the listed requirements. Qualification requirements PhD stipends are allocated to individuals
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions