theorema

50 ofertas de empleo de theorema en Argentina. Encuentra ofertas actualizadas diariamente de los principales portales de empleo.


  • distrito ciudad de maipú, mendoza, Argentina Alignerr Corp. Jornada completa

    Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...


  • santa fe, Argentina Alignerr Corp. Jornada completa

    Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...


  • quilmes, buenos aires, Argentina Alignerr Corp. Jornada completa

    Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...

  • Mathematics Expert

    Hace 7 días


    municipio de rincón de los sauces, neuquén, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We...

  • Mathematics Expert

    Hace 7 días


    comisión de fomento de perú, la pampa, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We...

  • Mathematics Expert

    Hace 7 días


    santa fe, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We...

  • Mathematics Expert

    Hace 7 días


    córdoba, provincia de córdoba, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We...

  • Mathematics Expert

    Hace 7 días


    buenos aires, ciudad autónoma de buenos aires, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We...

  • Mathematics Expert

    Hace 7 días


    neuquén, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We...


  • córdoba, provincia de córdoba, Argentina Alignerr Corp. Jornada completa

    Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...


  • comisión de fomento de perú, la pampa, Argentina Alignerr Corp. Jornada completa

    Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...

  • Mathematics Expert

    Hace 2 semanas


    córdoba, provincia de córdoba, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...

  • Mathematics Expert

    Hace 2 semanas


    municipio de rincón de los sauces, neuquén, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...

  • Mathematics Expert

    Hace 2 semanas


    , , argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...

  • Mathematics Expert

    Hace 2 semanas


    neuquén, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...

  • Mathematics Expert

    Hace 2 semanas


    santa fe, Argentina Anyone AI Inc. Jornada completa

    Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...