Remote Lean 4 Proof Engineer - Mathematical Formalization Jobs

2 jobs available

Lean 4 Proof Engineer - Mathematical Formalization

Expired Remote
Alignerr · $70 - $200
Lean 4 Coq Isabelle/HOL Agda
1 month ago

Lean 4 Proof Engineer - Mathematical Formalization

Expired Remote
Alignerr · Seattle, WA · $70 - $200
Lean 4 Coq Isabelle/HOL Agda
1 month ago

Related Searches

Entry Level Lean 4 Proof Engineer - Mathematical Formalization Junior Lean 4 Proof Engineer - Mathematical Formalization