Remote Lean 4 Formal Methods Researcher

Alignerr is seeking Applied Formal Methods Researchers to transform informal mathematical proofs into formal Lean 4 representations. This role offers the chance to work at the forefront of mathematics and AI research, in a fully remote and flexible environment.

The ideal candidate holds a Master's degree and has extensive experience with formal verification tools. The position requires translating informal arguments into structured proofs while collaborating with research teams.