[TYPES/announce] assistant/associate professor in formal methods and programming, at University of Twente, Netherlands
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Formal Methods and Tools (FMT) group of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) of the University of Twente is looking for an Assistant/Associate Professor in the area of formal methods and programming. You will teach in - and contribute to the degree programmes of Computer Science and Creative Technology, and you will participate in the teaching program of specialized courses related to Software Technology in Computer Science. In particular, the candidate is expected to contribute to programming education in the first and second year of Creative Technology, as well teaching a course on Principles of Programming, Processes and Patterns Programming and supervising Software Technology students during their Industrial Software Engineering Project. The FMT Group: The mission of FMT is to develop mathematical methods, high-performance data structures and algorithms, and suitable programming languages for the design of reliable software- and data-intensive control systems. We focus on modelling, synthesis, analysis, prediction, and maintenance of their functional, structural and quantitative aspects. We aim to understand a complex systems’ safety, reliability, performance, energy usage and the risks and costs associated to its architecture, design, operation, and maintenance. Our mission builds on extensive experience in concurrency theory, static analysis, theorem proving, language design, model checking and term/graph rewriting. More information about the group: https://www.utwente.nl/en/eemcs/fmt/ FMT embraces scholarship in learning and teaching. We are proudly involved in education at all levels: In undergraduate and graduate university curricula, primary and secondary schools, teacher education, extracurricular programs, and post-graduate teaching. We use the classroom setting in our research, co-publish with students, and do active research on educational research. FMT has is an open and welcoming group. We value social interaction and transparency, and we value the input of all members of the group. Your profile You have a strong interest and shown ability to collaborate in an academic, multidisciplinary environment. A successful candidate will also demonstrate her or his intrinsic motivation and strong abilities for teaching at the bachelor and master level, and to various groups of students. You have excellent communication skills, allowing efficient interaction with colleagues. Furthermore, we encourage you to apply if: * You have a PhD degree in Computer Science or a related discipline; * You are capable of strengthening the FMT group; * You have strong abilities for high-quality research and teaching in a multidisciplinary context; * You are effective in acquiring external funding; * 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 are willing to acquire one within three years. Our offer * We offer a fulltime structural position, starting with a temporary appointment with the prospect of a permanent position after a positive evaluation; * 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 € 3.746,- to € 6.940,- 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; * 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. Information and application Are you interested in joining our team? Please submit your application before the 14th of July 2021, via https://www.utwente.nl/en/organisation/careers/!/50/, 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. You are welcome to contact prof.dr. M. Huisman via m.huis...@utwente.nl<mailto:m.huis...@utwente.nl>, for any questions you might have. About the organization 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 Tech
[TYPES/announce] PhD position on Embedded Systems Verification at University of Twente, Netherlands
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for a PhD candidate for a 4-year project on Formal Methods for Embedded Systems, as part of SAVES (ScAlable Verification of industrial Embedded control Systems), a collaboration with the University of Münster (WWU Münster). You will be working on the SAVES project, carried out in collaboration with prof. dr. Paula Herber (University of Twente / WWU Münster). The overall goal of SAVES is to investigate methods and tools to establish correctness of embedded systems. With trends such as Industry 4.0, the internet of things, and autonomous driving, the complexity of embedded systems is steadily increasing. A prerequisite to ensure the correct functioning of industrial embedded systems under all circumstances is a clear understanding of the models and languages that are used in the development process. Formal methods provide a basis to make the development process systematic, well-defined, and automated. However, for many industrially relevant languages and models, the semantics are only informally defined. Together with the limited scalability of formal design and verification techniques, this makes the formal verification of industrial embedded control systems a difficult challenge, which can not be solved satisfactory with currently available methods and tools. At the same time, we see that in the area of deductive program verification, powerful techniques and tools have been developed to reason about software with unbounded parameters, for example the VerCors tool suite. In this project, we will extend these techniques with concepts to cope with heterogeneity, concurrency, and real-time to make them suitable for industrial embedded systems. The PhD candidate hired at the University of Twente will be supervised by Marieke Huisman and Paula Herber and will work on extensions of the methods and tools developed in the FMT group for embedded systems, in close collaboration with the Embedded Systems group in Münster. For further information about the group, see https://www.utwente.nl/en/eemcs/fmt/. For further information about the project, see https://www.utwente.nl/en/eemcs/fmt/research/projects/saves/. YOUR PROFILE * You have a MSc degree in Computer Science (or equivalent); * You have a thorough theoretical background and a demonstrable interest in embedded or cyber-physical systems, and ideally some prior experience with embedded systems design, formal methods, and/or interactive theorem provers; * You are an enthusiastic student, skilled in exact and abstract thinking; * You are proficient in English on an academic level. OUR OFFER The terms of employment are in accordance with the Dutch Collective Labour Agreement for Universities (CAO) and include: * A fulltime PhD position for four years, with a qualifier in the first year; * Full status as an employee at the UT, including pension and health care benefits; * The salary will range from € 2.395 (1st year) to € 3.061,- (4th year) per month, plus a holiday allowance of 8% and a year-end bonus of 8.3%; * A solid pension scheme; * Excellent facilities for professional and personal development; * A green and lively campus, with lots of sports facilities and other activities. INFORMATION AND APPLICATION Are you interested in this position? Please send your application via https://www.utwente.nl/en/organisation/careers/!/2021-425/phd-position-on-embedded-systems- before 5th of July and include: * A cover letter (explaining your specific interest and qualifications); * A detailed Curriculum Vitae; * A list of all courses + marks and a short description of your MSc thesis; * References (contact information) of two scientific staff members. The deadline of application is July 5, 2021 or until the position is filled. Starting date of the position is as soon as possible, or to be discussed. For further information, you can contact Prof.dr.ir. Paula Herber: https://www.uni-muenster.de/EmbSys/team/herber/ or Prof.dr. Marieke Huisman: https://wwwhome.ewi.utwente.nl/~marieke/ DEPARTMENT In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. Our central goal is to increase the reliability of the software that we rely on, as individuals and as society. We primarily target complex concurrent ICT systems, embedded in a technological context or in a distributed environment. The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the Digital Systems Institute (DSI). Our institute was ranked first at the most recent research national assessment. ORGANIZATION The faculty of Electrical Engineering, Mathematics and Computer Science