Postdoctoral research position in formal methods with expertise in type theory, proof theory, and logical frameworks. Investigate dynamic, formalized proofs using proof assistants and formal semantics. Fixed-term, renewable; PhD required; research-focused role for academics and researchers.