PhD scholarships in Semantics, Analysis, Verification, Lyngby (Denmark)

We are looking for enthusiastic students with a strong background in semantics, analysis and verification that would like to become part of our Centre of Excellence (http://www.MT-LAB.dk/) and our Danish-Chinese Research Center (http://www.idea4.dk/).

Candidates are expected to have a background within one or more of process calculi and automata, logical formalisms, static program analysis, model checking, prototype construction, or algorithms and datastructures.

A PhD Scholarship is for three years; you will be part of an international research group (http://lbt.imm.dtu.dk/) whose daily language is English, you will be paid about 3300€ per month, and you would be expected to spend up to half a year in a relevant research group outside of Denmark.

If you are interested - please perform steps 1-7 listed on http://www2.imm.dtu.dk/~nielson/Scholarship-2011-Announcement.pdf