The Context
The Computer Science department of the University of Twente is expanding. Therefore, we are hiring 6 new faculty members, to strengthen our research in Artificial Intelligence, Cyberphysical systems and Software Engineering in the domains of (1) e-Health and (2) energy and sustainability. These new faculty members will be assigned in different research groups, but inter-group collaboration with other researchers working on these themes is considered essential to reach our overall ambitions. One of the six positions is in the Formal Methods and Tools group (FMT) and focusses on research in energy and sustainability.

The Position
The Formal Methods and Tools group develops and implements mathematical methods, high-performance data structures and algorithms, and suitable programming languages for the design of reliable software- and data-intensive control systems. One important aspect that we would like to consider more prominently in our work is the energy consumption of such systems. Therefore, we are looking for somebody with expertise on energy-efficient software development. Areas that we are interested in are for example the modelling of energy usage of software (possibly considering different hardware models for execution), techniques to estimate the energy consumption of software, and techniques that can be used to (automatically) reduce the energy consumption of software. We are interested in integrating such techniques in many of the techniques that we develop within FMT. We also are interested in collaborating with the other groups within the CS department on this topic.

The Formal Methods and Tools group is an internationally well-known group of researchers in the area of formal methods and software engineering. Their research covers a wide range of different tools and techniques. The group is quickly growing: it currently consists of 4 full-time full professors, 2 associate professors and 8 assistant professors. In addition, several part-time full professors are associated to the group. The FMT group has an open and welcoming atmosphere, where there is room for both scientific and social interactions.

• You have a strong interest and have shown ability to collaborate in an academic, multidisciplinary environment;
• You have a PhD degree in Computer Science, Electrical Engineering, or related discipline;
• You have demonstrated the ability to perform high-quality research in a field relevant to the theme of energy and sustainability and to research done in the FMT group;
• You have shown a willingness to acquire external funding and are prepared to expand your skills in this respect;
• You have good communication skills and are a team player;
• You are fluent in English (knowledge of, or willingness to learn Dutch is an advantage);
• You have a University Teaching Qualification (Dutch: BKO) or equivalent, or you are willing to acquire one within three years.

• We offer a permanent position with a one-year probationary period (formally a 1-year contract with prospect of permanent contract).
• The position comes with a start-up package that will be allow you to appoint one PhD student.
• Our terms of employment are in accordance with the Dutch Collective Labor Agreement for Universities (CAO) and include a holiday allowance of 8% of the gross annual salary and a year-end bonus of 8.3%.
• Depending on your relevant background and experience, the gross monthly salary on a full-time basis ranges from € 3974,- (scale 11) to € 7362,- (scale 14) gross per month.
• A minimum of 29 leave days in case of full-time employment based on a formal workweek of 38 hours. A fulltime employment in practice means 40 hours a week, therefore resulting in 96 extra leave hours on an annual basis.
• A solid pension scheme.
• Free access to sport facilities on campus.
• We are a family-friendly institution, which offers parental leave for both parents (both paid and unpaid) and career support for partners.
• We appreciate diversity of profiles, cultures, and backgrounds, and promote an inclusive working culture.
• Furthermore, we offer excellent professional and personal development programs.
• Finally, you will work in a lively, inspiring, and dynamic working environment in an organization focusing on internationalization, where you will have a high degree of responsibility and independence.