Are you looking for a Postdoc position after finishing your PhD? Apply now!
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).
