21 job opportunities for formal proof in United Kingdom updated today
job offers found
· Page 1 / 2
AlignerrLocation: Remote. Organization Alignerr Position Researcher – Lean 4 & Formal Proof Systems Employment Type Hourly Contract Compensation $70–$150 /hour Location Remote Commitment 10–40 hours/week Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands‑
AlignerrA cutting-edge AI research company is seeking a Researcher to develop formal proofs in Lean for advanced AI projects. The ideal candidate will have a Master's degree in Mathematics or a closely related field and experience with proof mining using Lean. Responsibilities include translating informal p
AlignerrOverview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
AlignerrOverview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
AlignerrLocation: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrLocation: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrOverview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
AlignerrLocation: Remote. Organization Alignerr Position Researcher – Lean 4 & Formal Proof Systems Employment Type Hourly Contract Compensation $70–$150 /hour Location Remote Commitment 10–40 hours/week Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands‑
AlignerrA leading AI research firm seeks a Researcher to formalize mathematical proofs in Lean. Ideal candidates have a Master's in Mathematics and experience with proof assistants. Responsibilities include translating proofs into Lean, analyzing gaps in arguments, and contributing to formal verification st
AlignerrA leading AI research organization is seeking a Researcher to work on formal proof systems. This role emphasizes translating informal mathematical proofs into formal structures using Lean. Ideal candidates will have a master’s degree in mathematics or related fields and experience in rigorous proof
AlignerrLocation: Remote About the job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting‐edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‐edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrLocation: Remote About the job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting‐edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‐edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrA leading AI research firm seeks a Researcher to formalize mathematical proofs in Lean. Ideal candidates have a Master's in Mathematics and experience with proof assistants. Responsibilities include translating proofs into Lean, analyzing gaps in arguments, and contributing to formal verification st
AlignerrA cutting-edge AI research company is seeking a Researcher to develop formal proofs in Lean for advanced AI projects. The ideal candidate will have a Master's degree in Mathematics or a closely related field and experience with proof mining using Lean. Responsibilities include translating informal p
AlignerrOverviewLocation: Remote At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pus
AlignerrOverviewLocation: Remote At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pus
AlignerrOverviewLocation: Remote At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pus
AlignerrOverviewLocation: Remote At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pus
AlignerrOverviewLocation: Remote At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pus
AlignerrOverviewLocation: Remote At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pus
£20,000 – £32,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.
Find formal proof job offers in the top cities in United Kingdom