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
-
Senior Clinical Research Scientist, Solid Tumor Te...
At [xxxxx], we’re committed to building extra[not]ordinary futures together, by developing antibody products and pioneering, knock-your-socks-off therapies that change the lives of patients and th..- Forsker
- København
-
Vikarstilling: Adjunktvikar eller lektor til kombi...
Som underviser på [xxxxx] (KP) bevæger man sig i krydsfeltet mellem teori og praksis, og nu tager vi endnu et skridt til at styrke sammenhængen mellem klinisk og teoretisk .- Forsker
- København N
-
3 postdoctoral positions in digital media and comm...
The Department of Communication, Faculty of Humanities, University of Copenhagen (UCPH), invites applications for three postdoctoral positions in digital media and communication research beginning .- Forsker
- København
-
Adjunkter/lektorer til faste stillinger på sygeple...
Brænder du for at uddanne kommende sygeplejersker? Har du lyst til at bidrage til at udvikle landets største sygeplejerskeuddannelse? Så er du måske en af vores nye kollegaer, som, sammen med en en..- Forsker
- København N
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 |
---|---|
7. september 2024 | 6 |
6. september 2024 | 6 |
5. september 2024 | 6 |
4. september 2024 | 6 |
3. september 2024 | 5 |
2. september 2024 | 5 |
1. september 2024 | 8 |
31. august 2024 | 9 |
30. august 2024 | 8 |
29. august 2024 | 8 |
28. august 2024 | 8 |
27. august 2024 | 8 |
26. august 2024 | 8 |
25. august 2024 | 8 |
24. august 2024 | 8 |
23. august 2024 | 8 |
22. august 2024 | 8 |
21. august 2024 | 8 |
20. august 2024 | 7 |
19. august 2024 | 8 |
18. august 2024 | 8 |
17. august 2024 | 8 |
16. august 2024 | 8 |
15. august 2024 | 8 |
14. august 2024 | 10 |
13. august 2024 | 10 |
12. august 2024 | 10 |
11. august 2024 | 11 |
10. august 2024 | 11 |
9. august 2024 | 11 |
8. august 2024 | 10 |