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