[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 are encouraged to contact
pavlogian...@cs.au.dk<mailto:pavlogian...@cs.au.dk>, enclosing a CV.
Next deadline: May 1, 2022
Application website:
https://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants/open-calls/february-2022-1/re-advertisement-programming-language-design-analysis-and-verification-1__;!!IBzWLUs!Dq3Uec0Q_haJTyMJrB7LzHBToxXzm15seZ1SV8O7CXSdRdS_zIDyM4qBvG-4SBhJ78vy2L72ZVpj1g$
Information about our PhD program:
https://urldefense.com/v3/__http://phd.scitech.au.dk/for-applicants/application-guide/__;!!IBzWLUs!Dq3Uec0Q_haJTyMJrB7LzHBToxXzm15seZ1SV8O7CXSdRdS_zIDyM4qBvG-4SBhJ78vy2L4SOp-xUQ$
