Email: pavlogiannis@cs.au.dk
Webpage: https://cs.au.dk/~pavlogiannis/
Position description: The Department of Computer Science at Aarhus University, Denmark, offers two PhD positions in the area of Algorithmic Verification. The research topics are focused on the automated analysis of concurrent systems, as well as algorithmic aspects of static analyses of sequential/concurrent programs. Applicants are expected to have strong analytical skills in Computer Science and a personal drive for research.
Admission can be on the basis of either a BSc or an MSc degree. Tuition is fully covered, and a generous stipend is provided for the full duration of the PhD.
Interested applicants at all levels are encouraged to contact pavlogiannis@cs.au.dk, enclosing a CV.
Next deadline: May 1, 2022
Application website: https://phd.nat.au.dk/for-applicants/open-calls/february-2022-1/re-advertisement-programming-language-design-analysis-and-verification-1
Information about our PhD program: http://phd.scitech.au.dk/for-applicants/application-guide/