Offres d'emploi et de stage
Founded in 2008, the Inria Saclay Research Centre is located at the heart of the Paris-Saclay scientific and technological excellence hub, which alone accounts for 15% of French research activity.
Supporting the development of Université Paris-Saclay and the Institut Polytechnique de Paris, the Inria Saclay Research Centre brings together 80 staff members working in research support services and 500 scientists representing 54 nationalities.
Inria.fr
Morphism est une société à mission convaincue que le réseau social doit rester un levier d’émancipation citoyenne plutôt qu’un instrument de manipulation de masse. Son ambition est de contribuer à un Internet où chaque voix humaine peut se faire entendre sans être noyée par les robots et les discours artificiellement amplifiés. Morphism est une société technologique qui contribue à l’émergence de nouveaux modèles d’IA de représentation probabiliste des réseaux, d’identification des comptes inauthentiques et d’actions pour moduler leur viralité.
At Formel AI, we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and cost-efficient.
careers@formel.ai
At Formel AI, we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and cost-efficient.
careers@formel.ai
At Formel AI, we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and cost-efficient.
careers@formel.ai
At Formel AI, we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and cost-efficient.
careers@formel.ai
At [Formel AI](https://formel.ai/), we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and cost-efficient.
careers@formel.ai
Le laboratoire de Génie Électrique et Électronique de Paris (GeePs) est une unité mixte CNRS, CentraleSupelec, Université Paris-Saclay et Sorbonne Université.
Marc.Lambert@CentraleSupelec.fr
Yarui.Zhang@ens-paris-saclay.fr
Le Laboratoire Antidopage Français (LADF), unité de service et de recherche de l’université Paris-Saclay, seul laboratoire antidopage accrédité en France par l’agence mondiale antidopage et certifié par le Comité Français d’Accréditation (norme ISO 17025), développe actuellement une solution d’intelligence artificielle innovante pour la détection par spectrométrie.
magali.delia@universite-paris-saclay.fr
Le laboratoire des signaux et systèmes (L2S) est une unité mixte de recherche (UMR 8506) du CNRS, de CentraleSupélec et de l’Université Paris-Saclay, créée en 1974. Les recherches abordées au L2S portent sur les aspects mathématiques fondamentaux et appliqués de la théorie du contrôle, du traitement des signaux et des images, de la théorie de l’information et des communications.
charles.soussen@centralesupelec.fr
nicolas.gac@universite-paris-saclay.fr