-
insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties
-
, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions
-
on different aspects of programming language design, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment
Enter an email to receive alerts for software-verification "https:" positions