BEMÆRK: Ansøgningsfristen er overskredet
We are looking for a bright and motivated PhD student with research interests in formal methods, programming languages, and reasoning about probabilistic programs. The position is part of the upcoming DFF project AuRoRa (Automated Reasoning about Randomized Algorithms).
The goal of AuRoRa is to design, develop, and evaluate intermediate languages, decision procedures, and tools for verifying randomized algorithms – programs that exploit sampling from probability distributions to run, on average, faster, fairer, or more resource-efficient.
To apply for this position, you should have an excellent background in formal methods, logic, and programming languages. Good programming skills and experience with quantitative verification (e.g. probabilistic model checking or verification of hybrid systems) are also highly beneficial.
Responsibilities and qualifications
If you join this project, you will become a member of the DTU Compute section on Software Systems Engineering
, which involves researchers in various areas of software verification, model checking, specification, engineering, and security – with a strong emphasis on formal methods. You will also join the DTU Compute PhD school
and participate in its courses and activities. You will have research stays at the academic collaborators' universities as part of your PhD training and research activities.
Your main tasks within the project will be:
- become familiar with relevant state-of-the-art research in formal methods for verifying probabilistic programs and randomized algorithms;
- support the design of intermediate languages for prototyping verification techniques for randomized algorithms;
- develop decision procedures and heuristics for automating verification;
- explore new reasoning techniques that give strong quantitative guarantees on the behaviour of probabilistic systems. You will help develop the necessary theory and implement new software tools based on such theory.
You will also have the opportunity to co-supervise MSc or BSc student projects related to your research.
To be considered for the position, you need experience with formal methods, logic, and programming languages. You will need to document these skills by listing the relevant university courses you took or the relevant experience you have.
It will be advantageous if you can also document good programming skills – preferably in Rust – and some experience in probability theory or quantitative verification methods (e.g. probabilistic model checking or verification of hybrid systems).
To begin the PhD position, you must have a two-year master's degree (120 ECTS points) or a similar degree with an academic level equivalent to a two-year master's degree. You can apply before obtaining the degree if you provide the expected graduation date.
Approval and Enrolment
The scholarship for the PhD degree is subject to academic approval, and the candidate will be enrolled in one of the general degree programmes at DTU. For information about our enrolment requirements and the general planning of the PhD study programme, please see DTU's rules for the PhD education
.
Assessment
Christoph Matheja, the supervisor of the PhD project, will assess the applicants.
We offer
DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. We offer a rewarding and challenging job in an international environment. We strive for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility.
Salary and appointment terms
The appointment will be based on the collective agreement with the Danish Confederation of Professional Associations. The allowance will be agreed upon with the relevant union. The period of employment is 3 years.
The expected starting date for the PhD position is 1 November 2023 (or the earliest available date, by mutual agreement). The position is a full-time position.
You can read more about career paths at DTU here http://www.dtu.dk/english/about/job-and-career/working-at-dtu/career-paths.
Further information
For further information and inquiries, please contact Christoph Matheja
, chmat@dtu.dk
.
You can read more about DTU Compute at https://compute.dtu.dk
and about the Research Section on Software Systems Engineering at www.compute.dtu.dk/english/research/research-sections/software-systems-engineering.
If you are applying from abroad, you may find useful information on working in Denmark and at DTU at DTU – Moving to Denmark
. Furthermore, you have the option of joining our monthly free seminar “PhD relocation to Denmark and startup “Zoom” seminar
” for all questions regarding the practical matters of moving to Denmark and working as a PhD at DTU.
Application procedure
Your complete online application must be submitted no later than 6 September 2023 (23:59 Danish time).
Applications must be submitted as one PDF file
containing all materials to be given consideration. To apply, please open the link "Apply now", fill out the online application form, and attach all your materials in English in one PDF file
. The file must include:
- A letter motivating the application (cover letter)
- Curriculum vitae
- Grade transcripts and BSc/MSc diploma (in English) including official description of grading scale
- Contact details of at least two academic referees
You may apply prior to obtaining your master's degree but cannot begin before having received it.
Applications received after the deadline will not be considered.
All interested candidates irrespective of age, gender, race, disability, religion or ethnic background are encouraged to apply.
DTU Compute
DTU Compute is a unique and internationally recognized academic environment spanning the science disciplines mathematics, statistics, computer science, and engineering. We conduct research, teaching and innovation of high international standard - producing new knowledge and technology-based solutions to societal challenges. We have a long-term involvement in applied and interdisciplinary research, big data and data science, artificial intelligence (AI), internet of things (IoT), smart and secure societies, smart manufacturing, and life science.
Technology for people
DTU develops technology for people. With our international elite research and study programmes, we are helping to create a better world and to solve the global challenges formulated in the UN’s 17 Sustainable Development Goals. Hans Christian Ørsted founded DTU in 1829 with a clear mission to develop and create value using science and engineering to benefit society. That mission lives on today. DTU has 13,500 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. DTU has campuses in all parts of Denmark and in Greenland, and we collaborate with the best universities around the world.
INFORMATIONER OM STILLINGEN:
- Arbejdspladsen ligger i:
Lyngby-Taarbæk Kommune
-Virksomheden tilbyder:
-Arbejdsgiver:
Danmarks Tekniske Universitet, Anker Engelunds Vej, 2800 Kongens Lyngby
-Ansøgning:
Ansøgningsfrist: 06-09-2023; - ansøgningsfristen er overskredet
Ved skriftlig henvendelse: https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/da/sites/CX_1/job/2261
Se mere her: https://job.jobnet.dk/CV/FindWork/Details/5895261
