PhD position in Computer Science, Denmark

    PhD position in Computer Science, Denmark

    PhD position to the Mechanisation of Session Types (MECHANIST) project, at the Computer Science Department of the IT University of Copenhagen, Denmark

    Deadline to Apply

    June 16, 2021 (23: 59 GMT +1)


    PositionPhD Position
    No. of Position(s)1
    Research AreaComputer Science
    ScholarshipAccording to standard norms
    WorkplaceComputer Science Department
    IT University of Copenhagen
    Contract Period3 Years
    Starting dateSep 01, 2021


    Candidates are expected to have an M.Sc. degree in Computer Science or alike


    The ideal candidate will have a strong background in programming language theory and implementation and/or some experience with proof mechanization


    The successful candidate will help to advance current research in mechanizing the theory of session types in the Coq proof assistant. Session types are a protocol language for describing the communication patterns of communicating systems, automatically guaranteeing some basic properties such as lack of communication errors and in-session deadlock freedom. This project aims at having a machine-checked formalisation of the theory of session types, laying the foundations for correctly integrating machine-checked session types into fully-fledged mainstream programming languages.

    How to Apply?

    You can only apply for this position by pushing the button “Apply Online” mentioned above

    Documents Required

    The application must be in English and must include:

    • A cover letter;
    • A statement of purpose, which provides evidence of independent thinking, novelty and originality, and a state of the art grasp of the targeted research field matching the project description above;
    • Documentation of academic degree(s); grade transcripts that documents outstanding academic achievement;
    • Curriculum Vitae, which must include two professional/academic references;
    • Applications may also include a relevant scientific publication written by the applicant, or the applicants master thesis. Letters of recommendation can also be included in the application

    Applications without the above-mentioned required documents will not be assessed.


    Appointment and salary will be in accordance with the Ministry of Finance’s agreement with the Danish Confederation of Professional Associations (AC).


    Associate Professor Marco Carbone, IT University of Copenhagen

    Official advertisement

    PhD position to the Mechanisation of Session Types (MECHANIST) project

    Post expires at 8:59am on Thursday June 17th, 2021 (GMT+9)

    Leave a Reply

    Your email address will not be published. Required fields are marked *