Remote Researcher: Lean 4 & Formal Proofs for AI
Job descriptionA leading AI research partner is seeking a Researcher for Lean 4 & Formal reputed company Systems. This remote role involves translating informal proofs into machine-reputed company formalizations, requiring a Master's in Mathematics or a reputed company field. Candidates should have hands-on experience with Lean and a strong reputed company in mathematical reasoning. The position offers reputed company and reputed company t
Apply tot his job
Apply To this Job