Mathematical Formalization Specialist (Buenos Aires)
-ended problems Nice to Have - Familiarity with type theory, the Curry–Howard correspondence, and proof automation...
Lugar: Buenos Aires | 23/06/2026 17:06:20 PM | Salario: S/. No Especificado | Empresa: Alignerr