We are looking for a highly motivated researcher in the area of formal
methods and mathematical modelling. The ideal candidate will have a PhD
degree in computer science or mathematics. She/he is required to
demonstrate a strong background and understanding in at least one of the
following areas:
--- Mathematical modelling via dynamical systems (e.g., differential
equations)
--- Tool development in the area of formal verification (e.g., model
checking)
The position is for up to two years, the tentative starting date is
February 2022 or soon thereafter. Fluent written and verbal
communication skills in English are required, while a knowledge of
Danish is not necessary.
Topic: The envisaged research will focus on the development and
implementation of model abstraction algorithms. The PostDoc will be
supervised by Max Tschaikowski and be a member of the DEIS group led by
Kim G. 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.
For an idea about the research, candidates may take a look at the ERODE
tool page (www.erode.eu) and the following publications:
--- L. Cardelli et al. Maximal aggregation of polynomial dynamical
systems. Proceedings of the National Academy of Sciences (PNAS), 2017
--- L. Cardelli et al. ERODE: A tool for the evaluation and reduction of
ordinary differential equations. Tools and Algorithms for the
Construction and Analysis of Systems (TACAS), 2017
Host institution: The Computer Science Department at Aalborg University
takes a leading international position within data management and
quantitative modelling, while Aalborg is a vibrant student city with an
international airport. 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.https://www.visitdenmark.com/
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 applicant's background and research interests.
More specifically, interested applicants should provide the following:
--- Cover letter describing the reasons for applying and qualifications
in relation to the position
--- Current academic CV
--- Research statement (max. 2 pages)
--- Letters of recommendation (2 - 3, can be send by the referees)
--- Copies of relevant certificates (BSc, MSc. 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, organization of
scientific events etc.
--- Personal data
For any questions concerning the position, please contact Max
Tschaikowski: tschaikowski@cs.aau.dk
Applications should be send by email to Max Tschaikowski no later than
the 1st of December 2021.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
