PhD Fellow in Formal Verification of Stream Processing
University of Copenhagen Department of Computer Science

PhD fellow in Formal Verification of Stream Processing

Department of Computer Science, Faculty of Science at University of Copenhagen is offering  PhD scholarship in Runtime Verification commencing 01.01.2021 or as soon as possible thereafter.

Description of the scientific environment

The PhD project will be hosted by the Software, Data, People & Society (SDPS) Section, which performs research in software, process, and data management systems. We focus in particular on methods for the development of trustworthy software systems that closely match the needs of developers, users, and society. More information on the section can be found online:

The University of Copenhagen was founded in 1479 and is the oldest and largest university in Denmark. It is often ranked as the best university in Scandinavia and consistently as one of the top places in Europe. Within computer science, it is ranked number one in the European Union (post-Brexit) by Shanghai Ranking.

Project description

Today’s software and hardware systems produce massive amounts of data. Stream processing frameworks are vital tools for software engineers and data scientists to tame this data. They provide convenient programming abstractions that allow their users to express the desired data analysis. From the expressed analysis, they generate a distributed program and deploy it on computing clusters, which enables the massively parallel processing of data. Apache Flink, Apache Spark, and Google Cloud Dataflow are examples of mature stream processing frameworks that are widely used in industry. For thousands of users these frameworks serve as both the programming language and the operating system. Yet, these systems exhibit unreliable and unpredictable behavior, which prohibits their use in scenarios that cannot tolerate errors such as data loss. 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.

The ideal candidate for this position is an enthusiastic student with a strong background and interest in one or more of the following areas:

  • formal methods, specifically interactive theorem proving,
  • data stream processing
  • distributed systems

Candidates with a strong theoretical background in related areas are also encouraged to apply.

The PhD position is funded by the Novo Nordisk Foundation as part of a Start Package Grant.

Principal supervisor is Associate Professor, Dmitriy Traytel, Department of Computer Science,

Job description

The position is available for a 3-year period and your key tasks as a PhD student at SCIENCE are:

  • To manage and carry through your research project
  • Attend PhD courses
  • Write scientific articles and your PhD thesis
  • Teach and disseminate your research
  • To stay at an external research institution for a few months, preferably abroad
  • Work for the department

Formal requirements

Applicants should hold an MSc degree in Computer Science with good results and good English skills. As criteria for the assessment of your qualifications emphasis will also be laid on previous publications (if any) and your educational background in the relevant areas.

Terms of employment

The position is covered by the Memorandum on Job Structure for Academic Staff.

Terms of appointment and payment accord to the agreement between the Ministry of Finance and The Danish Confederation of Professional Associations on Academics in the State.

The starting salary is currently at a minimum DKK 331,125 (approx. €43,750) including annual supplement (+ pension at a minimum DKK 53,811). Negotiation for salary supplement is possible.

Application Procedure

The application, in English, must be submitted electronically by clicking APPLY NOW below.

Please include

  • Cover Letter, detailing your motivation and background for applying for the specific PhD project.
    Diploma and transcripts of records (BSc and MSc)
    Other information for consideration, e.g. list of publications (if any)
    1-3 reference letters

The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.

The deadline for applications is 1st of November 2020, 23:59 GMT +2

After the expiry of the deadline for applications, the authorized recruitment manager selects applicants for assessment on the advice of the Interview Committee. Afterwards an assessment committee will be appointed to evaluate the selected applications. The applicants will be notified of the composition of the committee and the final selection of a successful candidate will be made by the Head of Department, based on the recommendations of the assessment committee and the interview committee.

The main criterion for selection will be the research potential of the applicant and the above mentioned skills. The successful candidate will then be requested to formally apply for enrolment as a PhD student at the PhD school of Science. You can read more about the recruitment process at


For specific information about the PhD scholarship, please contact the principal supervisor Associate Professor Dmitriy Traytel, Department of Computer Science,

General information about PhD programmes at SCIENCE is available at


Part of the International Alliance of Research Universities (IARU), and among Europe’s top-ranking universities, the University of Copenhagen promotes research and teaching of the highest international standard. Rich in tradition and modern in outlook, the University gives students and staff the opportunity to cultivate their talent in an ambitious and informal environment. An effective organisation – with good working conditions and a collaborative work culture – creates the ideal framework for a successful academic career.


Application deadline: 01-11-2020
Employment start: 01-01-2021
Working hours: Full time
Department/Location: Department of Computer Science

If you apply for this position please say you saw it on Computeroxy


All Jobs


Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions