Lean 4 Formalization Scientist
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
A leading AI research organization is seeking mathematicians and logicians for a fully remote role. You will translate informal mathematical proofs into Lean 4 formalizations and analyze proofs for clarity and correctness. With a Master's degree and a strong understanding of proof writing, you will collaborate with AI researchers in advancing formal verification processes. Enjoy high autonomy and flexible working conditions in a unique role at the frontier of AI research.
J-18808-Ljbffr