beBeeFormalization Jobs in United Kingdom

Mathematical Researcher Opportunity · This is a challenging and rewarding role for experienced mathematicians who are passionate about formal verification and proof assistants. As a mathematical researcher, you will be responsible for translating informal mathematical proofs into ...

Lean 4 Proof Engineer - Mathematical Formalization Expert · A renowned researcher is seeking a skilled Lean 4 Proof Engineer with expertise in mathematical formalization to collaborate on groundbreaking projects. · Translate informal mathematical arguments into structured proofs ...