The University of Twente is offering a full-time postdoctoral position focused on software security and formal methods, aiming to develop innovative techniques for vulnerability mitigation. The role involves conducting cutting-edge research on software analysis, fuzzing, static analysis, program verification, and formal specifications. Candidates should hold a PhD in Computer Science or a related field, with a strong background in systems and software security, formal verification, and programming. Responsibilities include designing new analysis techniques, developing open-source prototypes, and contributing to top-tier publications and collaborative research efforts.
