News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Please note that this newsitem has been archived, and may contain outdated information or links.