Postdoc on “Algorithmic Verification and Synthesis for Concurrency” at Department of Computer Science, Aarhus University

The Department of Computer Science, Aarhus University invites applicants for a postdoc position on algorithms for verification and synthesis of concurrent systems. The position has a duration of 2 years, and opens from 1 August 2019. The deadline for application is 1 May 2019.

You will be part of my new team, including 2 PhD students as well. Itis important for me to build a truly diverse team, so all interested candidates are encouraged to apply, regardless of their personal background.

Project description: 
Concurrent and distributed software systems govern large parts of our critical personal and social infrastructure, so their correct design is of utmost importance. Despite tremendous progress in automated verification, many challenges remain, due to the inherent complexity and scale of distributed data-intensive systems. A particular challenge is to handle the uncertainty on the environment in which these systems operate, like timing parameters, failure probabilities, and the (possibly malicious) behaviour of external agents.

In this project, these challenges are addressed by advancing and developing efficient parallel algorithms for symbolic reasoning and graph analysis. Moreover, we seek to study algorithms to synthesise correct solutions automatically, rather than verifying given solutions. In particular, I envision three subprojects:

  • Parametric Verification and Parameter Synthesis. We will develop algorithms to verify systems with unknown parameters (time, probabilities, or other dimensions) and to synthesise constraints on such parameters, or compute optimal parameter values.
  • Strategy Synthesis for Solving Games. We will compute winning strategies for games that arise from the interaction between a system and its environment. Synthesised strategies form the core of test case generation, control algorithms, energy optimisation, etc.
  • Symbolic Reasoning for Synthesis. We will develop and apply symbolic techniques, like SMT solving, abstract interpretation and invariant generation to the synthesis of concurrent systems. Approaches merging theorem proving and model checking are welcome.

The postdoc is expected to contribute to all subprojects, but in particular bring expertise in the third topic.

Qualifications and specific competences:
The postdoc should have a PhD degree in a related topic and will be evaluated on her/his publication record, her/his specific ideas for this project, and the potential to pursue an independent academic career. The successful candidate should demonstrate a strong theoretical background in logic 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 that show the potential impact of the research. 
Besides publishing excellent results as an independent academic researcher, the postdoc is expected to have and expand an international network, act as a creative sparring partner for the whole project, and have a coaching role towards the PhD students. The postdoc will be supported in advancing her/his own scientific career.

Place of Employment and Location:
The place of employment is the Computer Science department of Aarhus 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 excellent working conditions: https://international.au.dk/research/researcher-positions/workingconditions/.

Application:
Your application should include a motivation letter (1A4), CV including a list of publications, a research statement including a plan for this project (2-3A4) and the names of 2-3 references.

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

Application procedure
Shortlisting is used. This means that after the deadline for applications – and with the assistance from the assessment committee chairman, and the appointment committee if necessary, – the head of department selects the candidates to be evaluated. All applicants will be notified whether or not their applications have been sent to an expert assessment committee for evaluation. The selected applicants will be informed about the composition of the committee, and each applicant is given the opportunity to comment on the part of the assessment that concerns him/her self. Once the recruitment process is completed a final letter of rejection is sent to the deselected applicants, including the main considerations emphasized during the selection process.

Formalities and salary range
Science and Technology refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation.

The application must be in English and include a curriculum vitae, degree certificate, a complete list of publications, a statement of future research plans and information about research activities, teaching portfolio and verified information on previous teaching experience (if any). Guidelines for applicants can be found here.

Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Finance and the Danish Confederation of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities.

Salary depends on seniority as agreed between the Danish Ministry of Finance and the Confederation of Professional Associations.

All interested candidates are encouraged to apply, regardless of their personal background. Research activities will be evaluated in relation to actual research time. Thus, we encourage applicants to specify periods of leave without research activities, in order to be able to subtract these periods from the span of the scientific career during the evaluation of scientific productivity.

Aarhus University offers a broad variety of services for international researchers and accompanying families, including relocation service and career counselling to expat partners. Read more here. Please find more information about entering and working in Denmark here.

Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it here.

Aarhus University
Aarhus University is an academically diverse and research-intensive universitywith a strongcommitment to high-quality research and education and thedevelopment of societynationally and globally. Theuniversityoffers an inspiring research and teachingenvironment to its 39,000 students (FTEs) and 8,000 employees, and has an annualrevenues of EUR 884 million. Learn more at www.au.dk/en

Apply

Read the job description at the university homepage

Deadline 01 May 2019
Academic contact person: Jaco van de Pol, Professor
Vacant positions:1
Hours per week: 37
Number of months: 24
Expected date of accession:01 August 2019

Post expires on Wednesday May 1st, 2019