Postdoc in Interactive Theorem Proving
Denne stilling er desværre ikke længere ledig.
Se alle ledige stillinger
København Ø
Department of Computer Science
Faculty of Science
University of Copenhagen
Interactive theorem proving (ITP) is concerned with carrying out machine-checked proofs and developing the systems that check these proofs—proof assistants. This postdoc position is generally open to any topic within ITP, but we are particularly interested in synergies with our ongoing verification projects on runtime monitoring, data stream processing, and metatheory of logic, as well as ongoing work on extensions of the Isabelle proof assistant, such as providing support for nonuniform and binding-aware (co)datatypes.
Applicants must hold a PhD in computer science or a closely related field. The ideal candidate is an experienced proof assistant user (e.g., of Isabelle), has some experience with reasoning about the metatheory of logic, and is interested in formal methods, logic, and engineering correct software.
The postdoc’s duties will include research within interactive theorem proving as well as teaching in the general area of software development and engineering. The post may also include performance of other duties, such as student (co)supervision.
Further information on the Department can be found at https://di.ku.dk/english/. Inquiries about the position can be made to Dmitriy Traytel, [email protected].
The two-year position is open from August 1, 2024or as soon as possible thereafter.
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Terms of employment
The position is covered by the Memorandum on Job Structure for Academic Staff.
Terms of appointment and payment accord to the agreement between the Ministry of Finance and The Danish Confederation of Professional Associations on Academics in the State.
Negotiation for salary supplement is possible.
The application, in English, must be submitted electronically by clicking APPLY NOW below.
Please include
The deadline for applications is 30 May 2024, 23:59 CEST.
After the expiry of the deadline for applications, the authorized recruitment manager selects applicants for assessment on the advice of the Interview Committee.
You can read about the recruitment process at http://employment.ku.dk/faculty/recruitment-process/.
Interviews will be held in June 2024.
Kilde: Jobnet.dk
Faculty of Science
University of Copenhagen
Interactive theorem proving (ITP) is concerned with carrying out machine-checked proofs and developing the systems that check these proofs—proof assistants. This postdoc position is generally open to any topic within ITP, but we are particularly interested in synergies with our ongoing verification projects on runtime monitoring, data stream processing, and metatheory of logic, as well as ongoing work on extensions of the Isabelle proof assistant, such as providing support for nonuniform and binding-aware (co)datatypes.
Applicants must hold a PhD in computer science or a closely related field. The ideal candidate is an experienced proof assistant user (e.g., of Isabelle), has some experience with reasoning about the metatheory of logic, and is interested in formal methods, logic, and engineering correct software.
The postdoc’s duties will include research within interactive theorem proving as well as teaching in the general area of software development and engineering. The post may also include performance of other duties, such as student (co)supervision.
Further information on the Department can be found at https://di.ku.dk/english/. Inquiries about the position can be made to Dmitriy Traytel, [email protected].
The two-year position is open from August 1, 2024or as soon as possible thereafter.
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Terms of employment
The position is covered by the Memorandum on Job Structure for Academic Staff.
Terms of appointment and payment accord to the agreement between the Ministry of Finance and The Danish Confederation of Professional Associations on Academics in the State.
Negotiation for salary supplement is possible.
The application, in English, must be submitted electronically by clicking APPLY NOW below.
Please include
- Cover letter with a brief motivation statement
- Curriculum vitae
- Diplomas (Master and PhD degree or equivalent)
- Complete publication list
- Separate reprints of 3 particularly relevant papers
The deadline for applications is 30 May 2024, 23:59 CEST.
After the expiry of the deadline for applications, the authorized recruitment manager selects applicants for assessment on the advice of the Interview Committee.
You can read about the recruitment process at http://employment.ku.dk/faculty/recruitment-process/.
Interviews will be held in June 2024.
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 Ø.
Jobbet er oprettet på vores service den 15.5.2024, 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 Ø
- Torsdag den 30. maj 2024
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
-
Postdoc of Global Nutrition and Health
Få mere info- Forsker
- Frederiksberg
-
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 Ø
Herunder ser du udviklingen i udbudte forsker i København Ø 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 Ø over tid
| Dato | Alle jobs som forskere |
|---|---|
| 26. november 2024 | 13 |
| 25. november 2024 | 14 |
| 24. november 2024 | 14 |
| 23. november 2024 | 14 |
| 22. november 2024 | 14 |
| 21. november 2024 | 14 |
| 20. november 2024 | 13 |
| 19. november 2024 | 13 |
| 18. november 2024 | 15 |
| 17. november 2024 | 15 |
| 16. november 2024 | 15 |
| 15. november 2024 | 13 |
| 14. november 2024 | 12 |
| 13. november 2024 | 12 |
| 12. november 2024 | 12 |
| 11. november 2024 | 12 |
| 10. november 2024 | 14 |
| 9. november 2024 | 14 |
| 8. november 2024 | 14 |
| 7. november 2024 | 13 |
| 6. november 2024 | 13 |
| 5. november 2024 | 13 |
| 4. november 2024 | 13 |
| 3. november 2024 | 14 |
| 2. november 2024 | 14 |
| 1. november 2024 | 17 |
| 31. oktober 2024 | 18 |
| 30. oktober 2024 | 18 |
| 29. oktober 2024 | 17 |
| 28. oktober 2024 | 15 |
| 27. oktober 2024 | 18 |