Postdoctoral Researcher - Algorithmic Verification of Concurrent Systems, Computer Science Department, Aarhus University

# Postdoctoral Fellow - Algorithmic Verification of Concurrent Systems **Department of Computer Science, Aarhus University** **Location:** Åbogade 34, 8200 Aarhus N, Denmark **Position Type:** Full-time (37 hours/week), On-site ## About the Role Join the Programming Languages, Logic, and Software Security Research Group at Aarhus University to conduct cutting-edge research on Algorithmic Verification of Concurrent Systems. This position focuses on developing innovative techniques for testing and verifying modern highly concurrent systems, including weak-memory architectures and highly-distributed databases. The role offers flexibility to align with the successful candidate's research interests and career goals. ## Key Responsibilities - Collaborate with faculty members and fellow researchers to produce high-impact research results - Provide guidance and mentorship to graduate and undergraduate students on related research projects - Publish research findings in top-tier computer science conferences and journals - Participate actively in academic activities including seminars, workshops, and conferences to stay current with field developments ## Required Qualifications - Ph.D. in Computer Science - Strong publication record in programming languages, logic and verification, and algorithms - Excellent communication and interpersonal skills with proven ability to work effectively in collaborative research environments - Strong organizational and time-management skills with demonstrated ability to prioritize tasks and meet project deadlines - Ability to work independently and show initiative in formulating and executing research projects ## Application Requirements Please submit the following documents: - Letter of interest - Ph.D. diploma - Curriculum vitae - Complete list of publications - Statement of future research plans and information about research activities - Teaching portfolio and verified information on previous teaching experience (if applicable) - Recommendation letters ## Application Process The selection process uses shortlisting. After the application deadline, the head of department, with assistance from the assessment committee chairman, selects candidates for evaluation. All applicants will be notified whether their applications proceed to expert assessment. Selected candidates will be informed of the assessment committee composition and may comment on relevant portions of their evaluation. ## What We Offer - Competitive salary based on seniority according to collective labour agreements - Comprehensive relocation services for international researchers and families - Career counselling for expat partners - Junior Researcher Development Programme for career advancement - Focus on competency development and transparent career progression opportunities - Supportive and inclusive workplace culture that values equality and diversity ## About Aarhus University Aarhus University is committed to being an attractive and inspiring workplace for all, fostering a culture where individuals can thrive, achieve, and develop. We welcome applications from all qualified candidates and view equality and diversity as valuable assets. The Faculty of Natural Sciences provides extensive support for scientific staff career development with clear entry criteria and transparent advancement opportunities. **Note:** Research activities will be evaluated relative to actual research time. Applicants are encouraged to specify periods of leave without research activities for accurate assessment of scientific productivity. Applications must be submitted through Aarhus University's recruitment system, accessible through the job advertisement on the university website.