[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Vacancy: Assistant/Associate Professor Energy-efficient Software Development
University of Twente, Netherlands
Formal Methods and Tools group
https://urldefense.com/v3/__https://utwentecareers.nl/en/vacancies/1087/assistantassociate-professor-energy-efficient-software-development/__;!!IBzWLUs!VUQ23TwIDsvSIA0WXiYX40h540QqZI6bmqJ9TDPwfFOTVsp0BYWmvul-YrjOOVmefZQTz3ka0Rcnu45wszqhm4BNmD99r5QDJejd$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Futwentecareers.nl*2Fen*2Fvacancies*2F1087*2Fassistantassociate-professor-energy-efficient-software-development*2F&data=05*7C01*7Cm.huisman*40utwente.nl*7Cf62c8c13d363441a647d08db18d8e09f*7C723246a1c3f543c5acdc43adb404ac4d*7C0*7C0*7C638131091975788313*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=TRxx6OwoIuk3nGi85wkjGsfj2*2FIBXTyJxlsgbYwSqTk*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!VUQ23TwIDsvSIA0WXiYX40h540QqZI6bmqJ9TDPwfFOTVsp0BYWmvul-YrjOOVmefZQTz3ka0Rcnu45wszqhm4BNmD99r9PZoIOy$
>
-- 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.
-- Our offer
• 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.
-- Your Profile
You have a strong interest and have shown ability to collaborate in an
academic, multidisciplinary environment.
We encourage you to apply if:
• 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.
-- How to apply
Are you interested in joining our team?
Please submit your application before April 15, 2023 via
https://urldefense.com/v3/__https://utwentecareers.nl/en/vacancies/1087/assistantassociate-professor-energy-efficient-software-development/__;!!IBzWLUs!VUQ23TwIDsvSIA0WXiYX40h540QqZI6bmqJ9TDPwfFOTVsp0BYWmvul-YrjOOVmefZQTz3ka0Rcnu45wszqhm4BNmD99r5QDJejd$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Futwentecareers.nl*2Fen*2Fvacancies*2F1087*2Fassistantassociate-professor-energy-efficient-software-development*2F&data=05*7C01*7Cm.huisman*40utwente.nl*7Cf62c8c13d363441a647d08db18d8e09f*7C723246a1c3f543c5acdc43adb404ac4d*7C0*7C0*7C638131091975788313*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=TRxx6OwoIuk3nGi85wkjGsfj2*2FIBXTyJxlsgbYwSqTk*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!VUQ23TwIDsvSIA0WXiYX40h540QqZI6bmqJ9TDPwfFOTVsp0BYWmvul-YrjOOVmefZQTz3ka0Rcnu45wszqhm4BNmD99r9PZoIOy$
>
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
([email protected]<mailto:[email protected]>) 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)
