Chercheur postdoctoral en méthodes ensemblistes pour la vérification de réseaux de neurones
il y a 4 semaines
Postdoctorat en méthodes ensemblistes pour la vérification de réseaux de neurones
Missions
Le chercheur postdoctoral contribuera à la tâche 3.1 (Au-delà de la robustesse de la classification locale) et à la tâche 2.3 (Architectures de réseaux neuronaux avancées) du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR IA.
Activités
Méthodes ensemblistes, méthodes formelles, intelligence artificielle, robustesse et explicabilité.
Compétences
Thèse de doctorat en informatique, méthodes ensemblistes et/ou méthodes formelles.
Contexte de travail
Le chercheur postdoctoral bénéficiera de l'environnement passionnant de LIX et interagira avec les membres du projet SAIF.
Contraintes et risques
N/A
-
Palaiseau, Île-de-France CNRS Temps pleinPrésentation du posteLe CNRS recherche un chercheur postdoctoral pour travailler sur les méthodes ensemblistes pour la vérification de réseaux de neurones. Le candidat sélectionné contribuera à la tâche 3.1 du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR IA.MissionsLe chercheur postdoctoral contribuera à la vérification des...
-
Palaiseau, Île-de-France CNRS Temps pleinPostdoctorat en méthodes ensemblistesLe postdoctorat contribuera à la tâche 3.1 (Au-delà de la robustesse de la classification locale) et à la tâche 2.3 (Architectures de réseaux neuronaux avancées) du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR IA.MissionsLe premier objectif est la vérification des propriétés de...
-
Postdoctoral Researcher for Ensemble Methods in Network Verification
il y a 2 semaines
Palaiseau, Île-de-France CNRS Temps pleinOutils de travail Le postdoctorant contribuera à l'avancement des méthodes ensemblistes pour la vérification de réseaux de neurones dans le cadre du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR IA. Les objectifs principaux de ce poste sont l'étude des propriétés de robustesse généralisées des réseaux de...
-
Spécialiste en Explorations Formelles de Réseaux de Neurones
il y a 5 jours
Palaiseau, Île-de-France CNRS Temps pleinPrésentation du posteLe LIX, une unité mixte de recherche CNRS et École Polytechnique, cherche un spécialiste en explorations formelles de réseaux de neurones pour rejoindre son équipe Cosynus. Le candidat aura pour mission de développer des abstractions garanties pour prouver la robustesse des réseaux de neurones.Description du projetL'objectif est...
-
Palaiseau, Île-de-France CNRS Temps pleinOffre de recherche scientifiqueLe CNRS recherche un chercheur postdoctoral/une chercheuse postdoctorale pour rejoindre le Groupe de Supra du Laboratoire Albert Fert.MissionsLe chercheur ou la chercheuse sera impliqué dans la fabrication de jonctions et dispositifs supraconducteurs, ainsi que dans leur caractérisation via des mesures de transport...
-
Chercheur Postdoctoral en Silicium Supraconducteur
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinOffre de PostdoctoratLe CNRS recherche un chercheur postdoctoral pour rejoindre son équipe de recherche en physique des solides. Le poste est axé sur la réalisation, la caractérisation et la mesure des propriétés structurelles et de transport de dispositifs supraconducteurs entièrement constitués de silicium.MissionsLe chercheur postdoctoral...
-
Palaiseau, Île-de-France CNRS Temps pleinOffre de recherche :Le CNRS recherche un chercheur postdoctoral/une chercheuse postdoctorale pour rejoindre le Groupe de Supra du Laboratoire Albert Fert.Missions :Le chercheur ou la chercheuse sera impliqué dans la fabrication de jonctions et dispositifs supraconducteurs, ainsi que dans leur caractérisation via des mesures de transport électrique ac/dc...
-
Chercheur postdoctoral en nanotechnologie
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Chercheur postdoctoral en nanotechnologieRéférence : UMR9001-FEDPAN-002Nombre de postes : 1Lieu de travail : PALAISEAUType de contrat : CDD ScientifiqueDurée du contrat : 12 moisDate d'embauche prévue : 1 janvier 2025Quotité de travail : Temps completRémunération : 3081,33 - 3519,85 €/moisNiveau...
-
Chercheur postdoctoral en spintronique, SOT-MRAM
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Chercheur postdoctoral en spintronique, SOT-MRAM (H/F)MissionsNous recherchons un candidat postdoctoral en spintronique pour mener des recherches dans le domaine de la commutation par couple spin-orbite (SOT) dans des dispositifs spintroniques avancés à anisotropie magnétique perpendiculaire.ActivitésLes...
-
Chercheur postdoctoral en spintronique, SOT-MRAM
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Chercheur postdoctoral en spintronique, SOT-MRAM (H/F)Référence : UMR9001-DAFRAV-003Nombre de postes : 1Lieu de travail : PALAISEAUDomaine de recherche : Nanomagnétisme et spintroniqueMissions : Nous recherchons un chercheur postdoctoral en spintronique pour mener des recherches dans le domaine de la...
-
Chercheur postdoctoral en nanotechnologie
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinPrésentation du posteNous recherchons un chercheur postdoctoral hautement motivé et talentueux pour rejoindre notre équipe et contribuer à un projet passionnant axé sur la croissance de nanofils semi-conducteurs (NWs) en utilisant à la fois les techniques de dépôt chimique en phase vapeur (CVD) et d'épitaxie par jets moléculaires (MBE). Le projet...
-
Chercheur postdoctoral en physique des particules
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinContexte de la rechercheLe Laboratoire Leprince Ringuet (LLR) est un laboratoire CNRS/IN2P3, Ecole polytechnique / Institut Polytechnique de Paris, qui effectue de la recherche en physique des particules et astroparticules. Le groupe LHCb du LLR est fortement impliqué dans le programme de physique des ions lourds de l'expérience LHCb, notamment dans sa...
-
Palaiseau, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Chercheur postdoctoral en supraconductivité des nickelates à couche infinieRéférence : CNRSNombre de postes : 1Lieu de travail : PalaiseauType de contrat : CDD ScientifiqueDurée du contrat : 12 moisDate d'embauche prévue : 1 janvier 2025Quotité de travail : Temps completRémunération : 3081 et 3520...
-
Chercheur postdoctoral en nanotechnologie
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinProjet de rechercheNous recherchons un chercheur postdoctoral hautement motivé et talentueux pour rejoindre notre équipe et contribuer à un projet passionnant axé sur la croissance de nanofils semi-conducteurs (NWs) en utilisant à la fois les techniques de dépôt chimique en phase vapeur (CVD) et d'épitaxie par jets moléculaires (MBE). Le projet...
-
Chercheur postdoctoral en physique des particules LHCb cible fixe
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Chercheur postdoctoral en physique des particules LHCb cible fixeDomaine de recherche : Physique des particulesContexte de travail : Le Laboratoire Leprince Ringuet (LLR) est un laboratoire CNRS/IN2P3, Ecole polytechnique / Institut Polytechnique de Paris, situé à Palaiseau.MissionsLe chercheur postdoctoral...
-
Palaiseau, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Chercheur postdoctoral en supraconductivité des nickelates à couche infinieRéférence : UMR137-LUCIGL-002Nombre de postes : 1Lieu de travail : CNRSType de contrat : CDD ScientifiqueDurée du contrat : 12 moisQuotité de travail : Temps completRémunération : 3081 et 3520 € brut selon expérienceNiveau...
-
Ingénieur Chercheur en Vérification et Validation de Systèmes IA F/H
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre'Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité.'EN SYNTHESE, QU'EST-CE QUE NOUS VOUS PROPOSONS ?Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e)...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de PosteL'Institut du Traitement Automatique du Langage (LASTI) du CEA recherche un chercheur postdoctoral pour travailler sur un projet de recherche visant à exploiter les technologies du Traitement Automatique des Langues (TAL) pour automatiser l'extraction d'informations dans le domaine des matériaux.Le projet vise à explorer...
-
Chercheur Postdoctoral en Silicium Supraconducteur
il y a 1 mois
Palaiseau, Île-de-France CNRS Temps pleinOffre de PostdoctoratLe groupe EPLA du Département Matériaux du C2N recherche un chercheur postdoctoral pour travailler sur la réalisation, la caractérisation et la mesure des propriétés structurelles et de transport de dispositifs supraconducteurs entièrement constitués de silicium. Les couches minces de Si supraconducteur seront réalisées par...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre Le CEA recherche un Ingénieur-Chercheur pour rejoindre son équipe de recherche en informatique quantique. Le candidat idéal aura une expertise en méthodes formelles et une expérience dans le développement de logiciels pour la programmation quantique. Les principaux chantiers à l'œuvre sont : La vérification...