International PhD Positions in Programming Languages (ERC project CHORDS), Denmark
Description
International PhD Positions in Programming Languages (ERC project CHORDS), Denmark
The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, is delighted to offer International PhD Positions in Programming Languages. This scholarship opportunity is part of the ERC Consolidator Project “Choreographies for Distributed Systems: Reasoning, Expressivity, and Development (CHORDS).
The aim of the project is to introduce new language abstractions, formal models, and software tools for radically changing how we reason about and develop realistic distributed systems.
The University of Southern Denmark (SDU) is a public research university located in Denmark. It was established in 1966 and has since grown to become one of the country’s largest and most respected universities, with over 25,000 students and 4,000 employees. SDU offers a wide range of programs at the bachelor’s, master’s, and doctoral levels, with a focus on interdisciplinary research and innovation. The university is known for its strong emphasis on student engagement and academic excellence, and it consistently ranks among the top universities in Denmark and Europe
Application Deadline: 15 May 2024
Brief Description
- University or Organization: University of Southern Denmark
- Department: Department of Mathematics and Computer Science
- Course Level: PhD
- Award: NA
- Access Mode: Online
- Number of Awards: NA
- Nationality: International
- The award can be taken in the: Denmark
Eligibility
- Eligible Countries: Open to all nationalities
- Acceptable Course or Subjects: The scholarship will be awarded in any subject offered by the university
- Admissible Criteria: Applicants must meet all the following criteria:
- Hold an MSc degree in Computer Science or related field
- Have experience in at least one of the following areas: Theory of programming languages, Compilers, Concurrent and distributed systems, Logical methods in computer science, Interactive theorem provers
- Fluency in English is required.
How to Apply
Interested candidates should submit their applications electronically via the link “Apply now” by the application deadline of 15 May 2024. Application documents should be in PDF format and include a motivation letter, curriculum vitae, MSc diploma or statement of expected completion, copy of MSc thesis (if available), and a recommendation letter (if available). Incomplete applications or those received after the deadline will not be considered.
Benefits
Successful candidates will receive a competitive salary and be enrolled in the PhD study program at the Faculty of Science. The appointment is for a duration of 3 years, during which the holder of the scholarship is not allowed to have other paid employment. More information on salary and taxation can be found on the university’s website.
