Alignerr is looking for Applied Formal Methods Researchers who will work remotely on formalizing advanced mathematical proofs in Lean 4. This role involves translating informal proofs, analyzing domain-specific assumptions, and improving verification pipelines. Candidates should have a Master's degree in a relevant field and a strong foundation in rigorous proof writing and experience with formal systems. The position offers flexible hours and the opportunity to work on cutting-edge AI research.#J-18808-Ljbffr