PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University

This PostDoc position at Aarhus University's Computer Science department focuses on algorithmic verification of concurrent systems. The role requires advanced expertise in formal methods, algorithm design, and verification techniques specifically applied to concurrent and distributed systems. Candidates should have a strong background in theoretical computer science, including knowledge of concurrency models, temporal logics, model checking, and automated reasoning. Experience with designing and implementing verification algorithms and tools for concurrent system correctness is essential. Familiarity with programming languages commonly used in verification research, such as OCaml, Haskell, or Python, and proficiency in using verification frameworks or theorem provers (e.g., Coq, Isabelle, SPIN) is advantageous. The position demands rigorous analytical skills to develop and evaluate novel algorithms that ensure correctness, safety, and liveness properties in complex concurrent environments. Candidates are expected to have a doctoral degree in computer science or a closely related field with a research focus on concurrency theory, formal verification, or algorithmic methods. Strong publication record in relevant academic venues and the ability to work independently and collaboratively in a research setting are important. The role involves contributing to advancing the state-of-the-art in algorithmic verification, potentially including the development of prototypes and experimental evaluation. Excellent communication skills for disseminating research findings and collaborating within multidisciplinary teams are also required.