PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University
Aarhus UniversityJob Description
Role Description
This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position will be in developing new techniques for testing and verifying modern highly concurrent systems, such as weak-memory architectures and highly-distributed databases. The position is also open, to some extent, to be shaped around the interests of the applicant.
Responsibilities
Collaborate with faculty members and fellow researchers to produce research results on the research topic.
Provide guidance and mentorship to graduate and undergraduate students working on related research proj...
Apply for this Job
Submit your application for the PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University position at Aarhus University.
Apply Now Save for Later