S'INSCRIRE
Retour aux emplois
jobtraffic
Remote Lean 4 Proof Engineer: Advanced Formalizationjobtraffic • Ireland
Trouver des emplois similaires

Cette offre d'emploi n'est plus disponible

jobtraffic

Remote Lean 4 Proof Engineer: Advanced Formalization

jobtraffic
  • IE
    Ireland
  • IE
    Ireland
Trouver des emplois similaires

À propos

A leading AI verification company is seeking a Lean 4 Proof Engineer to influence AI systems through formal mathematics.
Make sure to apply quickly in order to maximise your chances of being considered for an interview Read the complete job description below.
This fully remote role requires expertise in translating informal proofs into machine-verifiable structures.
The ideal candidate holds a Master's or PhD in Mathematics or a related field and has hands-on experience with Lean 4.
Responsibilities include analyzing proofs, collaborating with AI researchers, and constructing clear proof scripts.
This position offers freelance autonomy with intellectually challenging work. 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