Postdoc Position in Software Security: The University of Twente is seeking a highly motivated and enthusiastic researcher for a full-time postdoctoral position in the Semantics, Cybersecurity and Services (SCS) group and the Formal Methods and Tools (FMT) group. This role focuses on performing cutting-edge research at the intersection of software security and formal methods.
Title: Postdoc Position in Formal Methods for Software Security
Designation: Postdoctoral Researcher
Research Area:
- Software Security
- Formal Methods
- Automation
- Program Verification
- Vulnerability Mitigation
Location: University of Twente, Enschede, Netherlands
Eligibility/Qualification:
- PhD degree in Computer Science or a related field
- Strong publication record or nearing completion of PhD
- Solid background in systems and software security and/or formal verification
- Proficiency in programming and tool development
- Experience with fuzzing, static analysis, program verification, and formal specifications
- Excellent analytical, creative, and communication skills
- Fluency in English
Job Description:
As a postdoctoral researcher, your responsibilities will include:
- Conducting high-quality research in software security and formal methods.
- Designing and implementing novel software analysis techniques to identify and mitigate vulnerabilities.
- Developing open-source research prototypes to benefit the broader community.
- Collaborating within a friendly and internationally-oriented research environment.
- Publishing in top-tier conferences to enhance visibility and impact in the field.
- Contributing to the unique collaborative spirit of the SCS and FMT groups.
How to Apply:
Interested candidates should submit their applications before the deadline. The application should include:
- A motivation letter (maximum 2 pages A4) outlining your interest and qualifications for the position.
- A detailed Curriculum Vitae, including a list of publications and prior academic awards.
Applications can be submitted through the provided ‘Apply now’ button on the University of Twente website.
Last Date to Apply: January 25, 2025
For more information, please contact Dr. Andrea Continella at a.continella@utwente.nl or Prof. Marieke Huisman at m.huisman@utwente.nl.
Join us at the University of Twente to be part of a dynamic and impactful research environment advancing the fields of cybersecurity and formal methods!
