description
L’organisation Fundamental AI Research (FAIR) de Meta recherche un chercheur postdoctoral pour faire progresser les modèles génératifs, en mettant l’accent sur l’apprentissage par renforcement dans les grands modèles de langage et/ou les mathématiques formelles à l’aide de Lean. Le poste comprend la conduite de recherches indépendantes, la conception d’expériences, la mise en œuvre, l’évaluation, la publication, la mise en open source, le mentorat et la collaboration interfonctionnelle. Les candidats doivent être titulaires d’un doctorat en informatique, en mathématiques ou dans une discipline quantitative similaire, ou être en train de le préparer, avoir de l’expérience dans l’entraînement, le réglage fin et l’expérimentation de modèles de fondation, et disposer d’une autorisation de travail valide dans le pays d’emploi.
