...
Aalborg University (AAU)

PostDoc in Mathematical Modelling and Formal Methods

2021-12-01
Save as a favourite Create job alert

We are looking for a highly motivated researcher in the area of mathematical modelling and formal methods. 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 area, 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 can be send by email to Max Tschaikowski or by using the "Apply now" button below.

Apply now

Personal details*
Upload your CV and attachments

*By applying for a job listed on Academic Positions you agree to our terms and conditions and privacy policy.

Job details

Save as a favourite Create job alert

Discover related jobs

...
Become an IB Examiner for Swedish A: Literature International Baccalaureate® (IB) 4 days ago
...
Solar Energy Assistant/Associate Professor University of Nizwa 10 months ago
...
Assistant Professor in Marketing Wenzhou-Kean University 3 months ago
...
Become an IB Examiner for Croatian A: Literature International Baccalaureate® (IB) 4 days ago
...
Become an IB Examiner for Danish A: Literature International Baccalaureate® (IB) 4 days ago
More jobs

About the employer

Aalborg University provides high-quality research within the natural sciences, social sciences, humanities and engineering and health sciences and ...

Visit the employer page

Relevant stories

...
The Power of Ultrafast Lasers Advanced Research Center for Nanolithography ARCNL 4 min read
...
Going Nuclear to Save Time University of Jyväskylä 5 min read
...
Towards a Green and Ethical Future University of Jyväskylä 4 min read
...
Herbal Warfare: A Natural Weapon to Fight Parasites Free University of Bozen - Bolzano 4 min read
More stories