PhD position to the Mechanisation of Session Types (MECHANIST) project
Denne stilling er desværre ikke længere ledig.
Se alle ledige stillinger
København S
The Mechanisation of Session Types (MECHANIST) project at the Computer Science Department of the IT University of Copenhagen invites strong and highly motivated individuals to apply for a PhD position starting 1 September 2021 or as soon as possible thereafter and for the duration of 3 years.
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.
The ideal candidate will have a strong background in programming language theory and implementation and/or some experience with proof mechanization. Candidates are expected to have an M.Sc. degree in Computer Science or alike.
Qualification Requirements
The following qualifications are required:
Application
The application must be in English and must include:
Applications without the above-mentioned required documents will not be assessed.
Early contact with our faculty staff is strongly encouraged.
General information
The IT University of Copenhagen (ITU) is a teaching and research-based tertiary institution concerned with information technology (IT) and the opportunities it offers. The IT University has more than 160 full-time Faculty members. Research and teaching in information technology span all academic activities which involve computers including computer science, information and media sciences, humanities and social sciences, business impact and the commercialization of IT.
Successful applicants will be employed and enrolled at the ITU University for a period of 3 years.
Salary
Appointment and salary will be in accordance with the Ministry of Finance’s agreement with the Danish Confederation of Professional Associations (AC).
Application procedure
You can only apply for this position through our e-recruitment system. Apply by pushing the button "Apply for position" in the job announcement on our website: http://en.itu.dk/About-ITU/Vacancies
Please read the guidelines for applicants carefully before filling in the application form. You can see the guidelines through this link: https://en.itu.dk/research/phd-programme/available-phd-positions/guidelines-for-applicants
Applications must be written in English. All other documents, such as transcripts must be accompanied by a translation in English or Danish.
Questions about the positions can be directed to Associate Professor Marco Carbone, IT University of Copenhagen, e-mail [email protected].
The applicant will be assessed according to the Appointment Order from the Ministry of Science, Technology and Innovation of 13 March 2012.
The IT University may use shortlisting in connection to the recruitment process. In case of shortlisting, the Chair of the hiring committee selects applicants for assessment in consultation with the hiring committee after the application deadline. All applicants are notified whether their application has been passed for assessment. The shortlisting of candidates for assessment is based on the criteria in the job posting.
Application deadline: 15 July 2021, at 23:59 CEST.
Applications/enclosures received at ITU after the application deadline will not be taken into consideration. If you submit an application, it is your responsibility to ensure that it arrives before the deadline so please allow sufficient time for upload of publications and other documents.
The IT University invites all qualified researchers regardless of age, gender, religious affiliation or ethnic background to apply for the positions.
Kilde: Jobnet.dk
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.
The ideal candidate will have a strong background in programming language theory and implementation and/or some experience with proof mechanization. Candidates are expected to have an M.Sc. degree in Computer Science or alike.
Qualification Requirements
The following qualifications are required:
- 3 year programme: candidates should have an MSc (or equivalent)
Application
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.
Early contact with our faculty staff is strongly encouraged.
General information
The IT University of Copenhagen (ITU) is a teaching and research-based tertiary institution concerned with information technology (IT) and the opportunities it offers. The IT University has more than 160 full-time Faculty members. Research and teaching in information technology span all academic activities which involve computers including computer science, information and media sciences, humanities and social sciences, business impact and the commercialization of IT.
Successful applicants will be employed and enrolled at the ITU University for a period of 3 years.
Salary
Appointment and salary will be in accordance with the Ministry of Finance’s agreement with the Danish Confederation of Professional Associations (AC).
Application procedure
You can only apply for this position through our e-recruitment system. Apply by pushing the button "Apply for position" in the job announcement on our website: http://en.itu.dk/About-ITU/Vacancies
Please read the guidelines for applicants carefully before filling in the application form. You can see the guidelines through this link: https://en.itu.dk/research/phd-programme/available-phd-positions/guidelines-for-applicants
Applications must be written in English. All other documents, such as transcripts must be accompanied by a translation in English or Danish.
Questions about the positions can be directed to Associate Professor Marco Carbone, IT University of Copenhagen, e-mail [email protected].
The applicant will be assessed according to the Appointment Order from the Ministry of Science, Technology and Innovation of 13 March 2012.
The IT University may use shortlisting in connection to the recruitment process. In case of shortlisting, the Chair of the hiring committee selects applicants for assessment in consultation with the hiring committee after the application deadline. All applicants are notified whether their application has been passed for assessment. The shortlisting of candidates for assessment is based on the criteria in the job posting.
Application deadline: 15 July 2021, at 23:59 CEST.
Applications/enclosures received at ITU after the application deadline will not be taken into consideration. If you submit an application, it is your responsibility to ensure that it arrives before the deadline so please allow sufficient time for upload of publications and other documents.
The IT University invites all qualified researchers regardless of age, gender, religious affiliation or ethnic background to apply for the positions.
Kilde: Jobnet.dk
Information og data
Denne ledige stilling har jobtypen "Forsker", og befinder sig i kategorien "Sundhed og forskning".
Arbejdsstedet er beliggende i København S.
Jobbet er oprettet på vores service den 16.6.2021, men kan have været deaktiveret og genaktiveret igen.
Dagligt opdateret: Dette job opdateres dagligt ud fra jobudbyderens hjemmeside via vores søgemaskineteknologi og er aktivt lige nu.
- Forsker
- København S
- Torsdag den 15. juli 2021
Lignende jobs
-
Post Doc in Historical Geobiology using high-strat...
The Dahl Group at the Section for Geology is offering a Post Doc position for an excellent, ambitious, and highly motivated candidate with background in experimental sedimentary geochemistry and re..Få mere info- Forsker
- København K
-
Postdoctoral Fellowship in Quantum Technology Deve...
Få mere info- Forsker
- København
-
Adjunkt eller lektor til fysioterapeutuddannelsen
Vores ambition er at uddanne fysioterapeuter, som med ansvarlighed og stærk faglighed kan træde ud og repræsentere professionen på bedste vis i samfundet. Vil du være med til at skabe forpligtende .Få mere info- Forsker
- København N
-
PhD fellowship in plant proteins and data modellin...
Department of Food Science invites applicants for a PhD fellowship in Synergizing chemistry and data science to enhance plant-based food development.Start date is 1 February 2025 or as soon as .Få mere info- Forsker
- København
Statistik over udbudte jobs som forskere i København S
Herunder ser du udviklingen i udbudte forsker i København S over tid. Bemærk at jobs der ikke har en bestemt geografi ikke er medtaget i tabellen. I den første kolonne ser du datoen. I den næste kolonne ser du det samlede antal forskere.
Se flere statistikker her:
Statistik over udbudte forskere i København S over tid
| Dato | Alle jobs som forskere |
|---|---|
| 26. november 2024 | 8 |
| 25. november 2024 | 8 |
| 24. november 2024 | 8 |
| 23. november 2024 | 8 |
| 22. november 2024 | 8 |
| 21. november 2024 | 7 |
| 20. november 2024 | 7 |
| 19. november 2024 | 6 |
| 18. november 2024 | 6 |
| 17. november 2024 | 6 |
| 16. november 2024 | 7 |
| 15. november 2024 | 8 |
| 14. november 2024 | 8 |
| 13. november 2024 | 7 |
| 12. november 2024 | 6 |
| 11. november 2024 | 5 |
| 10. november 2024 | 5 |
| 9. november 2024 | 5 |
| 8. november 2024 | 6 |
| 7. november 2024 | 7 |
| 6. november 2024 | 6 |
| 5. november 2024 | 6 |
| 4. november 2024 | 5 |
| 3. november 2024 | 5 |
| 2. november 2024 | 5 |
| 1. november 2024 | 5 |
| 31. oktober 2024 | 5 |
| 30. oktober 2024 | 6 |
| 29. oktober 2024 | 6 |
| 28. oktober 2024 | 7 |
| 27. oktober 2024 | 8 |