Delft University of Technology (@tudelft.nl) is hiring:
Postdoctoral Researcher in Cyclic Programming and Reasoning
#postdoc
---
Job ID: 3410
Extract: 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.