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. Ideal candidates will have a Master's degree or higher in Mathematics, Logic, or a related field and strong skills in writing rigorous proofs. Competitive compensation and flexible working hours are offered.
#J-18808-Ljbffr