News and Events: Open Positions

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.