S'INSCRIRE
Retour aux emplois
jobtraffic
Lean 4 Formal Verification Scientist (Mathlib) – Remotejobtraffic • Ireland
Trouver des emplois similaires

Cette offre d'emploi n'est plus disponible

jobtraffic

Lean 4 Formal Verification Scientist (Mathlib) – Remote

jobtraffic
  • IE
    Ireland
  • IE
    Ireland
Trouver des emplois similaires

À propos

An AI research partner is seeking a Formal Verification Scientist to work remotely.
Considering applying for this job Do not delay, scroll down and make your application as soon as possible to avoid missing out.
This role focuses on writing advanced mathematical proofs in Lean and analyzing proof structures.
Ideal candidates hold a Master’s degree in Mathematics or a related field and possess hands-on experience with proof languages.
Flexible hours and competitive compensation are offered, along with the opportunity to collaborate on cutting-edge AI research. 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