Skip to main content.
- Profile
- Sign Out
View More Jobs
Associate Professor or DTU Tenure Track Assistant Professor in Formal Methods - DTU Compute
Kgs. Lyngby, Denmark
Job Description
Do you believe that formal methods are crucial to ensure high quality in software systems? Do you want to establish your career as a computer scientist in this area? Do you want to educate new generations of computer scientists and engineers in this area?
You might find your place as a new associate professor or tenure-track assistant professor in the Software Systems Engineering Section at DTU Compute. We are looking for new colleagues to join our vision of a digital society supported by software systems that are built, assessed and improvedaccording to solid scientific foundations, engineering principles and societal values. Formal methods are central in our research and teaching activities.
Responsibilities
- 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.
Qualifications
- 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
- You are genuinely curious about other people's research activities, and you like to explore research collaborations with colleagues inside and outside your network.
As a formal qualification you must hold a PhD degree (or equivalent). If you are applying for the associate professor position you should also have academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic/pedagogic training.
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 allowance will be agreed upon with the relevant union.
The tentative starting date is 1 January 2025. According to mutual agreement earlier starting dates in late 2024 or early 2025 are possible. The position is a full-time position.
The assistant professor position is part of DTU’s Tenure Track program. Read more about the program and the recruitment process here .
You can read more about career paths at DTU here .
Further information
Further information may be obtained from Head of Section Alberto Lluch Lafuente ([email protected] ). You are welcome to contact him before submitting the formal application.
You can read more about DTU Compute’s section for Software Systems Engineering here and about DTU Compute at www.compute.dtu.dk .
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
Please submit your online application no later than Wednesday, 15 May 2024 (23:59 Danish time).
Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link “Apply now”, 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
- CV including employment history, list of publications (applicants applying for the position as associate professor should indicate scientific highlights), H-index, 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)
You can learn more about the recruitment process here .
Please indicate whether you are applying for the position as Associate or Assistant Professor.
Applications received after the deadline will not be considered.
All interested candidates irrespective of age, gender, disability, race, religion or ethnic background are encouraged to apply.
DTU Compute is a unique and internationally recognized academic department with around 440 employees and 10 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.
Apply Now
Job Info
- Job Identification 3409
- Job Category VIP A
- Posting Date 04/04/2024, 05:21 AM
- Apply Before 05/15/2024, 05:59 PM
- Locations Matematiktorvet, Kgs. Lyngby, 2800, DK
© MapTiler © OpenStreetMap contributors © Oracle Corporation Terms Legal Notices
search.maps.scroll-zoom-message-desktop
search.maps.scroll-zoom-message-mobileMatematiktorvet, Kgs. Lyngby, 2800, DK
Copy to Clipboard
×
Similar Jobs
Associate Professor or Tenure Track Assistant Professor in Healthcare Operations and Analytics – DTU Management
Kgs. Lyngby, Denmark Posted on 03/08/2024The Department of Technology, Management and Economics is looking for an associate or tenure track assistant professor in the area of Healthcare Operations & Analytics. Do you want to shape the future of healthcare in the era of digitalization with a focus on quantitative research? Then we have the right opportunity for you.
Associate Professor(s) or DTU Tenure Track Assistant Professor(s) in Cyber-Physical Systems and Computing Continuum - DTU Compute
Kgs. Lyngby, Denmark Posted on 03/26/2024Associate Professor(s)/Assistant Professors in Cyber-Physical Systems: Drive innovation in dependability & sustainability within computing continuum. Shape research & education in an expanding, impactful environment.
Associate Professor or Tenure Track Assistant Professor in Supply Chain Management – DTU Management
Kgs. Lyngby, Denmark Posted on 03/08/2024Research in supply chain management has never been more important. Therefore, we are enhancing our research team in supply chain management at the Department for Technology, Management, and Economics (DTU Management) at DTU. If you aspire to pursue a university career in supply chain management, we look forward to receiving your application.
Associate Professor or DTU Tenure Track Assistant Professor in Biological and Biotech Wastewater Treatment - DTU Sustain
Kgs. Lyngby, Denmark Posted on 02/05/2024
TrendingThe Department of Environmental and Resource Engineering at the Technical University of Denmark invites applications for a faculty position specializing in biological processes in wastewater treatment and resource recovery.
See More Jobs
Page Associate Professor or DTU Tenure Track Assistant Professor in Formal Methods - DTU Compute - DTU Career Site Careers loaded
American English Dansk American English
I am an employee
Are You Still With Us?
It seems you've been gone for a while. For security reasons we will end your session automatically in 03:00 unless you would like to continue working.
End Session Continue Working
Work Summary
This summary is generated by AI Assist. Click inside the summary text box to make changes as necessary.
Discard Add Summary
Similar Positions
-
Ceitec But Ph.D. Position Quantification And Digitization Of Composite Structure Using Sparse, Fast Imaging Concept, Brno University of Technology, Central European Institute of Technology, Czech, 15 days ago
15 Apr 2024 Job Information Organisation/Company Brno University of Technology, Central European Institute of Technology Research Field Physics » Other Physics » Optics Physics » Electronics Physi...
-
Doctoral Student In Analytical Chemistry With Focus On Cell Based Miniaturized Electroanalytical Systems (Pa2024/1113) , University of Lund, Sweden, about 18 hours ago
Analytical chemistry is one of the fundamental chemistry subjects that aims at developing new analytical techniques and methods to identify, quantify and study the structure and function of molecu...
-
Tenure Track Assistant Professor Or Tenured Associate Professor Of Comparative Literature, Aarhus University, Denmark, about 13 hours ago
The School of Communication and Culture at Aarhus University invites applications for the position of tenure-track assistant professor or tenured associate professor of comparative literature base...
-
Accelerated Deep Learning Approaches For Vibro Acoustic Digital Twins Vamor Dc2, KU Leuven, Belgium, 20 days ago
10 Apr 2024 Job Information Organisation/Company KU Leuven Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Country Belgium Application Deadline 3...
-
Development Of Model Reduction Framework Of Multi Physical Acoustics Vamor Dc1, KU Leuven, Belgium, 6 days ago
24 Apr 2024 Job Information Organisation/Company KU Leuven Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Country Belgium Application Deadline 7...
-
Doctoral Candidates In Statistics And Probability, University of Luxembourg, Luxembourg, 13 days ago
17 Apr 2024 Job Information Organisation/Company University of Luxembourg Research Field Mathematics » Other Researcher Profile First Stage Researcher (R1) Country Luxembourg Application Deadline ...