REANNOUNCEMENT - Postdoc Positions in Programming Languages and Distributed Systems
Denne stilling er desværre ikke længere ledig.
Se alle ledige stillinger
Odense M
The Section of Artificial Intelligence, Cybersecurity, and Programming Languages of 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 January 2023, with room for flexibility. The positions have a duration of up to three years. Application deadline: 18 October 2022.
Successful candidates will work under the supervision of Professor Fabrizio Montesi on the development of theory and tools based on choreographic languages for the effective development, testing, and verification of concurrent and distributed systems.
Who we are looking for
We are looking for people who enjoy programming languages, teamwork, long-term visions, and bringing their own input to group work. We have a broad team working on choreographic languages from different perspectives, and we are interested in candidates who can either bring new angles to our research or strengthen our competences.
The ideal candidate has a PhD in Computer Science with experience in one (or more) of the following areas:
• Programming languages (theory or implementation).
• Concurrent and distributed systems.
• Formal methods.
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 process and appointment information
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 our International Staff Office’s 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.
• MSc diploma.
• 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.
Successful candidates will work under the supervision of Professor Fabrizio Montesi on the development of theory and tools based on choreographic languages for the effective development, testing, and verification of concurrent and distributed systems.
Who we are looking for
We are looking for people who enjoy programming languages, teamwork, long-term visions, and bringing their own input to group work. We have a broad team working on choreographic languages from different perspectives, and we are interested in candidates who can either bring new angles to our research or strengthen our competences.
The ideal candidate has a PhD in Computer Science with experience in one (or more) of the following areas:
• Programming languages (theory or implementation).
• Concurrent and distributed systems.
• Formal methods.
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 process and appointment information
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 our International Staff Office’s 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.
• MSc diploma.
• 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 18.8.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
- Tirsdag den 18. oktober 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 |
Populære søgninger
Lignende søgeresultater
157374 Clinical Professor of Psychiatry with Special Focus on Immunopsychiatry (Fixed-Term, 5 Years)
Se alle populære søgninger