Please note that this newsitem has been archived, and may contain outdated information or links.
PhD student stipends on models and logics for verification
Location: Kongens Lyngby, Denmark
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.
Deadline for applicatios: March 1st, 2010. Full details are available at http://www.mt-lab.dk/stipends.html
Please note that this newsitem has been archived, and may contain outdated information or links.