[Job-offers-cs] PostDoc Position in Quantitative Modeling at Aalborg University

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] PostDoc Position in Quantitative Modeling at Aalborg 
University
Date: Thu, 31 Oct 2019 09:04:46 +0100
From: Max Tschaikowski <maxtschaikowski at web.de>
To: DMANET at zpr.uni-koeln.de

PostDoc Position in Quantitative Modeling at Aalborg University, Denmark
************************************************************************

We are looking for a highly motivated researcher with interest in formal 
quantitative modeling.

The position is for one year with the possibility for an extension for 
one year. The tentative starting date is February 2020 or soon thereafter.

Applicants are required to demonstrate strong background and 
understanding in formal methods. An ideal candidate would have 
experience with

--- Formal quantitative modeling using Markov chains or systems of 
differential equations and;
--- Tool development facilitating the use of formal methods in practice.

The envisaged research will focus on the development of novel 
optimality/verification preserving reduction techniques for quantitative 
models. The PostDoc will be supervised by Max Tschaikowski and be a 
member of the DEIS group of Kim Larsen. She/he will be expected to 
perform independent research, collaborate with team members and help 
with the supervision of PhD and MSc students as appropriate.

The envisaged research will build upon the publications listed below and 
the accompanying software tool ERODE 
(http://sysma.imtlucca.it/tools/erode/).

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin.
Maximal aggregation of polynomial dynamical systems.
Proceedings of the National Academy of Sciences (PNAS), 2017

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin.
Symbolic computation of differential equivalences.
Symposium on Principles of Programming Languages (POPL), 2016


Host institution: The Computer Science Department at Aalborg University 
takes a leading international position within data management and 
verification. It is a very young university (1974) but with a strong 
international profile in Mathematics, and Computer Science & 
Engineering, also hosting the two most highly cited Computer Scientists 
of the country. Denmark in general and Aalborg in particular are known 
for their excellent quality of life. Denmark took the top spot on the 
United Nation's World Happiness Report, 2013 & 2014 & 2016 and came in 
third in the 2015 report:
http://www.visitdenmark.co.uk/en-gb/denmark/art/happiest-people-world .


Application procedure: The applicant must have obtained a PhD degree 
before the appointment day. In addition to an academic CV and 
recommendation letters, the applicant should provide a short cover 
letter which describes the applicant’s background, research interests 
and initial thoughts and ideas. More specifically, interested applicants 
should provide the following:

- A cover letter describing the reasons for applying, qualifications in 
relation to the position, and intentions and visions for the position.
- Current academic curriculum vitae.
- Letters of recommendation (2 - 3).
- Copies of relevant certificates (Master of Science and PhD). On 
request you could be asked for an official English translation.
- Additional qualifications in relation to the position (e.g., secured 
scientific grants, participation in committees or boards, organization 
of scientific events, etc.)
- Personal data.

For any questions, please do not hesitate to contact Max Tschaikowski 
(tschaikowski at cs.aau.dk / www.maxtschaikowski.com ).

Applications should be send by email to Max Tschaikowski.

************************************************************************