1 proof-checking-postdoc-computerscience PhD positions at Aalborg University in Denmark

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

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