Home » International Scholarships for Students » International PhD Fellowships in Formal Verification, Denmark

International PhD Fellowships in Formal Verification, Denmark

The University of Copenhagen is inviting domestic and international students to conduct their research study in Denmark by applying for the International PhD Fellowships in Formal Verification.

The main objective of this fellowship is to assist talented students who want to undertake a PhD degree at the university for the academic year 2022/2023. The goal of the PhD project is to contribute to an ongoing formalization effort using the Isabelle proof assistant towards the first formally verified system for the analysis of big data.

  • Award
  • Application Process
  • Clarity of Information


Great offer for international students to complete their PhD study in Denmark

User Review
0 (0 votes)

The University of Copenhagen is the second-oldest university in Scandinavia, with four campuses, each with its own distinct atmosphere. It has six faculties and around 100 departments and research institutes.

Why would you like to study at the University of Copenhagen? The University provides students and employees with the opportunity to develop their skills in a collaborative and informal setting. It helps students with admissions, housing, and counselling, among other things, and it also hosts orientation programmes with a range of social events.

Application Deadline: October 10, 2021

Brief Description

  • University: University of Copenhagen
  • Department: Department of Computer Science
  • Course Level: PhD
  • Awards: DKK 27,871.38 per month
  • Access Mode: Online
  • Number of Awards: NA
  • Nationality: Domestic and international students
  • The award can be taken in Denmark


  • Eligible Countries: All nationalities
  • Acceptable Course or Subjects: PhD program in Formal Verification
  • Admissible Criteria: To be eligible for the regular PhD programme, applicants must have completed a degree programme, equivalent to a Danish master’s degree (180 ECTS/3 FTE BSc + 120 ECTS/2 FTE MSc) related to the subject area of the project, e.g., Computer Science.

How to Apply

  • How to Apply: All interested candidates must take admission in a PhD degree at the University of Copenhagen. After being enrolled, applicants can complete the online application form for this award.
  • Supporting Documents: The applicants must submit all the following documents:
  • Cover letter (max. one page), detailing your motivation and background for applying for the specific PhD project.
  • Curriculum vitae including information about your education, experience, language skills and other skills relevant for the position
  • Original diplomas for Bachelor of Science or Master of Science and transcript of records in the original language, including an authorized English translation if issued in another language than English or Danish. If not completed, a certified/signed copy of a recent transcript of records or a written statement from the institution or supervisor is accepted.
  • Publication list (if possible)
  • 1–2 reference letters
  • Admission Requirements: Candidates must comply with the formal requirements of the PhD program.
  • Language Requirement: Documentation of English level can, for instance, be documented by an excellent IELTS or TOEFL test.


The University of Copenhagen will provide a salary range starts at DKK 27,871.40 per month incl. PhD supplement (1 Oct. 2021 level).

Apply Now