- Remote
- Vertrag
90 - 110 $ pro Stunde
... other proof assistants or dependently typed languages ( Coq/Rocq , Isabelle , Agda , Haskell ). - Experience with Lean metaprogramming or AI-for-math work such as LLM provers , Lean agent environments, or benchmarks like miniF2F , ProofNet , or PutnamBench . Compensation & Legal - W-2 employment with Cincinnatus LLC . - Equal ...
Berlin, Deutschland