S'INSCRIRE
Retour aux emplois
jobtraffic
Remote Lean 4 Proof Engineer: Formalization & Verificationjobtraffic • Ireland
Trouver des emplois similaires

Cette offre d'emploi n'est plus disponible

jobtraffic

Remote Lean 4 Proof Engineer: Formalization & Verification

jobtraffic
  • IE
    Ireland
  • IE
    Ireland
Trouver des emplois similaires

À propos

A leading mathematics and computer science firm is seeking a Lean 4 Proof Engineer to join their team.
For a complete understanding of this opportunity, and what will be required to be a successful applicant, read on.
This remote role focuses on translating informal mathematical proofs into formalizations, requiring a Master's degree and strong experience with Lean and rigorous proof writing.
Candidates will collaborate on advanced AI projects, develop formal proofs, and analyze existing mathematical arguments.
Enjoy competitive pay, flexible work hours, and the opportunity to work on cutting-edge projects in formal verification. xcfaprz
#J-18808-Ljbffr
Remote working/work at home options are available for this role.
  • Ireland

Compétences linguistiques

  • English
Avis aux utilisateurs

Cette offre a été publiée par l’un de nos partenaires. Vous pouvez consulter l’offre originale ici.

Trouver des emplois similaires