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. The envisaged starting date is October 2021, application deadline is the 6th of August.

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. Fluent written and verbal communication skills in English are required. Knowledge of Danish is not compulsory. Applicants must have obtained a Master degree before the appointment day.