Ph.D. Position in Software Analysis: The IT University of Copenhagen invites applications for a Ph.D. position focused on software quality, particularly related to dynamic features in modern software systems. This position aims to develop innovative theories in logic-based verification and implement them in practical tools for developers.
Designation
Ph.D. Student in Software Analysis
Research Area
- Software Quality
- Software Analysis and Verification
- Logic and Formal Modelling
Location
IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark
Eligibility/Qualification
| Requirement | Details |
|---|---|
| Educational Background | Master’s degree (or equivalent) in Computer Science or related field |
| Experience/Interest | – Software analysis or verification – Logic – Formal modelling – Familiarity with formal methods is advantageous |
| Personal Attributes | – Collaborative mindset – Interest in research |
Description
This Ph.D. position focuses on investigating the challenges modern software systems face due to dynamic features like reflection and class loading. The successful candidate will work under the supervision of Assistant Professor Eduard Kamburjan on the DFF-funded Sapere Aude project “Graph-Based Verification of Reflective Programs.” The research environment allows collaboration with peers and international researchers and may include opportunities for research stays abroad.
How to Apply
Interested candidates should submit the following documents in English:
- A motivated application (cover letter) outlining qualifications
- A full CV including contact information and academic background
- Documentation of academic degrees
- A statement of purpose demonstrating independent thinking and alignment with the research project
- Proof of English proficiency
- Relevant scientific publications or master thesis (optional)
Apply through the e-recruitment system on the IT University’s website.
Last Date to Apply
February 22, 2026, at 23:59 CET
For further inquiries regarding the positions, contact Assist. Prof. Eduard Kamburjan at eduard.kamburjan@itu.dk.
