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.
Information and application
Are you interested in joining our team? Please submit your application before April 15, 2023 via the "Apply Now" button below, including:
- a curriculum vitae (including, list of publications, research and teaching statement);
- a cover letter in which you describe your motivation and qualifications for the position.
- 2 or 3 of your publications which you deem most relevant to this vacancy.
We are an equal opportunity employer and value diversity and inclusion at our university. We encourage applications from all sections of society.
Short online interviews are planned in the middle of May. Full job interviews are scheduled on campus in June.
You are welcome to contact Marieke Huisman (m.huisman@utwente.nl) for any questions you might have.
Related vacancies
The other open positions of the Computer Science department related to e-Health and energy and sustainability are:
- Energy-efficient communication networks
- Machine Learning and AI in e-Health
- AI for (health) Coaching
- Data, systems and network security for critical infrastructures
- Energy-efficient computing continuum (IoT-edge-cloud)
About the organisation
The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and Communication Technology (ICT). With ICT present in almost every device and product we use nowadays, we embrace our role as contributors to a broad range of societal activities and as pioneers of tomorrow's digital society. As part of a people-first tech university that aims to shape society, individuals and connections, our faculty works together intensively with industrial partners and researchers in the Netherlands and abroad, and conducts extensive research for external commissioning parties and funders. Our research has a high profile both in the Netherlands and internationally. It has been accommodated in three multidisciplinary UT research institutes: Mesa+ Institute, TechMed Centre and Digital Society Institute.
Want to know more?
