Associate Professor or DTU Tenure Track Assistant Professor in Formal Methods | Kongens Lyngby, Lyngby‐Taarbæk Municipality, Denmark | Technical University of Denmark

Position:	Associate Professor or DTU Tenure Track Assistant Professor in Formal Methods
Institution:	Technical University of Denmark
Location:	Kongens Lyngby, Lyngby‐Taarbæk Municipality, Denmark
Duties:	You will be conducting scientific research at the international level, publishing your results in highly reputed conferences and journals; You will be seeking opportunities to lead and participate in collaborative, funded research projects with academia and/or industry; You will take part in the development of our research-based teaching portfolio at the bachelor, master, and PhD levels; You will be responsible for the teaching of courses. DTU employs two working languages: Danish and English. Master and PhD courses are taught in English, while bachelor courses are taught in Danish and in English. You are expected to be fluent in at least one of these languages, and in time are expected to master both; You will contribute to the culture of collaboration at the department, and you will participate actively in joint activities aimed at developing the department and the section
Requirements:	You are an active researcher both on the foundational side and on the application side of formal methods, witnessed by a publication record at the international level; Your research focuses on quality aspects of software systems such as correctness, safety, security, performance and/or dependability; You are recognized by the international research community as an expert in your field; You are an expert in one or more of the following areas: Quantitative/probabilistic aspects of formal methods; Quantitative/probabilistic aspects of programming languages; Program verification

Text:	Associate Professor or DTU Tenure Track Assistant Professor in Formal Methods You will be conducting scientific research at the international level, publishing your results in highly reputed conferences and journals; You will be seeking opportunities to lead and participate in collaborative, funded research projects with academia and/or industry; You will take part in the development of our research-based teaching portfolio at the bachelor, master, and PhD levels; You will be responsible for the teaching of courses. DTU employs two working languages: Danish and English. Master and PhD courses are taught in English, while bachelor courses are taught in Danish and in English. You are expected to be fluent in at least one of these languages, and in time are expected to master both; You will contribute to the culture of collaboration at the department, and you will participate actively in joint activities aimed at developing the department and the section You are an active researcher both on the foundational side and on the application side of formal methods, witnessed by a publication record at the international level; Your research focuses on quality aspects of software systems such as correctness, safety, security, performance and/or dependability; You are recognized by the international research community as an expert in your field; You are an expert in one or more of the following areas: Quantitative/probabilistic aspects of formal methods; Quantitative/probabilistic aspects of programming languages; Program verification