Our mission is to push the boundaries of what modern digital systems can do, by breaking new ground in and establishing synergies between the fields of artificial intelligence, cybersecurity, and programming technology. Computer systems, like data clouds and the Internet of Things, are getting increasingly larger and more complex, both in terms of software and hardware. We have crossed the limits of checking manually that computer programs do what they are supposed to do, and that they do so efficiently and securely.
In our group, we develop theory and tools that support developers in the modelling, analysis, coordination, and programming of systems. We investigate methods that automate and optimise crucial steps of the development and deployment processes, enhancing their efficiency and reliability, and we build solutions and libraries that increase the security of systems.
We are a diverse and international group, working together in the 3rd largest city in Denmark, Odense. We value our collaborations with each other and with many other academic, public, and industrial organisations and interest groups.
We are inviting applications 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
Application deadline: 22 May 2022.
The positions are financed by the project “Choreographies for Connected IT Systems”, led by 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.
We are inviting applications for tenure-track assistant professor positions in Computer Science. We are looking for new colleagues who can strengthen or add to our competences in the research areas and topics of our section.
Application deadline: 15 February 2022.
An art exhibition called “Data Choreographies” will be opening on the 4th of November at Catch (Kulturværftet, Helsingør, Denmark), with brilliant art inspired by our research on choreographic programming! The exhibition will stay open for more than a month, and will then move to other places.
More information and event details can be found here.