Seeking postdoctoral researcher to advance program verification with AI-driven proof discovery, embedding Separation Logic in Lean, and automating proofs for concurrent programs. Collaborate with open verification libraries, publish in peer-reviewed venues, build reproducible pipelines, and advan...