and experience with formal proof systems like Lean. Idóneo candidates have a strong foundation in rigorous proof writing, a passion... arguments into precise, machine-verifiable formalizations. This remote role requires a Master's degree or higher in Mathematics...
and experience with formal proof systems like Lean. Idóneo candidates have a strong foundation in rigorous proof writing, a passion... arguments into precise, machine-verifiable formalizations. This remote role requires a Master’s degree or higher in Mathematics...