BEMÆRK: Ansøgningsfristen er overskredet
We are looking for an academic employee to support the local team of project Sb3D in research-based activities in the area of verification & fuzzing for unsafe software libraries.
The job
You will be contributing to the finalization of partially developed prototype, to its application to project case studies and to the preparation of dissemination material such as an academic paper.
Our expectations of you
You have a strong background in formal methods, including program verification, model checking and program analysis. You are skilled in tool support for those methods, including the use and development of program verifiers and program fuzzers, and the use of model checkers and SMT solvers. You have experience in working in an academic environment as academic employee and/or teaching assistant. You have strong skills in the programming languages RUST, HASKELL and C.
What we offer in return
A collaborative academic working environment and the opportunity to be part of a research project that aims at making formal methods techniques and tools applicable in practical settings such as the analysis of unsafe programming libraries.
Salary and appointment terms
The appointment will be based on the collective agreement with the Danish Confederation of Professional Associations.
The position is a part-time position for a fixed period. Starting date is 1 January 2024 (or according to mutual agreement) and finishing date is 31 March 2024.
The workplace is DTU Lyngby Campus.
Application and contact
Please submit your online application no later than Friday, 20 October 2023.
Open the “Apply now” link, fill out the form and attach your motivated application, CV and exam certificates.
If you would like additional information about the position, please contact Head of Section, Alberto Lluch Lafuente at albl@dtu.dk
.
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 department with 385 employees and 11 research sections 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. At DTU Compute we believe in a diverse workplace with a flexible work-life balance.
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: 20-10-2023; - ansøgningsfristen er overskredet
Se mere her: https://job.jobnet.dk/CV/FindWork/Details/5920375
