PhD Positions in Programming Languages
2 months ago
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.
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.
The deadline for applications: 15 May 2024 at 23:59 hours local Danish time.
Please see the full call, including how to apply, on
-
Postdoc 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 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,...
-
Postdoc Positions in Programming Languages
1 month 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 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,...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU Center for Large Structure Production (LSP), part of the Maersk Mc-Kinney Moller Institute, University of Southern Denmark (SDU), invites applications for one or more fully funded PhD position on the topic of programming, simulation and control of multi-robot gantry operations. The positions will be vacant from 1 August 2024, or as soon as possible...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU Center for Large Structure Production (LSP), part of the Maersk Mc-Kinney Moller Institute, University of Southern Denmark (SDU), invites applications for one or more fully funded PhD position on the topic of programming, simulation and control of multi-robot gantry operations. The positions will be vacant from 1 August 2024, or as soon as possible...
-
PhD Positions
4 weeks ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe SDU Center for Energy Informatics is currently seeking highly qualified and motivated individuals for open 4+4 PhD positions. The starting date is 1 September 2024 and applicants must be enrolled in a master's programme at the Faculty of Engineering, SDU and have completed the first year of the master's programme at the time of enrollment in the PhD...
-
PhD Positions
2 months ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeThe SDU Center for Energy Informatics is currently seeking highly qualified and motivated individuals for open 4+4 PhD positions. The starting date is 1 September 2024 and applicants must be enrolled in a master's programme at the Faculty of Engineering, SDU and have completed the first year of the master's programme at the time of enrollment in the PhD...
-
PhD Position in Food Structure
4 weeks ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeA 3-year PhD position in food structure research is available from August/September 2024 with SDU Biotechnology, Department of Green Technology, University of Southern Denmark. The position is part of the project 'microTexture: Unlocking the Secrets of Plant-Based through Investigations at Multiple Scales' founded by the Novo Nordisk Foundation.The...
-
PhD Position in Food Structure
1 month ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeA 3-year PhD position in food structure research is available from August/September 2024 with SDU Biotechnology, Department of Green Technology, University of Southern Denmark. The position is part of the project 'microTexture: Unlocking the Secrets of Plant-Based through Investigations at Multiple Scales' founded by the Novo Nordisk Foundation.The...
-
PhD Position in Computer Science
2 months ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeWe have an opening for a PhD candidate in the TACsy (Training Alliance for Computational Systems Chemistry) Marie-Skłodowska-Curie Joint Doctoral Network. This network consists of fifteen (15) highly interlinked PhD projects, of which this particular call is for a position with a focus on theory for Computational Systems Chemistry. The application deadline...
-
PhD Position in Computer Science
4 weeks ago
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeWe have an opening for a PhD candidate in the TACsy (Training Alliance for Computational Systems Chemistry) Marie-Skłodowska-Curie Joint Doctoral Network. This network consists of fifteen (15) highly interlinked PhD projects, of which this particular call is for a position with a focus on theory for Computational Systems Chemistry. The application deadline...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU Software Engineering and SDU Robotics, part of the Maersk Mc-Kinney Moller Institute, University of Southern Denmark, located in Odense, invites applications for several 3-year PhD positions, which will be vacant from 1 September 2024 or as soon as possible thereafter. The application deadline is 21 June 2024 at 11.59 PM / CET/CEST) Research...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU Software Engineering and SDU Robotics, part of the Maersk Mc-Kinney Moller Institute, University of Southern Denmark, located in Odense, invites applications for several 3-year PhD positions, which will be vacant from 1 September 2024 or as soon as possible thereafter. The application deadline is 21 June 2024 at 11.59 PM / CET/CEST) Research...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU Software Engineering and SDU Robotics, part of the Maersk Mc-Kinney Moller Institute, University of Southern Denmark, located in Odense, invites applications for several 3-year PhD positions, which will be vacant from 1 September 2024 or as soon as possible thereafter. The application deadline is 21 June 2024 at 11.59 PM / CET/CEST) Research...
-
Odense, Odense Kommune, Denmark University of Southern Denmark Full timeJob DescriptionSDU Software Engineering and SDU Robotics at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark in Odense, are looking for candidates for several 3-year PhD positions starting on 1 September 2024 or as soon as possible thereafter.Research EnvironmentIf you're chosen, you'll join the SDU Software Engineering and SDU Robotics...
-
Odense, Odense Kommune, Denmark University of Southern Denmark Full timeJob DescriptionINTRODUCTIONUniversity of Southern Denmark - Department of Technology and Innovation - is looking for a full-time PhD candidate to focus on condition monitoring and predictive maintenance of marine combustion engines. The position starts on 1 October 2024 or soon after that, at SDU's main campus in Odense and industrial partner facilities.WHAT...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU Digital and High-Frequency Electronics at the Institute of Mechanical and Electrical Engineering, Faculty of Engineering of the University of Southern Denmark (SDU) is opening one or more PhD positions in the area of digital and embedded electronics for drone technologies. The starting date is 1 September 2024 and applicants must be enrolled in a...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeSDU Digital and High-Frequency Electronics at the Institute of Mechanical and Electrical Engineering, Faculty of Engineering of the University of Southern Denmark (SDU) is opening one or more PhD positions in the area of digital and embedded electronics for drone technologies. The starting date is 1 September 2024 and applicants must be enrolled in a...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeJob Description SDU CREATE invites applications for fully funded PhD positions. One or more doctoral positions on Bio-Inspired Design and Additive Construction are available, with a commencement date as soon as possible, preferably no later than September 2024. The application deadline is 20 May 2024 at 11.59 PM / CET/CEST) Scope of the work The...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeJob Description SDU CREATE invites applications for fully funded PhD positions. One or more doctoral positions on Bio-Inspired Design and Additive Construction are available, with a commencement date as soon as possible, preferably no later than September 2024. The application deadline is 20 May 2024 at 11.59 PM / CET/CEST) Scope of the work The...
-
Odense, Odense Kommune, Denmark Syddansk Universitet Full timeINTRODUCTIONDepartment of Technology and Innovation, University of Southern Denmark (SDU), Section for Engineering Operations Management invites applications for a 3-year full-time PhD position on the topic of condition monitoring and predictive maintenance of marine combustion engines. The starting time of the position is 1 October 2024 or as soon as...
