Find your dream job now!

Click on Location links to filter by Job Title & Location.
Click on Company links to filter by Company & Location.
For exact match, enclose search terms in "double quotes".

Keywords: Howard, Location: Argentina

Page: 1

Mathematical Formalization Specialist - Remote (Buenos Aires)

, structured formal proofs. Nice-to-Have Familiarity with type theory, Curry–Howard correspondence, and proof automation tools...

Apply Now
Company: Alignerr
Location: Buenos Aires
Posted Date: 23 Dec 2025

Mathematical Formalization Specialist - Remote

, structured formal proofs. Nice-to-Have Familiarity with type theory, Curry–Howard correspondence, and proof automation tools...

Apply Now
Company: Alignerr Corp.
Location: Buenos Aires
Posted Date: 23 Dec 2025

Mathematical Formalization Specialist - Remote

with type theory, Curry–Howard correspondence, and proof automation tools. Experience with large-scale formalization projects (e.g...

Apply Now
Company: Alignerr Corp.
Location: Buenos Aires
Posted Date: 22 Dec 2025

Copyright © 2006-2025 StaffEx™ Corporation. All rights reserved.