Job Description
Alignerr is searching for an Applied Formal Methods Researchers to work remotely, focusing on formalizing advanced mathematical proofs in Lean 4. The role requires a strong mathematical background and experience in formal verification tools.
Ideal candidates will hold a Master’s degree in a relevant field and possess skills in proof writing and analysis. Join us to contribute to cutting-edge AI projects while enjoying freelance autonomy and a flexible work schedule.
#J-18808-Ljbffr