Mathematical Formalization Specialist - Remote (Argentina)
, Curry–Howard correspondence, and proof automation tools. - Experience with large‑scale formalization projects (e.g...
, Curry–Howard correspondence, and proof automation tools. - Experience with large‑scale formalization projects (e.g...
About the Role We are seeking a highly organized and detail-oriented Talent Sourcer to join our People Operations team. This role is crucial for maintaining a robust candidate pipeline, with a focus on specialized financial profiles (Acco...
with type theory, Curry–Howard correspondence, and proof automation tools. Experience with large-scale formalization projects (e.g...
, Curry–Howard correspondence, and proof automation tools. - Experience with large‑scale formalization projects (e.g...
, structured formal proofs. Nice‑to‑Haves - Familiarity with type theory, Curry–Howard correspondence, and proof automation...
-to-Have Familiarity with type theory, Curry–Howard correspondence, and proof automation tools. Experience with large-scale formalization...
, structured formal proofs. Nice‑to‑Have - Familiarity with type theory, Curry–Howard correspondence, and proof automation...
About Howard Financial Howard Financial is a full‑service back‑office solution for companies and entities...
A leading financial services firm in Argentina is looking for an experienced Controller. This role involves managing financial operations and ensuring accurate reporting for Real Estate clients. Idóneo candidates will have proven experience...
A growing financial solutions firm in Argentina is seeking a detail-oriented Talent Sourcer to join their People Operations team. This full-time role focuses on sourcing specialized financial profiles and supporting initial HR tasks. The id...