PhD Positions in Programming Languages (ERC project CHORDS)_24/27385_IMADA
at Springer Nature
Odense, Region Syddanmark, Denmark -
Start Date | Expiry Date | Salary | Posted On | Experience | Skills | Telecommute | Sponsor Visa |
---|---|---|---|---|---|---|---|
Immediate | 15 May, 2024 | Not Specified | 13 Apr, 2024 | N/A | Distributed Systems,Computer Science,Programming Languages,Compilers | No | No |
Required Visa Status:
Citizen | GC |
US Citizen | Student Visa |
H1B | CPT |
OPT | H4 Spouse of H1B |
GC Green Card |
Employment Type:
Full Time | Part Time |
Permanent | Independent - 1099 |
Contract – W2 | C2H Independent |
C2H W2 | Contract – Corp 2 Corp |
Contract to Hire – Corp 2 Corp |
Description:
PHD POSITIONS IN PROGRAMMING LANGUAGES (ERC PROJECT CHORDS)24/27385IMADA
Employer
University of Southern Denmark (SDU)
Location
Odense, Fyn (DK)
Salary
Competitive
Closing date
15 May 2024
Discipline
Computing
Job Type
PhD Position
Employment - Hours
Full time
Duration
Fixed term
Qualification
Masters
Sector
Academia
You need to sign in or create an account to a job.
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.
Responsibilities:
Please refer the Job description for details
REQUIREMENT SUMMARY
Min:N/AMax:5.0 year(s)
Education Management
Teaching / Education
Education, Teaching
MSc
Computer Science
Proficient
1
Odense, Denmark