PhD scholarship in Verification of Concurrent and Distributed Applications

Tuesday 28 Jun 22

Apply for this job

Apply no later than 31 August 2022
Apply for the job at DTU Compute by completing the following form.

Apply online

We are looking for a bright and motivated PhD student for a 3-year PhD position starting October 1st, 2022 (negotiable). The project is financed by the Independent Research Fund Denmark, and it is a collaboration between DTU, Motorola Solutions Danmark A/S, the University of Malta, and Imperial College London. It is an excellent opportunity to be involved in advanced research on concurrent and distributed systems, with important practical applications.

The project goal is to develop new methods and tools to verify the correctness of distributed applications, by combining static verification (e.g. type-checking) and runtime verification (monitoring). We will tackle scenarios where heterogeneous software components are expected to interact correctly but cannot be fully verified before deployment: this is a common scenario in microservices, IoT, and edge computing. The main research questions are: how can we model these heterogeneous systems? How can we combine static and runtime verification, and what guarantees can we achieve? Can we implement these research results as prototype tools to aid software development?

Responsibilities and qualifications
If you join this project, you will become a member of the DTU Compute research section on Software Systems Engineering. You will also join the DTU Compute PhD school and take part in its courses and activities.  As part of your PhD training and research activities, you will have research stays at the academic collaborators’ universities.


Your main tasks within this project will be:

  • becoming familiar with state-of-the-art research in formal methods for concurrent and distributed systems, including verification via type-checking (behavioural types) and monitoring;
  • study relevant industrial use cases and scenarios;
  • explore new methods to ensure the correctness of distributed systems.  You will help in developing the necessary theory, and implementing new software tools based on such theory.

Your duties will also include some Teaching Assistance work at DTU, and (if you wish) the co-supervision of BSc and MSc student projects related to your research.

To be considered for the position, you need some familiarity with formal methods for programming languages (e.g. type systems) and/or for distributed systems (e.g. process calculi, model checking).  You will need to document these skills by listing the relevant university courses you took, or the relevant experience you have.

It will be an advantage if you can also document good programming skills (preferably including functional programming).

To begin the PhD position, you must have a two-year master's degree (120 ECTS points) or a similar degree with an academic level equivalent to a two-year master's degree. You can apply prior to obtaining the degree, providing the expected graduation date.

Approval and Enrolment
The scholarship for the PhD degree is subject to academic approval, and the candidate will be enrolled in one of the general degree programmes at DTU. For information about our enrolment requirements and the general planning of the PhD study programme, please see DTU's rules for the PhD education.   

Assessment
The assessment of the applicants will take place in early September 2022.

We offer
DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. We offer a rewarding and challenging job in an international environment. We strive for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility.

Salary and appointment terms
The appointment will be based on the collective agreement with the Danish Confederation of Professional Associations. The allowance will be agreed upon with the relevant union. The period of employment is 3 years.

The expected starting date for the PhD position is 1 October 2022 (or the earliest available date, by mutual agreement).

You can read more about career paths at DTU here.

Further information
For further information and inquiries, please contact Alceste Scalas, alcsc@dtu.dk

You can read more about DTU Compute at www.compute.dtu.dk/english and about the Research Section on Software Systems Engineering at www.compute.dtu.dk/english/research/research-sections/software-systems-engineering.

If you are applying from abroad, you may find useful information on working in Denmark and at DTU at
DTU – Moving to Denmark. Furthermore, you have the option of joining our monthly free seminar “PhD relocation to Denmark and startup “Zoom” seminar” for all questions regarding the practical matters of moving to Denmark and working as a PhD at DTU.


Application procedure
Your complete online application must be submitted no later than 31 August 2022 (Danish time). Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link "Apply online", fill out the online application form, and attach all your materials in English in one PDF file. The file must include:

  • A letter motivating the application (cover letter)
  • Curriculum vitae
  • Grade transcripts and BSc/MSc diploma (in English) including official description of grading scale

You may apply prior to obtaining your master's degree but cannot begin before having received it.

Applications received after the deadline will not be considered.

All interested candidates irrespective of age, gender, race, disability, religion or ethnic background are encouraged to apply.

DTU Compute
DTU Compute is a unique and internationally recognized academic department with 385 employees and 11 research sections spanning the science disciplines mathematics, statistics, computer science, and engineering. We conduct research, teaching and innovation of high international standard – producing new knowledge and technology-based solutions to societal challenges. We have a long-term involvement in applied and interdisciplinary research, big data and data science, artificial intelligence (AI), internet of things (IoT), smart and secure societies, smart manufacturing, and life science. At DTU Compute we believe in a diverse workplace with a flexible work-life balance.

Technology for people
DTU develops technology for people. With our international elite research and study programmes, we are helping to create a better world and to solve the global challenges formulated in the UN’s 17 Sustainable Development Goals. Hans Christian Ørsted founded DTU in 1829 with a clear vision to develop and create value using science and engineering to benefit society. That vision lives on today. DTU has 12,900 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. DTU has campuses in all parts of Denmark and in Greenland, and we collaborate with the best universities around the world.