Postdoc in Formal Verification of Monitoring, Department of Computer Science
The field of runtime verification, or monitoring, develops techniques to prove that a running system adheres to a formal specification. Monitoring tools are used today in safety, mission, and security-critical applications, where mistakes are too costly to be tolerated. These tools rely on complex monitoring algorithms for expressive specification languages. The correctness of these algorithms and their implementations is important and rarely obvious. The advertised position is centered around the development of a monitoring tool, VeriMon, whose correctness has been formally verified in the Isabelle proof assistant. VeriMon’s specification language is metric first-order dynamic logic, an expressive extension of linear temporal logic with quantitative temporal constraints, first-order parameters and quantification, aggregations, and regular expressions. While excelling in expressiveness, VeriMon is less competitive when it comes to its performance. A refinement of the purely-functional data structures and algorithms used in VeriMon to imperative ones is a promising approach to improve the monitor’s performance.
The position is funded by the Novo Nordisk Foundation as part of a Start Package Grant.
The postdoc’s duties will include research within formal verification of monitoring and related topics, and supervision and teaching are encouraged by not required. The post may also include performance of other duties.
Applicants must hold, or be about to hold, a PhD in computer science or a closely related field. The ideal candidate is an experienced proof assistant user (e.g., of Isabelle, Coq, or Lean), has some experience with data refinement techniques within these tools, and is interested in formal methods, automata theory, and relational databases.
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. Further information on the Department of Computer Science is linked at https://di.ku.dk/english/. Inquiries about the position can be made to Associate Professor Dmitriy Traytel at email@example.com.
The two-year full-time position is open from 01.01.2021 or as soon as possible thereafter.
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
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 up to DKK 437.843 including annual supplement (+ pension up to DKK 74.871). Negotiation for salary supplement is possible.
The application, in English, must be submitted electronically by clicking APPLY NOW below.
- Curriculum vitae
- Diplomas (Master and PhD degree or equivalent)
- Research plan – description of current and future research plans
- Complete publication list
- Separate reprints of 3 particularly relevant papers
The deadline for applications is 1st of November 2020, 23:59 GMT +1.
After the expiry of the deadline for applications, the authorized recruitment manager selects applicants for assessment on the advice of the Interview Committee.
You can read about the recruitment process at https://employment.ku.dk/faculty/recruitment-process/.
Interviews will be held on 13th of November 2020.
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.