PhD Positions in Programming Languages (ERC project CHORDS)

Application deadline: 15 May 2024 at 23:59 hours local Danish time
The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for PhD positions in programming languages. The positions have a duration of 3 years for candidates who have completed a relevant MSc degree, or 4 years for candidates who have completed 1 year of relevant MSc studies. The hired candidates will be part of the section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP), an ambitious group that fosters collaboration, research excellence, and quality education.

The proposed starting time is Autumn 2024, with room for flexibility. The appointment will be made at a competitive salary and will follow the PhD study programme at the Faculty of Science.

This position is tied to the ERC Consolidator Project “Choreographies for Distributed Systems: Reasoning, Expressivity, and Development (CHORDS)”. The project aims at introducing new language abstractions, formal models, and software tools for radically changing how we can reason about and develop realistic distributed systems. To this end, the project will establish a collaborative team that will investigate novel theoretical foundations and a formally-verified toolchain for the new paradigm of choreographic programming. The successful candidate will work with the project’s principal investigator (Prof. Fabrizio Montesi), who is a pioneer of the paradigm, and join one of the most prominent international research groups in the topic (the ACP section).

The Department of Mathematics and Computer Science is 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, a BSc in artificial intelligence, and an MSc degree in data science.

Candidate Profile
We are looking for highly motivated candidates 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.
• Concurrent and distributed systems.
• Logical methods in computer science.
• Interactive theorem provers.

Fluency in English is required.

For further information, please contact Prof. Fabrizio Montesi at [email protected].

Application deadline: 15 May 2024 at 23:59 hours local Danish time.

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 faculty members 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 programs 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).

Further information about the PhD-study can be found at the homepage of 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.

Application must be in English and include the following:

• Application letter
• Curriculum Vitae
• MSc diploma, or statement from supervisor on the expected completion of the MSc.
• Copy of MSc thesis, if available.
• 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. This also applies to reference letters.

Applications will be assessed by an expert assessor/committee. Applicants will be informed of their assessment by the university.

Applications should be sent electronically via the link "Apply now". The faculty expects applicants to read the information "How to apply" before applying. Please note that the application documents should be in pdf-format and attached as three documents: motivation letter, CV and the remaining documents.

We recommend that as an international applicant you take the time to visit Work in Denmark where you will find information and facts about moving to, working and living in Denmark, as well as the International Staff Office at SDU.

Placering: Odense, Denmark