|Location:||Lyngby - Denmark|
|Placed On:||9th October 2019|
|Closes:||30th November 2019|
The Section on Formal Methods for Safe and Secure Systems at the Department of Applied Mathematics and Computer Science (DTU Compute) of the Technical University of Denmark invites applications for a position as an assistant or associate professor in Formal Methods for Safe and Secure Systems. The position is available from July 1, 2020 or according to mutual agreement.
The section on Formal Methods for Safe and Secure Systems conducts research and research-based teaching activities in several areas of formal methods. We envision a safe and secure digital society supported by reliable and trustworthy IT-based systems with theoretically well-founded guarantees and we strongly believe that formal methods constitute a key set of theoretically well-founded techniques and tools for the design and analysis of such systems. Our mission is to lead the advancement of scientific knowledge in the area of formal methods for safe and secure systems to cope with current and future scientific and practical challenges, and to educate new generations of computer scientists and engineers in the foundations and in the state-of-the-art of formal methods for safe and secure systems.
We have a rich international network of collaborators and our research is often conducted within national and international collaborative research projects. We are located in an exciting academic environment. DTU Compute has around 100 faculty members and 130 PhD students, organised in research-based sections that cover several areas of computer science, mathematics and statistics. The entire university comprises around 6,000 staff members and 11,200 students. Other academic and research institutions are located in the area, offering many possibilities for academic interactions and collaborations.
The position is at the level of Assistant or Associate Professor.
Candidates with an excellent research background and publication record, and that are able to combine theory and practice of formal methods, for example, through tool-supported formal methods techniques, are particularly encouraged to apply.
Responsibilities and tasks
With this position, we want to strengthen our teaching and research competences within formal methods, programming languages, and related techniques and tools for the design and analysis of safe and secure systems.
The successful candidate is expected to conduct high-quality scientific research at the international level, including scientific publications in highly reputed venues, ability to combine theoretical and practical aspects of formal methods, and participation in collaborative research projects. We are looking forward to a colleague that can interact with and expand our current activities in the design and analysis of safe and secure systems.
To apply, please read the full job advertisement at www.career.dtu.dk
Application deadline: 30 November 2019
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 vision to develop and create value using science and engineering to benefit society. That vision lives on today. DTU has 11,500 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. Our main campus is in Kgs. Lyngby north of Copenhagen and we have campuses in Roskilde and Ballerup.
Type / Role: