Remote Lean 4 Researcher — Formal Proofs (Contract)

Alignerr seeks a Researcher specializing in Lean 4 and Formal Proof Systems to transform informal mathematical proofs into rigorous formalizations. This is a unique opportunity to influence AI research at its core.

The ideal candidate will hold a Master’s degree, possess strong proof construction skills, and have experience with proof assistants like Lean 4 or Coq. The role is fully remote, allowing for a flexible schedule while engaging in intellectually stimulating work.

#J-18808-Ljbffr…