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)


    Overview

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

    Qualifications

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

    Preference

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

    Responsibilities

    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.

    Note

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

    Inquiries

    Associate Professor Marco Carbone, IT University of Copenhagen
    E-mail: maca@itu.dk.

    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 *