Postdoctoral - Distributed Computing, Programming Languages

Postdoc Positions in Programming Languages and Distributed Systems

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 September 2022, with room for flexibility. The position is for a duration of up to three years.

The positions are financed by the project "Choreographies for Connected IT Systems", led by Professor Fabrizio Montesi. The project deals with the development of theory and tools based on programming languages for the development of distributed systems. Examples of topics that the project deals with include choreographic programming, compilers, distributed programming, microservices, session types, semantics of programming languages, and interactive theorem proving. The project is flexible, with opportunities to delve into single topics or to explore synergies among them.

Hired candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages, which focuses on fundamental research in these three topics and the synergies between them.

Candidate Profile

We are looking for promising early-career researchers who enjoy the topic of programming languages, teamwork, research projects with long-term visions, and bringing their own input to group work.

The ideal candidate has a PhD in Computer Science and a research track record in at least one of the following areas.

• Theory of programming languages.
• Compiler technology.
• Concurrency theory.
• Distributed systems.
• Theorem proving.

It is not an expectation that candidates are familiar with many of the topics above (one is sufficient). The project is flexible enough to accommodate for candidates with different backgrounds.

• Fluency in English is required.

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

Job details

Title: Postdoc Positions in Programming Languages and Distributed Systems

Employer: University of Southern Denmark

Location: Campusvej 55 Odense, Denmark

Job type: Postdoc

Field: Artificial Intelligence, Cyber Security, Distributed Computing, Information Systems (Business Informatics), Programming Languages

Contact Person: If you wish to apply for this position, please specify that you saw it on AKATECH.tech