1 Postdoc + 1 PhD position in Aarhus University, Denmark

I am looking for 1 postdoc (2 years) and 1 PhD student (fully paid, 3 years) at the Computer Science department 
of Aarhus University, a top 100 university with an excellent reputation.
The positions are available from the Fall 2019. Applications are to be submitted online:
- PhD: application deadline August 1, see https://tinyurl.com/y4vz969c
- Postdoc: application deadline August 15, see https://tinyurl.com/y6xpwg37

Project description:
====================
Concurrent software systems govern large parts of our critical infrastructure, so their correct design is of 
utmost importance. Despite tremendous progress in automated verification, many challenges remain. Besides the 
inherent complexity and scale of software systems, we must handle the uncertainty on the environment in which 
they operate, like timing parameters, failure probabilities, and the (possibly malicious) behaviour of external 
agents.
In this project, we want to address these challenges by advancing and developing efficient parallel algorithms 
for software verification and synthesis of control strategies. In particular, we want to address:
- Strategy Synthesis for Solving Games
- Symbolic Reasoning for Synthesis
- Parametric Verification and Synthesis

Qualifications and specific competences:
========================================
Applicants to the PhD position must have a relevant Master's degree in Computer Science (or a related area). 
The postdoc should have a PhD degree in a related topic and will be evaluated on her/his publication record 
and specific ideas for this project.
The successful candidate demonstrates a strong theoretical background in formal methods and algorithms, broadly 
conceived. At the same time, s/he should not shy away from programming research prototypes, to conduct 
performance experiments and case studies, for instance in IoT security. Good writing and presentation skills 
(English) are important as well.

Place of Employment and Location:
=================================
The place of employment is the Computer Science department of Aarhus University, a top 100 university. You will 
be located at the vibrant IT campus Katrinebjerg in Aarhus, the second largest city of Denmark. See for an 
impression: http://talent.au.dk/phd/aboutthephdatau/living-in-denmark-and-aarhus/
Aarhus University provides a safe and stable working environment, with excellent working conditions: 
https://international.au.dk/research/researcher-positions/workingconditions/.

Contact:
========
Applicants seeking further information are invited to contact:
Prof. Jaco van de Pol, jaco@cs.au.dk, https://cs.au.dk/~jaco/