Alignerr, a cutting-edge AI company, is seeking a Researcher specializing in Lean and formal proof systems. This remote position involves translating mathematical proofs into precise, machine-verifiable formalizations, focusing on high-level verification techniques. The ideal candidate will have a Master's degree or higher in Mathematics, Logic, or a related field, along with strong skills in writing rigorous proofs. The company offers competitive compensation and flexible working hours.#J-18808-Ljbffr