Job description
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.
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.