Doctorant Vérification Formelle de l’IA — Confiance

il y a 2 semaines

Palaiseau, France Thales Group Temps plein

Une entreprise de haute technologie recherche un doctorant en Vérification formelle d'IA. Le candidat évaluera des outils de vérification pour les réseaux de neurones et proposera une méthodologie d'IA de confiance. Il faudra des compétences en logique, IA, programmation, ainsi qu'un niveau d'anglais et de français B2-C1. Ce poste à Palaiseau offre un environnement dynamique au sein d'un laboratoire de recherche innovant.
#J-18808-Ljbffr

  • Doctorant en Vérification formelle d'IA

    il y a 2 semaines

    Palaiseau, Île-de-France Thales Temps plein

    Lieu : Palaiseau, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Doctorant en Vérification formelle d'IA

    il y a 2 semaines

    Palaiseau, France Thales Group Temps plein

    Doctorant en Vérification formelle d'IA (H/F) page is loaded## Doctorant en Vérification formelle d'IA (H/F)remote type: On-Sitelocations: Palaiseautime type: Full timeposted on: Posted Todayjob requisition id: R0310341Lieu : Palaiseau, France## **Construisons ensemble un avenir de confiance**Thales est un leader mondial des hautes technologies...

  • Doctorant en Vérification formelle d'IA

    il y a 2 semaines

    Palaiseau, Île-de-France Thales Temps plein

    Lieu : Palaiseau, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Ingénieur en Vérification formelle d’algorithmes à base d’IA

    il y a 3 semaines

    Palaiseau, France Thales - CortAIx Factory (AI by Thales) Temps plein

    Lieu : Palaiseau, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et...

  • STAGE – Ingénieur en Vérification formelle d'algorithmes à base d'IA

    il y a 2 semaines

    Palaiseau, Île-de-France Thales Temps plein

    Lieu : Palaiseau, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • STAGE – Ingénieur en Vérification formelle d'algorithmes à base d'IA

    il y a 2 semaines

    Palaiseau, Île-de-France Thales Temps plein

    Lieu : Palaiseau, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • STAGE – Ingénieur en Vérification formelle d'algorithmes à base d'IA

    il y a 2 jours

    Palaiseau Polytechnique, France Thales Temps plein

    Lieu : Palaiseau, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Post-doctorant ou Post-doctorante en Méthodes Formelles Pour La Sécurité Des Systèmes Communicants

    il y a 1 semaine

    Palaiseau, France Institut Mines-Télécom Temps plein

    **Présentation de Télécom SudParis**: Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l’excellence scientifique de son corps professoral et une pédagogie mettant l’accent sur les projets d’équipes, l’innovation de...

  • Post-doctorante ou Post-doctorant en Vérification de Systèmes Multi-agents

    il y a 2 jours

    Palaiseau, France Institut Mines-Télécom Temps plein

    **Qui sommes-nous ?** Télécom Paris, école de l’IMT (Institut Mines-Télécom) et membre fondateur de l’Institut Polytechnique de Paris, est une grande école du top 5 des écoles d’ingénieurs généralistes françaises. La **Raison d’Être** de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des...

  • Post-doctorante ou Post-doctorant en Intelligence

    il y a 4 jours

    Palaiseau, France Institut Mines-Télécom Temps plein

    **Qui sommes-nous ?** Télécom Paris, école de l’IMT (Institut Mines-Télécom) et membre fondateur de l’Institut Polytechnique de Paris, est une grande école du top 5 des écoles d’ingénieurs généralistes françaises. La Raison d’Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des technologies et...