[TYPES/announce] PhD Positions at Aarhus University on Algorithmic Verification & Programming Languages

[Andreas Pavlogiannis]

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201126/8a8271cd/attachment-0001.htm>