PhD Position DTU Technical University of Denmark

PhD Position in Verification of Software-Defined Networks – DTU, Denmark, Apr 2022


The technical university of Denmark invites applications for a Ph.D. position goal is to develop new methods and tools to verify the correctness of Software-Defined Networking (SDN) configurations, at the DTU Compute, Denmark – Apr 2022

Save 0

Scroll Down for Content

General Info

Position: PhD Position
No. of Positions: 1
Research Field:
Deadline to Apply: Expired
Joining Date: July 1, 2022
Contract Period: 3 Years
Salary: According to standard norms

DTU Compute

Technical University of Denmark (DTU), Denmark


Scroll Down for Content

Qualification Details

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.

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.


The assessment of the applicants will take place around the middle of May 2022.

Responsibilities/Job Description

The project is financed by DTU, as part of a larger collaboration with the KTH Royal Institute of Technology in Stockholm (Sweden) and major industry partners, within the Nordic Five Tech strategic alliance between the leading Nordic technical universities. It is an excellent opportunity to be involved in advanced research on programming languages and distributed systems, with important practical applications.The project goal is to develop new methods and tools to verify the correctness of Software-Defined Networking (SDN) configurations. Modern SDN-enabled network routers and switches are programmable using vendor-neutral languages and standards (such as P4), hence they are very powerful and flexible.  Unfortunately, this power and flexibility comes at a cost: SDN configurations can be complicated, and mistakes can be costly - very simple bugs can bring whole networks and businesses offline, or compromise their privacy and security.  Therefore, our research question is: can we prevent these mistakes?  Can we verify the correctness of SDN configurations before they are deployed?


If you join this project, you will become a member of the DTU Compute research section on Software Systems Engineering, and you will work in close collaboration with an external supervisor at KTH. 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 Division of Theoretical Computer Science at KTH.   Your main tasks within this project will be:

  • becoming familiar with state-of-the-art research in programming languages and formal methods;
  • study existing methodologies for the development of SDN setups based on use cases from the project’s industry partners;
  • explore new methods to ensure the correctness of such SDN setups.  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, control flow analysis…), and you need good programming skills (preferably including functional programming).  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 some familiarity with formal methods for concurrent and distributed systems (in particular, process calculi and model checking).

How to Apply?

Application Method: Online Application
Ref. No.: -

Application Procedure

Your complete online application must be submitted no later than 30 April 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 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.

About the Department

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.

About the Employer:

Note or Other details


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 July 2022 (or the earliest available date, by mutual agreement).You can read more about career paths at DTU here.

Scroll Down for Content

Contact details

For further information and inquiries, please contact Alceste Scalas, [email protected].You can read more about DTU Compute at and the Research Section on Software Systems Engineering at you are applying from abroad, you may find useful information on working in Denmark and at DTU at DTU – Moving to Denmark.

Advertisement Details:

Other Vacancies from this field

Scroll Down for Content