The Semantics, Cybersecurity and Services (SCS) group and the Formal Methods and Tools (FMT) group at the University of Twente are looking for a full-time postdoc to join their research team. The prospective candidate will perform research at the intersection of software security, with a focus on automation, and formal methods, with a focus on program verification, and they will design novel software analysis techniques to characterize and mitigate vulnerabilities. The precise work plan for the position will be worked out as the intersection of the expertise of the candidate and the supervisors.
As the candidate postdoc, you will be appointed full-time for one year (after which a contract extension will be evaluated), and you are expected to perform high-quality research and implement open-source research prototypes that the community can benefit from. The SCS and the FMT groups are internationally recognized in the broad areas of systems and data security and formal methods, and they provide a unique collaborative and friendly atmosphere, in which researchers have considerable freedom in picking their projects and receive substantial support from supervisors and colleagues. We publish in top-tier conferences to maximize our visibility and impact, and we can guide you toward becoming a top researcher and boosting your CV.
Information and application
Are you interested in this position? Please submit your application before January 25, 2025, via the ‘Apply now’ button below and include:
* A motivation letter (maximum 2 pages A4), emphasizing your specific interest, qualifications, and motivation to apply for a research position in this area.
* A detailed Curriculum Vitae, including publications, academic awards, and your working experience
For more information, please contact dr.ir. Andrea Continella (a.continella@utwente.nl) or Prof.dr. Marieke Huisman (m.huisman@utwente.nl).
About the department
The SCS and FMT groups are part of the Computer Science department of the University of Twente. Each group consists of approximately 40 researchers with a very diverse background. The department has an open and inclusive atmosphere, and each group has many group activities (both work-related and fun).
Digitalization brings many new opportunities for businesses and governments by fostering the development of innovative online services. However, this development also brings new challenges, notably in terms of intelligence, interoperability, security and privacy. The mission of the SCS group is to realize the vision of meaningful computing within trusted digital environments by advancing the forefront of semantic modelling, enhancing cybersecurity, and innovating service design.
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 the safety, reliability, performance, and energy usage of complex systems and the risks and costs associated with their architecture, design, operation and maintenance.
Both SCS and FMT are involved in the Twente University Centre for Cybersecurity Research (TUCCR). TUCCR is a public-private partnership where experts, professionals, entrepreneurs, researchers, and students from industry and knowledge partners collaborate to deliver talents, innovations, and know-how in the domain of cybersecurity. The mission of TUCCR is to strengthen the security and digital sovereignty of our society by performing top-level research on real-world data, systems, and network security challenges. To achieve significant societal impact, TUCCR combines technical, socio-economic, and ethical know-how and is equipped with state-of-the-art infrastructure, ranging from security labs, testbeds, and data lakes.
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?
