Postdoc Positions in Programming Languages and Distributed Systems

Bemærk at denne jobannonce er udløbet!
Annoncen er udløbet, og stillingen kan ikke længere søges. Opslaget vises udelukkende som reference

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. 

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.

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.

Deadline: 18 October 2022.

Please see the full call, including how to apply, on www.sdu.dk.

Skriv i din ansøgning, at du fandt jobbet på ofir.dk


Postdoc Positions in Programming Languages and Distributed Systems

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. 

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.

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.

Deadline: 18 October 2022.

Please see the full call, including how to apply, on www.sdu.dk.

Skriv i din ansøgning, at du fandt jobbet på ofir.dk


+

Mere af samme slags?

Modtag jobannoncer der minder om dette job i din indbakke.




Når du tilmelder dig accepterer du samtidig vores privatlivspolitik. Du kan altid trække dit samtykke tilbage.