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)
|No. of Position(s)||1|
|Research Area||Computer Science|
|Scholarship||According to standard norms|
|Workplace||Computer Science Department|
IT University of Copenhagen
|Contract Period||3 Years|
|Starting date||Sep 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
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
Post expires at 8:59am on Thursday June 17th, 2021 (GMT+9)