PhD fellow in Formal Verification of Stream Processing

Updated: 24 days ago
Deadline: 01 Nov 2020

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.

View or Apply

Similar Positions