🚨 Attention aspiring PhD students 🚨 Meta / FAIR is looking for candidates for a joint academic/industry PhD! Keywords: AI for Math & Code. LLMs, RL, formal and informal reasoning. You will be co-advised by prof. @Amaury_Hayat from ecole des ponts and yours truly. You'll have the opportunity to collaborate with the excellent FAIR codegen team and fellow FAIR PhD students in Paris, have access to state of the art pre- and post-training infra, and significant amounts of compute. A joint industry / academic PhD gives you the best of both worlds: academic freedom, open science & open source, a ton of compute, and talented colleagues working as a team. Ideal candidates should have strong engineering & experimentation skills, strong math skills, and a solid understanding of ML & RL foundations. We want to move fast so apply ASAP at the link below!