Lean 4 Proof Engineer - Mathematical Formalization Jobs

2 jobs available

Remote (2) Entry Level (2) Junior (2)

Lean 4 Proof Engineer - Mathematical Formalization Jobs by Location

Seattle, WA (1)

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 Job Titles

Software Engineer, Global Payment Privacy 198 Software Developer 143 Senior Software Engineer 32 Full Stack Engineer (Java, Angular with AWS) 25 Senior Quality Assurance Engineer 20 Network Engineer 19 Data Engineer 18 Systems Engineer 18