Post-Doctorant F/H Formally verified alignements for better interactive proof assistants
Inria
France
Summary
Post-doctoral research visit exploring AI safety with formal methods: scalable proof transfer, automated proof repair, and AI-assisted verification. Develop formal-tooling and apply to industry-relevant safety tasks; contribute to scholarly publications and advance safe AI.
