PhD Positions in Programming Languages
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, Odense, invites applications for two PhD positions in programming languages. The proposed starting date is October 2020, with room for flexibility. The hired candidates will be part of the Concurrency and Logic research group. Application deadline: 5 August 2020.
Candidate Profile
We are looking for highly motivated students interested in theory and implementation of programming languages. The ideal candidate has an MSc in Computer Science and experience in at least one of the following areas (acquired, for example, by following courses or through work on an MSc thesis).
• Theory of programming languages
• Compilers
• Concurrency theory
• Distributed computing.
Experience in combining theory and practice of computer science is a plus.
Fluency in English is required.
The positions are financed by the following research projects:
• The project “Choreographies for Connected IT Systems” investigates a new development methodology for the correct programming of coordination in concurrent and distributed systems, leveraging ideas from hybrid logic, types, and compilers.
• The project “Generic Microservices” investigates abstract reasoning principles for the composition and manipulation of service APIs, and the application of these principles to programming languages for the large-scale programming of resilient cloud applications.
Both projects are in basic research and focus on scientific excellence.
For further information, please contact Professor Fabrizio Montesi, [email protected].
About the Department and the University
Based in Odense, the Department of Mathematics and Computer Science offers an inclusive and international working environment with state-of-the-art facilities as well as a strong tradition for collaboration across departments and faculties, and with other educational institutions, municipalities, and industries. More than two thirds of the department employees come from outside of Denmark.
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 more than 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 feel and yet a close proximity to beaches and recreational areas. Its location on the beautiful island of Funen is ideal with easy access by train or highway to the bigger cities of Aarhus and Copenhagen. As the birthplace of Hans Christian Andersen, Denmark’s famous fairytale author, the city is home to a vibrant and creative population that hosts numerous festivals and markets throughout the year.
Application, salary etc.
Appointment as a PhD Research Fellow is for three years. Employment stops automatically at the end of the period. The holder of the scholarship is not allowed to have other paid employment during the three-year period.
The successful applicant will be employed in accordance with the agreement on salaried PhD scholars between the Ministry of Finance and AC (the Danish Confederation of Professional Associations). Please check links for more information on salary and taxation.
The successful candidate will be enrolled at this university in accordance with faculty regulations and the Danish Ministerial Order on the PhD Programme at the Universities (PhD order).
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Application must be made in the form of a Declaration of Interest including the following:
• A research proposal/description of your approach to the above project (max one page excluding references)
• A letter stating your specific interest, motivation and qualifications for the project in question (max. two pages) (please attach this under box "Application form")
• Detailed CV, including personal contact information
• Copies of diplomas, Bachelor as well as Master’s degree, including transcript of notes/grades, or statement from supervisor on the expected completion of the MSc
• At least two signed reference letters. Should your referees wish to send their letters directly to us, please have them use e-mail: [email protected] mentioning your name and the title of the position in the subject line. And please note that these also need to reach us before deadline.
Shortlisting may be used in the assessment process.
Further information about the PhD-study can be found at the homepage of the University.
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.
Incomplete applications and applications received after the deadline will neither be considered nor evaluated. This also applies to reference letters.
Further information for international applicants about entering and working in Denmark.
Candidate Profile
We are looking for highly motivated students interested in theory and implementation of programming languages. The ideal candidate has an MSc in Computer Science and experience in at least one of the following areas (acquired, for example, by following courses or through work on an MSc thesis).
• Theory of programming languages
• Compilers
• Concurrency theory
• Distributed computing.
Experience in combining theory and practice of computer science is a plus.
Fluency in English is required.
The positions are financed by the following research projects:
• The project “Choreographies for Connected IT Systems” investigates a new development methodology for the correct programming of coordination in concurrent and distributed systems, leveraging ideas from hybrid logic, types, and compilers.
• The project “Generic Microservices” investigates abstract reasoning principles for the composition and manipulation of service APIs, and the application of these principles to programming languages for the large-scale programming of resilient cloud applications.
Both projects are in basic research and focus on scientific excellence.
For further information, please contact Professor Fabrizio Montesi, [email protected].
About the Department and the University
Based in Odense, the Department of Mathematics and Computer Science offers an inclusive and international working environment with state-of-the-art facilities as well as a strong tradition for collaboration across departments and faculties, and with other educational institutions, municipalities, and industries. More than two thirds of the department employees come from outside of Denmark.
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 more than 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 feel and yet a close proximity to beaches and recreational areas. Its location on the beautiful island of Funen is ideal with easy access by train or highway to the bigger cities of Aarhus and Copenhagen. As the birthplace of Hans Christian Andersen, Denmark’s famous fairytale author, the city is home to a vibrant and creative population that hosts numerous festivals and markets throughout the year.
Application, salary etc.
Appointment as a PhD Research Fellow is for three years. Employment stops automatically at the end of the period. The holder of the scholarship is not allowed to have other paid employment during the three-year period.
The successful applicant will be employed in accordance with the agreement on salaried PhD scholars between the Ministry of Finance and AC (the Danish Confederation of Professional Associations). Please check links for more information on salary and taxation.
The successful candidate will be enrolled at this university in accordance with faculty regulations and the Danish Ministerial Order on the PhD Programme at the Universities (PhD order).
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Application must be made in the form of a Declaration of Interest including the following:
• A research proposal/description of your approach to the above project (max one page excluding references)
• A letter stating your specific interest, motivation and qualifications for the project in question (max. two pages) (please attach this under box "Application form")
• Detailed CV, including personal contact information
• Copies of diplomas, Bachelor as well as Master’s degree, including transcript of notes/grades, or statement from supervisor on the expected completion of the MSc
• At least two signed reference letters. Should your referees wish to send their letters directly to us, please have them use e-mail: [email protected] mentioning your name and the title of the position in the subject line. And please note that these also need to reach us before deadline.
Shortlisting may be used in the assessment process.
Further information about the PhD-study can be found at the homepage of the University.
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.
Incomplete applications and applications received after the deadline will neither be considered nor evaluated. This also applies to reference letters.
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 17.6.2020, 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
- Onsdag den 05. august 2020
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 |
|---|---|
| 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 |
| 24. november 2024 | 2 |