DTU Tenure Track Assistant Professor in Formal Methods

tirsdag 19 jan 21

Send ansøgning

Frist 28. februar 2021
Du kan søge om jobbet ved DTU Compute ved at udfylde den efterfølgende ansøgningsformular.

Ansøg online

If you are establishing your career as a scientist and you are looking for the best possible foundation for fulfilling your dreams and ambitions in the area of formal methods, it is right here in the section on Formal Methods at DTU. We are looking for a tenure-track assistant professor to join our vision of a safe and secure digital society supported by reliable and trustworthy IT-based systems with theoretically well-founded guarantees. You will help us lead the advancement of scientific knowledge in this area and to educate new generations of computer scientists and engineers.

The position is part of DTU’s Tenure Track program. 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. We develop talent by offering a career mentor, state-of-the-art research infrastructure, and postgraduate teacher training. DTU’s Tenure Track is an appointment of at most six years, during which you will receive career support in the form of professional and personal guidance. At the end of the tenure track appointment you will be evaluated by an external assessment committee, who will assess your appointment to a permanent Associate Professorship. Read more about the DTU Tenure Track program at DTU at this homepage

Responsibilities and qualifications
You will be conducting high-quality scientific research at international level, publishing your results in highly-reputed venues, combining theoretical and practical aspects of formal methods, as well as leading and participating in collaborative research projects. You will take part in the development of research-based teaching at the bachelor, master, and PhD levels at DTU. Our teaching portfolio includes courses in topics tightly connected to our research expertise and activities: models of computation, programming languages, semantics, interpreters and compilers, formal methods, program analysis, model checking, security, and distributed and concurrent programming. You will be strengthening our research and research-based teaching competences within formal methods, and expanding them in new directions. 

You will be responsible for the teaching of courses. Master and PhD courses are taught in English, while bachelor courses are taught in Danish and in English.  You will be expected to learn Danish and be able to teach in Danish after 3 years. DTU can provide Danish language courses.

As formal qualification you must hold a PhD degree (or equivalent).

You will be assessed against the responsibilities and qualifications stated above and the following general criteria:

  • Experience and quality of teaching
  • Research experience
  • Research vision and potential
  • International impact and experience
  • Societal impact
  • Innovativeness, including commercialization and collaboration with industry
  • Leadership, collaboration, and interdisciplinary skills
  • Communication skills

Salary and terms of employment
The appointment will be based on the collective agreement with the Danish Confederation of Professional Associations. The salary for the position will be determined by the applicants qualifications and in agreement with the relevant union. Further information on qualification requirements and job content may be found in the Ministerial Order on Job Structure for Academic Staff at Universities

The position is available from July 1st 2021 or according to mutual agreement.

Further information
Further information may be obtained from Head of Section Alberto Lluch Lafuente (albl@dtu.dk). You are welcome to contact him before submitting the formal application.

You can read more about DTU Compute’s section for Formal Methods at www.compute.dtu.dk/english/research/research-sections/formalmethods

If you are applying from abroad, you may find useful information on working in Denmark and at DTU at DTU – Moving to Denmark

Application procedure
Your complete online application must be submitted no later than 28 February 2021 (Danish 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)
  • Vision for teaching and research for the tenure track period
  • CV including employment history, list of publications, H-index, and profiles in ORCID (see http://orcid.org/), Google Scholar (https://scholar.google.com/) and DBLP (https://dblp.uni-trier.de/)
  • Teaching portfolio including documentation of teaching experience
  • Academic Diplomas (MSc/PhD)

All interested candidates irrespective of age, gender, disability, race, 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 vision to develop and create value using science and engineering to benefit society. That vision lives on today. DTU has 12,000 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 and in Sisimiut in Greenland.