Job Description

Lean 4 Proof Engineer - Mathematical Formalization

Apply for the Lean 4 Proof Engineer - Mathematical Formalization role at Alignerr .

Base Pay Range

  • $70.00/hr - $150.00/hr

Location

  • Remote

Role Ov...

Apply for this Position

Ready to join Alignerr? Click the button below to submit your application.

Submit Application