Topic description isabelle_dedukti est un outil qui extrait des preuves d'Isabelle et les traduit en Lambdapi, un langage qui, à son tour, peut être...
Location: Gif-Sur-Yvette , Île-De-France
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Le job Adéquat Notre agence Adéquat de la roche sur Yon accompagne son client dans le recrutement d'un(e) Plaquiste expérimenté(e) pour son...
Location: La Roche-Sur-Yon , Pays De La Loire
Language(s): French
Date Added: 13 Jul 2025
Language(s): French
Date Added: 13 Jul 2025
Le job Adéquat Notre agence Adéquat de la roche sur Yon accompagne son client dans le recrutement d'un (e)Maçon expérimenté (e) pour son site de...
Location: La Roche-Sur-Yon , Pays De La Loire
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
Traduire Les Preuves Coq Ou Lean Dans Isabelle/HOL // Translating Coq Or Lean Proofs To Isabelle/HOL
Topic description Il existe déjà des traducteurs de systèmes basés sur la théorie des types simples vers des systèmes basés sur la théorie des types...
Location: Gif-Sur-Yvette , Île-De-France
Language(s): French
Date Added: 15 Jul 2025
Language(s): French
Date Added: 15 Jul 2025
Contexte et atouts du poste Avec l’Intelligence Artificielle, les GPUs deviennent de plus en plus spécialisés pour l’accélération de Réseaux de...
Location: Gif-Sur-Yvette , Île-De-France
Language(s): French
Date Added: 13 Jul 2025
Language(s): French
Date Added: 13 Jul 2025
Description du posteDans le cadre d’un surcroît d’activité au sein de notre Division Internationale, nous recrutons un CDD pour une période de 4 mois....
Location: Lyon , Auvergne-Rhône-Alpes
Language(s): French
Date Added: 03 Jul 2025
Language(s): French
Date Added: 03 Jul 2025
Description du posteDans le cadre d’un surcroît d’activité au sein de notre Division Internationale, nous recrutons un CDD pour une période de 4 mois....
Location: Lyon , Auvergne-Rhône-Alpes
Language(s): French
Date Added: 08 Jul 2025
Language(s): French
Date Added: 08 Jul 2025
FAREVA est l''un des leaders mondiaux de la sous-traitance industrielle. Nous formulons, fabriquons et conditionnons les produits de nos clients dans...
Location: La Roche-De-Glun , Auvergne-Rhône-Alpes
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
FAREVA est l''un des leaders mondiaux de la sous-traitance industrielle. Nous formulons, fabriquons et conditionnons les produits de nos clients dans...
Location: La Roche-De-Glun , Auvergne-Rhône-Alpes
Language(s): French
Date Added: 20 Jul 2025
Language(s): French
Date Added: 20 Jul 2025
STAGE – ASSISTANT(E) CHEF DE PROJET TRADUCTION – JUILLET 2025 (H/F) Position LA MAISON PARFUMS CHRISTIAN DIOR
Depuis 1947, les femmes et les hommes...
Location: France ,
Language(s): French
Date Added: 15 Jul 2025
Language(s): French
Date Added: 15 Jul 2025
L'équipe SAMSIC EMPLOI de la Roche sur Yon recherche pour son client, acteur majeur de la fabrication de modulaire basé à BOURNEZEAU, des :...
Location: Bournezeau , Pays De La Loire
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
L'équipe SAMSIC EMPLOI de la Roche sur Yon recherche pour son client, acteur majeur de la fabrication de modulaire basé à BOURNEZEAU, des :...
Location: Bournezeau , Pays De La Loire
Language(s): French
Date Added: 05 Jul 2025
Language(s): French
Date Added: 05 Jul 2025
Description du poste Vous êtes passionné par la mécanique de précision et vous souhaitez développer vos compétences dans le domaine de l'automobile ou...
Location: Sablé-Sur-Sarthe , Pays De La Loire
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
TEMPORIS Vendée Littoral, plus qu'une agence, c'est une équipe engagée et implantée localement depuis plus de 5 ans sur le territoire vendéen. Nous...
Location: Les Achards , Pays De La Loire
Language(s): French
Date Added: 08 Jul 2025
Language(s): French
Date Added: 08 Jul 2025
À propos de nous
Nantes Université est un établissement public d’enseignement supérieur et de recherche qui propose un modèle d’université inédit en...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 15 Jul 2025
Language(s): French
Date Added: 15 Jul 2025
Pourquoi vous allez adorer travailler avec nousUne vraie méthode qui fonctionne (et qu’on vous transmet sans retenue)Un esprit d’équipe sincère :...
Location: Saint-Nazaire , Pays De La Loire
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Votre missionAdecco Ivry recrute un formateur h/f.Secteur activité : optiqueLieu : Ivry Sur Seine (94)Salaire : 35k€/40K€ brutContrat : intérim sur...
Location: Ivry-Sur-Seine , Île-De-France
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
Smarteo recherche pour l''un de ses clients, Un Data Scientist sur Machine Learning / Deep Learning ayant une expérience sur IA Gen sur Nantes...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 12 Jul 2025
Language(s): French
Date Added: 12 Jul 2025
Informations généralesIntitulé de l'offre : Assistant (H/F) chargé de la valorisation du Centre de recherche sur la Corée
Référence :...
Location: Aubervilliers , Île-De-France
Language(s): French
Date Added: 20 Jul 2025
Language(s): French
Date Added: 20 Jul 2025
Mission Vous occupez une place primordiale aux côtés du Chef de cuisine pour les préparations culinaires du restaurant. Vous réalisez avec des...
Location: Lagny-Sur-Marne , Île-De-France
Language(s): French
Date Added: 17 Jul 2025
Language(s): French
Date Added: 17 Jul 2025
A propos de l'entreprise :
Véritable leader de la restauration collective, le groupe DUPONT RESTAURATION est une entreprise familiale qui ne...
Location: Lagny-Sur-Marne , Île-De-France
Language(s): French
Date Added: 17 Jul 2025
Language(s): French
Date Added: 17 Jul 2025
Plus particulièrement, vous serez amené à :Développer le relationnel client par un accueil convivial et des conseils personnalisés grâce à votre...
Location: Villeneuve-Sur-Lot , Nouvelle-Aquitaine
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
Mission Vous occupez une place primordiale aux côtés du Chef de cuisine pour les préparations culinaires du restaurant au sein d'un EHPAD. Vous...
Location: Boulogne-Sur-Mer , Nord-Pas-De-Calais
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
Informations généralesIntitulé de l'offre : Doctorat : Effets des changements climatiques abrupts prévus sur la biodiversité (H/F)
Référence :...
Location: Montpellier , Occitanie
Language(s): French
Date Added: 17 Jul 2025
Language(s): French
Date Added: 17 Jul 2025
Description :
L’ISCOD, spécialiste de la formation en Digital Learning, recherche pour son entreprise partenaire, leader européen de la distribution...
Location: Ivry-Sur-Seine , Île-De-France
Language(s): French
Date Added: 16 Jul 2025
Language(s): French
Date Added: 16 Jul 2025
