PhD Stipends in Static Analyis and Model Checking

We are happy to announce several PhD Stipends on Models and Logics for
Verification and Analysis incorporating Static Analysis and Model
Checking to the held at The Technical University of Denmark.

Full details are available at http://www.mt-lab.dk/stipends.html

Sincerely,

Flemming Nielson