[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Department of Computer Science at Aarhus University, Denmark, offers
several fully funded PhD positions in the areas of Algorithmic Verification &
Programming Languages. The department has a strong presence in the areas of
formal methods and programming languages and we are looking for talented
students to work in the area.
Interested applicants are encouraged to contact the respective faculty for
details.
Andreas Pavlogiannis<https://cs.au.dk/~pavlogiannis/> (algorithmic &
computational foundations of model checking, quantitative verification,
concurrency, static & dynamic analysis)
Magnus Madsen<http://cs.au.dk/~magnusm/> (programming language design,
functional and logic programming, type systems)
Anders Møller<https://cs.au.dk/~amoeller/> (static & dynamic program analysis,
program analysis and automated testing for web and <https://casa.au.dk/> mobile
software)
Next deadline: Feb 1st, 2020. Refer
here<https://phd.nat.au.dk/for-applicants/apply-here/februar-2021/programming-language-design-analysis-and-verification/>
for more information.
