[TYPES/announce] PhD Scholarships in Semantics, Analysis, Verification

[Flemming Nielson]

PhD Scholarships in Semantics, Analysis, Verification

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 www.MT-LAB.dk<http://www.MT-LAB.dk> and our Danish-Chinese Research Center www.idea4.dk<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
- algorithms and datastructures.

A PhD Scholarship is for three years; you will be part of an international research group lbt.imm.dtu.dk<http://lbt.imm.dtu.dk> whose dainly 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

We look forward to your enquiries.

Flemming Nielson

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110607/c17d9df5/attachment-0001.html>