Logic List Mailing Archive

Two PhD student positions in continuous-time models, Aalborg (Denmark)

We are looking for two highly motivated PhD candidates with interests in
continuous-time models, verification and machine learning. The ideal
candidates will have a strong MSc degree in computer science,
mathematics or control engineering. The PhD scholarships are for three
years and come with a competitive salary and light teaching load.

Topic and qualifications: The envisaged research will focus on efficient
analysis of continuous-time models by means of model/dimensionality
reduction. The candidates are therefore required to demonstrate a strong
background and understanding in at least one of the following areas:

--- Continuous-time models such as Markov chains or differential equations
--- Optimization, verification or dimensionality/model reduction
--- Scientific computing and software development

The envisaged starting date is October 2021, application deadline is the
6th of August. Fluent written and verbal communication skills in English
are required. Knowledge of Danish is not compulsory.

Application and contact: Applicants must have obtained a Master degree
before the appointment day. In addition to an academic CV and 2-3
reference letters, applicants should provide a short cover letter which
describes their background, research interests and initial thoughts and
ideas. Applications have to be submitted via:

https://www.stillinger.aau.dk/vis-stilling/?vacancy=1155031

Further information concerning the positions can be obtained via
tschaikowski@cs.aau.dk


Host institution: The Computer Science Department at Aalborg University
takes a leading international position within data management and
verification. 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: https://www.visitdenmark.com/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam