Associate/Assistant Professor in Formal Methods

Within the DTU Compute section on Formal Methods, we invite applications for an appointment as assistant or associate professor within techniques and tools for the implementation of programming languages. The position is available from May 2017 or according to mutual agreement.

Our department DTU Compute is an internationally unique academic environment spanning the science disciplines mathematics, statistics and computer science. At the same time we are an engineering department covering informatics and communication technologies (ICT) in their broadest sense. Finally, we play a major role in addressing the societal challenges of the digital society where ICT is a part of every industry, service, and human endeavour.

DTU Compute strives to achieve research excellence in its basic science disciplines, to achieve technological leadership in research and innovation, and to address societal challenges in collaboration with partners at DTU and other academic institutions, nationally and internationally, and, equally important, with industry and organizations. We communicate and collaborate with leading centres and strategic partners in order to increase participation in major consortia.

DTU Compute plays a central role in education at all levels of the engineering programmes at DTU - both in terms of our scientific disciplines and our didactic innovation.

The section on Formal Methods has a strong focus on the interplay between modelling, analysis and realisation of systems; this is present in our research as well as our teaching. Our key competences are within semantics, program analysis, model checking, language based security, and software tools. We strongly believe that Formal Methods cover the key components for constructing a reliable and trustworthy IT infrastructure.

Responsibilities and tasks
With this position, we want to strengthen our teaching and research competences within programming language implementation. This may involve the construction of compilers or interpreters - often for domain specific languages or process calculi aimed at supporting a specific computational paradigm. We are looking forward to a colleague that can interact with our current activities in the modelling and analysis of a variety of IT systems - often with applications motivated by safety and security. 

The duties of an assistant professor include research-based teaching, 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 eventually 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. The qualification requirements for the post of associate professor correspond to the level that is achievable through employment as an assistant professor.

At DTU Compute, we value knowledge sharing and cross functionality. Therefore, you are expected to cooperate and be eager to build relations with colleagues in the department and with other departments of DTU.

You are expected to participate in departmental teaching at all levels so you should value visionary and meaningful communication. The teaching will cover Bachelor-, Master- and PhD-level courses. Bachelor courses are taught in Danish, other courses in English. Non-Danish speakers are not disqualified for the role, but will be trained in Danish in order to participate in teaching on all levels.

Qualifications
Candidates for an

• Assistant Professorship must hold a PhD degree (or equivalent)
• Associate Professorship must hold a PhD degree (or equivalent) as well as academic qualifications equivalent to those obtained by holding an Assistant Professorship and should document didactic/pedagogic training. 

For both positions the key qualification requirements are as follows:

• Documented scientific production/publication and research potential to become an international leader in your field.
• Ability and desire to contribute to the section’s national and international collaborative efforts, including the dissemination of research results and research-based innovation in society.

 At DTU we value flexibility, self-motivation and knowledge sharing as well as a natural interest in collaboration and taking personal responsibility. You should find it stimulating to work in small teams where different members contribute different skills so as to form a high-performance team.

Assessment
In the assessment of the candidates consideration will be given to

• experience in teaching and education
• scientific production and research potential at an international level
• the ability to promote and utilize research results
• an all-round experience basis, preferably including international experience
• the ability to contribute to development of internal and external cooperation

For the specific position consideration will also be given to your previous activities in conducting research and teaching (or tutoring) within programming language implementation. Courses on compiler construction are part of the teaching portfolio of the section. We value a broad basis in areas like the construction of compilers and interpreters - including the realisation of domain specific languages and process calculi.

We offer
DTU offers an interesting and challenging job in an international environment focusing on education, research, scientific advice and innovation which contribute to enhancing the economy and improving social welfare. We strive for academic excellence, collegial respect and freedom tempered by responsibility. DTU is a leading technical university in northern Europe and benchmarks with the best universities in the world. 

Salary and terms of employment

The appointment will be based on the collective agreement with the Confederation of Professional Associations. The allowance will be agreed with the relevant union.

The position as associate professor and assistant professor is permanent. The assistant professor will after a maximum of 4 years transfer to a position as associate professor provided that the employee is recommended for assessment and is deemed qualified. More information can be found here: Career paths at DTU.

You will be located at the DTU Campus in Kgs. Lyngby but may have to teach also at the DTU Campus in Ballerup.

Further information
Further information may be obtained from Head of Section, Professor Hanne Riis Nielson, tel.: +45 4525 3736, e-mail: hrni@dtu.dk.  

You can read more about DTU Compute on www.compute.dtu.dk/english and about the section on Formal Methods on www.compute.dtu.dk/english/research/FM.

Application procedure
Please submit your online application no later than 5 February 2017. Apply online via "Ansøg" link.  

Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link "Apply online," fill in the online application form, and attach all your materials in English in one PDF file. The file must include:

• Application (cover letter)
• CV
• Diploma (MSc/PhD)
• List of publications (applicants applying for the position as associate professor should indicate scientific highlights)
• H-index, and ORCID (see e.g. http://orcid.org/)
• Documentation for teaching experience (e.g. in the form of a teaching portfolio - applicants applying for the position as associate professor)

In the field “Please indicate which position you are applying for” please indicate whether you are applying for 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.

Please write in your application that you've seen the job at Jobfinder