-
PhD Positions in Programming Languages
for 3 uger siden
Syddansk Universitet Odense, Danmark TEMPORARYThe 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 cand ...
-
Android Developer 12 Months Freelance Remote Contract
for 2 uger siden
Belmont Lavan Ltd Odense, DanmarkDuration / 12 Months Contract. Jan Jan 2025. · Remote position / with a few onsite workshops required. · Language: English. · As an Android Developers x 5 embedded within the client's Scrum team, the consultant will play a pivotal role in · designing, developing, and maintaining ...
-
Application Engineer
for 3 uger siden
Universal-Robots Odense, Danmark#WeAreUR and we continuously redefine automation · At Universal Robots, part of Teradyne Inc., we are empowering change in the way work is done. Our vision is to create a world where people work with robots, not like robots. Working towards our vision gives us endless opportunit ...
-
Internship Opportunity: Mechanical Engineering
for 3 uger siden
Coalescent Mobile Robotics Odense, Danmark PraktikAre you passionate about Mechanical Engineering or Electrical Engineering and possess an interest in creativity and innovation? Coalescent Mobile Robotics is looking for enthusiastic interns who are eager to gain hands-on experience in a dynamic and innovative environment. · This ...
-
Postdoc Position in Software Engineering for Robotic Systems
for 1 uge siden
University of Southern Denmark Odense, DanmarkJob 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 Rob ...
-
University of Southern Denmark Odense, DanmarkJob 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 po ...
-
Syddansk Universitet Odense, Danmark TEMPORARYA 3-year PhD position is available at the Department of Biology, University of Southern Denmark, Denmark. The start date is September 1, 2024. · Project area · Denmark is known for its widespread agricultural land use, to such an extent that Denmark is the country in the EU with ...
-
Associate professor and/or assistant professor in epidemiology
for 5 dage siden
Syddansk Universitet Odense, Danmark FuldtidThe Research Unit for Epidemiology, Biostatistics and Biodemography, Department of Public Health, University of Southern Denmark (SDU), invites applications for fulltime positions as associate and/or assistant professors in epidemiology (molecular or general), biostatistics, or b ...
-
Postdoc Position in Software Engineering for Robotic Systems
for 2 dage siden
Syddansk Universitet Odense, Danmark TEMPORARYThe 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 ...
-
Syddansk Universitet Odense, Danmark TEMPORARYThe 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 ...
-
Mercell Danmark A/S Odense C, Danmark FuldtidWorking at Mercell · At Mercell, we're on a mission to revolutionize public procurement, making it accessible and effortless for everyone involved. Imagine a world where public buyers and visionary suppliers come together seamlessly to make a great deal easier and shape the futu ...
-
Senior Product Software Engineer
for 2 uger siden
Wolters Kluwer Danmark A/S Svendborg, Danmark FuldtidWe are looking for a software developer for our office in Svendborg - Software development of market-leading products for the accountant industry · You now have the chance to become part of our amazing and committed teams As a software developer, you will be part of our Scandina ...
-
Software Engineer
for 3 uger siden
Ørsted Fredericia, Danmark FuldtidJoin us in this role where you'll work in our development team and participate in all phases of the software development project life cycle, incl. analysis, design, development of code, testing of business software applications, and project implementation in a distributed SAFe ag ...
Postdoc Positions in Programming Languages - Odense, Danmark - Syddansk Universitet
Beskrivelse
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
