<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] PostDoc in Formal Methods and Mathematical
Modelling at Aalborg University</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Wed, 20 Oct 2021 14:57:07 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Max Tschaikowski <a class="moz-txt-link-rfc2396E" href="mailto:maxtschaikowski@web.de"><maxtschaikowski@web.de></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
PostDoc in Formal Methods and Mathematical Modelling<br>
<br>
<br>
We are looking for a highly motivated researcher in the area of
formal<br>
methods and mathematical modelling. The ideal candidate will have
a PhD<br>
degree in computer science or mathematics. She/he is required to<br>
demonstrate a strong background and understanding in at least one
of the<br>
following areas:<br>
<br>
--- Mathematical modelling via dynamical systems (e.g.,
differential<br>
equations)<br>
--- Tool development in the area of formal verification (e.g.,
model<br>
checking)<br>
<br>
The position is for up to two years, the tentative starting date
is<br>
February 2022 or soon thereafter. Fluent written and verbal<br>
communication skills in English are required, while a knowledge of<br>
Danish is not necessary.<br>
<br>
<br>
Topic: The envisaged research will focus on the development and<br>
implementation of model abstraction algorithms. The PostDoc will
be<br>
supervised by Max Tschaikowski and be a member of the DEIS group
led by<br>
Kim G. Larsen. She/he will be expected to perform independent
research,<br>
collaborate with team members and help with the supervision of PhD
and<br>
MSc students as appropriate.<br>
<br>
For an idea about the research, candidates may take a look at the
ERODE<br>
tool page (<a class="moz-txt-link-freetext" href="http://www.erode.eu/">http://www.erode.eu/</a> and the following publications:<br>
<br>
--- L. Cardelli et al. Maximal aggregation of polynomial dynamical<br>
systems. Proceedings of the National Academy of Sciences (PNAS),
2017<br>
--- L. Cardelli et al. ERODE: A tool for the evaluation and
reduction of<br>
ordinary differential equations. Tools and Algorithms for the<br>
Construction and Analysis of Systems (TACAS), 2017<br>
<br>
<br>
Host institution: The Computer Science Department at Aalborg
University<br>
takes a leading international position within data management and<br>
quantitative modelling, while Aalborg is a vibrant student city
with an<br>
international airport. Denmark took the top spot on the United
Nation's<br>
World Happiness Report, 2013 & 2014 & 2016 and came in
third in the 2015<br>
report: <a class="moz-txt-link-freetext" href="http://www.https//www.visitdenmark.com/">http://www.https//www.visitdenmark.com/</a>><br>
<br>
Application procedure: The applicant must have obtained a PhD
degree<br>
before the appointment day. In addition to an academic CV and<br>
recommendation letters, the applicant should provide a short cover<br>
letter which describes applicant's background and research
interests.<br>
More specifically, interested applicants should provide the
following:<br>
<br>
--- Cover letter describing the reasons for applying and
qualifications<br>
in relation to the position<br>
--- Current academic CV<br>
--- Research statement (max. 2 pages)<br>
--- Letters of recommendation (2 - 3, can be send by the referees)<br>
--- Copies of relevant certificates (BSc, MSc. and PhD). On
request you<br>
could be asked for an official English translation<br>
--- Additional qualifications in relation to the position, e.g.,
secured<br>
scientific grants, participation in committees, organization of<br>
scientific events etc.<br>
--- Personal data<br>
<br>
For any questions concerning the position, please contact Max<br>
Tschaikowski: <a class="moz-txt-link-abbreviated" href="mailto:tschaikowski@cs.aau.dk">tschaikowski@cs.aau.dk</a><br>
<br>
Applications should be send by email to Max Tschaikowski no later
than<br>
the 1st of December 2021.<br>
<br>
</div>
</body>
</html>