Delft University of Technology
Posted: 1 June 2026 - Delft, Netherlands
This postdoc position focuses on developing verification tools for Rust programs using proof assistants. The role involves designing methods for verifying cyclic structures in software, contributing to foundational research, and collaborating within a multi-site consortium.