Postdoctoral Researcher in Cyclic Programming and Reasoning

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.