Lean 4 Proof Engineer - Mathematical Formalization
About the Job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting...: Alignerr Position Position: Lean 4 Proof Engineer – Mathematical Formalization Type Type: Hourly Contract Compensation...
Lugar: Veracruz, Ver. | 14/03/2026 18:03:31 PM | Salario: S/. 70 - 150 per hour | Empresa: Alignerr