Associate/Assistant Professor in Formal Methods for Safe and Secure Systems

Tuesday 08 Oct 19

Apply for this job

Apply no later than 30 November 2019
Apply for the job at DTU Compute by completing the following form.

Apply online

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.

The current teaching portfolio of the section for formal methods includes courses on semantics, models of computation, programming languages, interpreters and compilers, formal methods, program analysis, model checking, security, and distributed and concurrent programming. At the bachelor level, we teach mandatory courses that introduce to the above mentioned topics. At the master level, our courses are aligned with the study line “Safe and Secure by Design” which provides a coherent teaching programme for the construction of reliable and trustworthy systems, built upon research-based theories, techniques and tools based on formal methods, taught by internationally-recognised experts in those fields. The successful candidate is expected to teach and take part in the development of teaching at the bachelor, master, and PhD levels at DTU. We are looking forward to a colleague that can help us ensure that our courses on programming languages topics are based on foundations and on the state-of-the-art of research in formal methods.

Master and PhD courses are taught in English, while bachelor courses are taught in Danish and in English. Non Danish speakers will be offered support to learn Danish in order to participate in teaching on all levels.

The duties of an assistant professor include research-based teaching and research (including publication/scientific dissemination duties), and innovation. The distribution between the various duties may vary periodically, but a balance must be struck such that the assistant professor is able to develop in both research and teaching. The section is keen to ensure that an assistant professor is given supervision and guidance, and develops a teaching portfolio in order to qualify for an associate professorship.

The duties of an associate professor include research, research-based teaching (with associated examination duties) and innovation. The distribution between the various tasks may vary and will be planned in collaboration with the head of the section on Formal Methods for Safe and Secure Systems. The qualification requirements for the position of associate professor correspond to the level that is achievable through employment as an assistant professor.

Qualifications
Candidates for an 

  • assistant professorship must hold a PhD degree (or equivalent) in the area of Computer Science, Computer Engineering, Mathematics or similar
  • associate professorship must hold a PhD degree (or equivalent) in the area of Computer Science, Computer Engineering, Mathematics or similar, as well as academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic/pedagogic training
All candidates must 
  • have an excellent research background in formal methods.
  • have an excellent publication record within formal methods.
Assessment
In the assessment of the candidates, consideration will be given to 
  • Experience and quality of teaching
  • Research impact and experience at the international level, funding track record, and research vision
  • Societal impact
  • Documented innovation activities, including commercialization and collaboration with industry
  • International impact and experience
  • Leadership potential and collaboration
  • Communication skills
Consideration will also be given to: 
  • Current collaboration network and potential for establishing new international cooperations
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 terms of employment
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 assistant professor position is a permanent entry-level faculty position.
After a maximum of 4 years, an assistant professor can be promoted to an associate professor position after assessment. More information can be found here: Career paths at DTU.

Further information
Further information may be obtained from Head of Section, Associate Professor Alberto Lluch Lafuente, albl@dtu.dk.  

You can read more about the Section on Formal Methods for Safe and Secure Systems at 
www.compute.dtu.dk/english/research/Research-sections/FormalMethods

Application procedure
Please submit your online application no later than 30 November 2019 (local time)Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link "Apply online", fill out the online application form, and attach all your materials in English in one PDF file. The file must include: 
  • Application (cover letter)
  • CV
  • Teaching and research statement, with a focus on the “Assessment” bullet points listed above
  • Documentation of previous teaching and research, as related to the “Assessment” bullet points listed above
  • List of publications
  • Scientific highlights
  • Links to profiles in DBLP, Google Scholar, Scopus and ORCID
  • Diploma (MSc/PhD)
In the field “Please indicate which position you are applying for”, please indicate whether you are applying for the position as Associate or Assistant Professor.

Applications and enclosures received after the deadline will not be considered.

All qualified candidates irrespective of age, gender, race, disability, religion or ethnic background are encouraged to apply.

Our department DTU Compute is an internationally unique academic environment spanning the science disciplines: mathematics, statistics and computer science. At the same time DTU Compute is an engineering department covering informatics and communication technologies (ICT) in their broadest sense. Finally, DTU Compute plays a major role in addressing the societal challenges of the digital society where ICT is a part of every industry, service, and human endeavor. DTU Compute plays a central role in education at all levels of the engineering programs at DTU - both in terms of our scientific disciplines and our didactic innovation.

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.