Postdoc Positions in Programming Languages
4 weeks ago
The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for postdoctoral research fellowships in programming languages. The positions can have a duration of up to 4 years. 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.
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 (or is nearing completion of) a PhD in Computer Science and 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.
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 center 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 deadline: 15 May 2024 at 23:59 hours local Danish time.
Please see the full call, including how to apply, on
-
PhD Positions in Programming Languages
4 weeks ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe 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...
-
PhD Positions in Programming Languages
2 months ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe 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...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe Software Engineering section at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark (SDU Odense Campus) invites applications for a 12-month full time postdoc position with the possibility of extension for the project Fast and Efficient Robotic Automation via Re-Use of Data (FERA). The start date is expected to be 1 July 2024 or as soon...
-
Odense, Odense Kommune, Denmark University of Southern Denmark Full timeJob Description The Software Engineering section at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark (SDU Odense Campus) invites applications for a 12-month full time postdoc position with the possibility of extension for the project Fast and Efficient Robotic Automation via Re-Use of Data (FERA). The start date is expected to be 1...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe Software Engineering section at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark (SDU Odense Campus) invites applications for a 12-month full time postdoc position with the possibility of extension for the project Fast and Efficient Robotic Automation via Re-Use of Data (FERA). The start date is expected to be 1 July 2024 or as soon...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe Software Engineering section at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark (SDU Odense Campus) invites applications for a 12-month full time postdoc position with the possibility of extension for the project Fast and Efficient Robotic Automation via Re-Use of Data (FERA). The start date is expected to be 1 July 2024 or as soon...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe Madsen group at the Section for Functional Genomics and Metabolism, Department of Biochemistry and Molecular Biology, University of Southern Denmark, invites applications from outstanding Postdoc candidates who are interested in joining the team and the Islet Cartography-project in a two-year Postdoc position. The position is available from September 1,...
-
Postdoc Position in Computational Transcriptomics
2 months ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe Madsen group at the Section for Functional Genomics and Metabolism, Department of Biochemistry and Molecular Biology, University of Southern Denmark, invites applications from outstanding Postdoc candidates who are interested in joining the team and the Islet Cartography-project in a two-year Postdoc position. The position is available from September 1,...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeA 3-years postdoc position is available at the Department of Biology, University of Southern Denmark, Odense, Denmark. The expected start date is 15 August 2024, or soon thereafter. Project background Freshwater systems throughout the world are in poor condition, mainly due to decades of nutrient pollution. The main cause of poor water quality is excess...
-
Postdoc Position within Sustainable Lake Restoration
2 months ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeA 3-years postdoc position is available at the Department of Biology, University of Southern Denmark, Odense, Denmark. The expected start date is 15 August 2024, or soon thereafter. Project background Freshwater systems throughout the world are in poor condition, mainly due to decades of nutrient pollution. The main cause of poor water quality is excess...
-
Odense, Odense Kommune, Denmark University of Southern Denmark Full timeJobbeskrivelse A postdoc position is available as part of the research project, 'Paternity in Denmark, ca PAID). The Department of Culture and Language is offering one fully funded 18 months postdoc position starting on January 1, 2025 , or as soon as possible thereafter. The postdoc will be based at SDU, Odense. We are seeking a highly motivated...
-
Postdoc in Green Technology Adoption
2 weeks ago
Odense, Odense Kommune, Denmark Syddansk Universitet (SDU) Full timeSønderborg, DenmarkAt Department of Design, Media and Educational Science, we are looking for a postdoc within the Elite Centre on Solar Energy Conversion and Storage «SOLEN», financed through the Climate Cluster at the University of Southern Denmark:The postdoc will join our interdisciplinary team, consisting of engineering, chemistry, sociology and...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU Center for Energy Informatics is excited to announce a postdoc position on Digitally Enabled Asset Management of Energy Systems and Infrastructure. We are seeking a highly qualified and motivated individual like yourself to join our research teams.The application deadline is 18 August 2024 at 11.59 PM/23.59 (CET/CEST) At the SDU Center for Energy...
-
Odense, Odense Kommune, Denmark University of Southern Denmark Full timeJob Description is involved in a variety of national and European projects and features a strong network of academic and industrial partners. We are a team of currently appr. 50 researchers, specialized in robot solutions involving modelling, simulation, and control of advanced robot technologies (systems and services) for industrial, medical and welfare...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe Institute of Mechanical and Electrical Engineering invites applications for a 24-month position as postdoctoral researcher within development of substructuring and reduced order modelling for structural analysis and dynamics of large modular vessels. The position is expected to start from the 1 October 2024 or as soon as possible thereafter.The...
-
Odense, Odense Kommune, Denmark University of Southern Denmark Full timeJob Description The Institute of Mechanical and Electrical Engineering invites applications for a 24-month position as postdoctoral researcher within development of substructuring and reduced order modelling for structural analysis and dynamics of large modular vessels. The position is expected to start from the 1 October 2024 or as soon as possible...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe Institute of Mechanical and Electrical Engineering invites applications for a 24-month position as postdoctoral researcher within development of substructuring and reduced order modelling for structural analysis and dynamics of large modular vessels. The position is expected to start from the 1 October 2024 or as soon as possible thereafter.The...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe Institute of Mechanical and Electrical Engineering invites applications for a 24-month position as postdoctoral researcher within development of substructuring and reduced order modelling for structural analysis and dynamics of large modular vessels. The position is expected to start from the 1 October 2024 or as soon as possible thereafter.The...
-
Odense, Odense Kommune, Denmark University of Southern Denmark Full timeJob Description SDU Center for Energy Informatics is excited to announce several 3-year postdoc positions in AI. We are seeking highly qualified and motivated individuals like yourself to join our research teams. The application deadline is 18 August 2024 at 11.59 PM/23.59 (CET/CEST) At the SDU Center for Energy Informatics, we are at the forefront...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU UAS Center, part of Maersk Mc-Kinney Moller Institute, invites applications for a postdoc position within computer vision for Unmanned Aerial Systems (UAS, Drones). The position is a 3-year employment based in Odense and is available from June 2024 or as soon as possible.The application deadline is 1 May 2024 at CET/CEST)We offerThe successful candidate...
