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