PhD Stipends Models and Logics for Verification and Analysis
Technical University of Denmark
We are happy to announce a number of PhD stipends on Models and Logics for Verification and Analysis as part of MT-LAB – a VKR Centre of Excellence (www.MT-LAB.dk) lead by Flemming Nielson and Kim
Guldstrand Larsen and involving researchers at the Technical University of [...]