Formal Proof Systems Researcher (Lean) - Remote
hace 4 días
This remote role offers competitive pay, flexibility, and an opportunity to work on cutting-edge AI projects. You will be responsible for translating informal mathematical proofs into Lean, analyzing proofs, and collaborating with researchers on formal verification.