Remote Lean 4 Proof Engineer (Mathematical Formalization)

Alignerr

ScreenedRemote

Glasgow, Scotland

Posted 3 days ago

Apply Now

About the role

Alignerr is seeking a Lean 4 Proof Engineer to remotely translate advanced mathematical reasoning into machine-verifiable code. This role demands strong skills in formal proof systems, enabling candidates to work at the forefront of AI research.

The ideal candidate will hold a Master’s degree in Mathematics, have hands-on experience with Lean 4, and a passion for rigorous formal argumentation. Join us to push the boundaries of mechanized mathematics while enjoying flexible working arrangements.

#J-18808-Ljbffr

About this listing

Screened by Joboru

This role passed our automated spam and quality filters and was active in our feed when last checked. Joboru is an aggregator — here is how we screen listings. If anything looks off, tell us.