Postdoc Positions in Programming Languages and Distributed Systems
Denne stilling er desværre ikke længere ledig.
Se alle ledige stillinger
Odense M
The Department of Mathematics and Computer Science at the University of Southern Denmark (campus Odense) invites applications for postdoctoral research fellowships in programming languages and distributed systems. The proposed starting date is September 2022, with room for flexibility. The position is for a duration of up to three years. Application deadline: 22 May 2022.
The positions are financed by the project “Choreographies for Connected IT Systems”, led by Professor Fabrizio Montesi. The project deals with the development of theory and tools based on programming languages for the development of distributed systems. Examples of topics that the project deals with include choreographic programming, compilers, distributed programming, microservices, session types, semantics of programming languages, and interactive theorem proving. The project is flexible, with opportunities to delve into single topics or to explore synergies among them.
Hired candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages, which focuses on fundamental research in these three topics and the synergies between them.
Candidate Profile
We are looking for promising early-career researchers who enjoy the topic of programming languages, teamwork, research projects with long-term visions, and bringing their own input to group work.
The ideal candidate has a PhD in Computer Science and a research track record in at least one of the following areas.
• Theory of programming languages.
• Compiler technology.
• Concurrency theory.
• Distributed systems.
• Theorem proving.
It is not an expectation that candidates are familiar with many of the topics above (one is sufficient). The project is flexible enough to accommodate for candidates with different backgrounds.
Fluency in English is required.
Questions? Curious to learn more about the section and the position? Please feel free to reach out to Professor Fabrizio Montesi ([email protected]) for more information.
About the Department and the University
The Section of Artificial Intelligence, Cybersecurity, and Programming Languages is part of the Department of Mathematics and Computer Science. We are an inclusive and international working environment with state-of-the-art facilities and strong traditions for collaboration across sections, departments and faculties, and with other educational institutions, municipalities, and industries. The degrees offered by the department include BSc, MSc, and PhD degrees in computer science, and an MSc degree in data science.
The University of Southern Denmark was founded in 1966 and now has more than 27,000 students, almost 20% of whom are from abroad. It has 3,800+ employees, and 115 different study programmes in the fields of the humanities, social sciences, natural sciences, health sciences, and engineering. Its main campus is located in Odense, the third largest city in Denmark. Odense provides family-friendly living conditions, with the perfect combination of a historic city centre with an urban and vibrant feel and yet close proximity to beaches and recreational areas. Its location on the island of Funen is ideal with easy access to the larger cities and airports in Aarhus and Copenhagen.
Application, salary etc.
The successful applicant will be employed in accordance with the agreement between the Ministry of Finance and AC (the Danish Confederation of Professional Associations). Please check links for more information on salary and taxation.
Applications should include the following documents.
• Application letter.
• Curriculum Vitae (CV).
• List of publications (the candidate is welcome to accompany each publication with a line explaining their contribution).
• PhD diploma, or statement from main supervisor on the expected completion of the PhD.
• A recommendation letter, if available (otherwise, please insert contacts for recommendations in the CV).
Shortlisting may be used in the assessment process.
Incomplete applications and applications received after the deadline will neither be considered nor evaluated.
To qualify you must have passed a PhD or equivalent. Applications will be assessed by an expert assessor/committee. Applicants will be informed of their assessment by the university.
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Applications must be submitted electronically using the link "Apply online". Attached files must be in Adobe PDF or Word format. Each box can only contain a single file of max. 10 Mb. We strongly recommend that you read How to apply before you apply.
Further information for international applicants about entering and working in Denmark.
The positions are financed by the project “Choreographies for Connected IT Systems”, led by Professor Fabrizio Montesi. The project deals with the development of theory and tools based on programming languages for the development of distributed systems. Examples of topics that the project deals with include choreographic programming, compilers, distributed programming, microservices, session types, semantics of programming languages, and interactive theorem proving. The project is flexible, with opportunities to delve into single topics or to explore synergies among them.
Hired candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages, which focuses on fundamental research in these three topics and the synergies between them.
Candidate Profile
We are looking for promising early-career researchers who enjoy the topic of programming languages, teamwork, research projects with long-term visions, and bringing their own input to group work.
The ideal candidate has a PhD in Computer Science and a research track record in at least one of the following areas.
• Theory of programming languages.
• Compiler technology.
• Concurrency theory.
• Distributed systems.
• Theorem proving.
It is not an expectation that candidates are familiar with many of the topics above (one is sufficient). The project is flexible enough to accommodate for candidates with different backgrounds.
Fluency in English is required.
Questions? Curious to learn more about the section and the position? Please feel free to reach out to Professor Fabrizio Montesi ([email protected]) for more information.
About the Department and the University
The Section of Artificial Intelligence, Cybersecurity, and Programming Languages is part of the Department of Mathematics and Computer Science. We are an inclusive and international working environment with state-of-the-art facilities and strong traditions for collaboration across sections, departments and faculties, and with other educational institutions, municipalities, and industries. The degrees offered by the department include BSc, MSc, and PhD degrees in computer science, and an MSc degree in data science.
The University of Southern Denmark was founded in 1966 and now has more than 27,000 students, almost 20% of whom are from abroad. It has 3,800+ employees, and 115 different study programmes in the fields of the humanities, social sciences, natural sciences, health sciences, and engineering. Its main campus is located in Odense, the third largest city in Denmark. Odense provides family-friendly living conditions, with the perfect combination of a historic city centre with an urban and vibrant feel and yet close proximity to beaches and recreational areas. Its location on the island of Funen is ideal with easy access to the larger cities and airports in Aarhus and Copenhagen.
Application, salary etc.
The successful applicant will be employed in accordance with the agreement between the Ministry of Finance and AC (the Danish Confederation of Professional Associations). Please check links for more information on salary and taxation.
Applications should include the following documents.
• Application letter.
• Curriculum Vitae (CV).
• List of publications (the candidate is welcome to accompany each publication with a line explaining their contribution).
• PhD diploma, or statement from main supervisor on the expected completion of the PhD.
• A recommendation letter, if available (otherwise, please insert contacts for recommendations in the CV).
Shortlisting may be used in the assessment process.
Incomplete applications and applications received after the deadline will neither be considered nor evaluated.
To qualify you must have passed a PhD or equivalent. Applications will be assessed by an expert assessor/committee. Applicants will be informed of their assessment by the university.
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Applications must be submitted electronically using the link "Apply online". Attached files must be in Adobe PDF or Word format. Each box can only contain a single file of max. 10 Mb. We strongly recommend that you read How to apply before you apply.
Further information for international applicants about entering and working in Denmark.
Information og data
Denne ledige stilling har jobtypen "Forsker", og befinder sig i kategorien "Sundhed og forskning".
Arbejdsstedet er beliggende i Odense M.
Jobbet er oprettet på vores service den 12.4.2022, 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
- Odense M
- Søndag den 22. maj 2022
Lignende jobs
-
Videnskabelig assistent - Dansk som Andetsprog på ...
Videnskabelig assistent - Dansk som Andetsprog på BA i Interkulturel pædagogik og dansk som andetsprogVed Institut for Kultur- og sprogvidenskaber opslås hermed en stilling som videnskabelig assist..Få mere info- Forsker
- Odense M
-
Postdoc: Narrativer om erhvervsuddannelser
’NarratiVET’ er et forskningsprojekt, finansieret af DFF, Danmarks Frie Forskningsråd, der undersøger, hvilke personlige og kontekstuelle faktorer der har betydning for elevers erhvervsuddannelsesf..Få mere info- Forsker
- Odense M
Statistik over udbudte jobs som forskere i Odense M
Herunder ser du udviklingen i udbudte forsker i Odense M 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 Odense M over tid
| Dato | Alle jobs som forskere |
|---|---|
| 25. december 2024 | 3 |
| 24. december 2024 | 3 |
| 23. december 2024 | 3 |
| 22. december 2024 | 5 |
| 21. december 2024 | 5 |
| 20. december 2024 | 5 |
| 19. december 2024 | 5 |
| 18. december 2024 | 5 |
| 17. december 2024 | 5 |
| 16. december 2024 | 5 |
| 15. december 2024 | 5 |
| 14. december 2024 | 5 |
| 13. december 2024 | 5 |
| 12. december 2024 | 5 |
| 11. december 2024 | 4 |
| 10. december 2024 | 4 |
| 9. december 2024 | 4 |
| 8. december 2024 | 4 |
| 7. december 2024 | 4 |
| 6. december 2024 | 4 |
| 5. december 2024 | 1 |
| 4. december 2024 | 1 |
| 3. december 2024 | 1 |
| 2. december 2024 | 2 |
| 1. december 2024 | 2 |
| 30. november 2024 | 2 |
| 29. november 2024 | 2 |
| 28. november 2024 | 2 |
| 27. november 2024 | 2 |
| 26. november 2024 | 2 |
| 25. november 2024 | 2 |