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
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
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
ICM Investissement Clés en Main est une société spécialisée dans l’investissement immobilier locatif clés en main, à destination des Conseillers en...
Location: Saint-Nazaire , Pays De La Loire
Language(s): French
Date Added: 27 Jul 2025
Language(s): French
Date Added: 27 Jul 2025
Assistant(e) chef de projet et wedding planner Référence : Etablissement : Nantes Domaine : MBA Manager de Projet...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 19 Jul 2025
Language(s): French
Date Added: 19 Jul 2025
Ingénieur conseil : -Aide le client à planifier, concevoir et mettre en œuvre les produits, services et solutions Cisco. -Il dirige la conception, la...
Location: Loiré , Pays De La Loire
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
Dans le cadre de la transformation digitale de la fonction RH, le/la Chef(fe) de Projet ERP RH sera en charge de piloter la mise en œuvre de solutions...
Location: Loiré , Pays De La Loire
Language(s): French
Date Added: 27 Jul 2025
Language(s): French
Date Added: 27 Jul 2025
A propos de l'entreprise :
Partnaire, chercheur de talents en CDI, CDD et Intérim, vous propose de nombreuses opportunités d'emploi quel que...
Location: Angers , Pays De La Loire
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
A propos de l'entreprise :
Nextep HR, filiale du groupe Domino RH, est un cabinet de recrutement et d'approche directe reconnu pour son...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 27 Jul 2025
Language(s): French
Date Added: 27 Jul 2025
ONOS Talents est un cabinet de recrutement par approche directe, où chaque profil proposé résulte d''une sélection rigoureuse, exigeante, et d''une...
Location: Laval , Pays De La Loire
Language(s): French
Date Added: 27 Jul 2025
Language(s): French
Date Added: 27 Jul 2025
Conseiller de clientèle Essentiel Expérimenté Réseau d'agences et banque en ligne CDI Nantes, Pays de Loire, France Télétravail possible Référence...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Conseiller de Clientèle Premium Réseau d'agences et banque en ligne CDI Nantes, Pays de Loire, France Télétravail possible Référence 25000C6S Date...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 14 Jul 2025
Language(s): French
Date Added: 14 Jul 2025
propose des formations Bac +5 dans les différents domaines. Grâce à notre réseau d’entreprises partenaires, découvre tes futures missions....
Location: Laval , Pays De La Loire
Language(s): French
Date Added: 16 Jul 2025
Language(s): French
Date Added: 16 Jul 2025
propose des formations Bac +5 dans les différents domaines. Grâce à notre réseau d’entreprises partenaires, découvre tes futures missions....
Location: Laval , Pays De La Loire
Language(s): French
Date Added: 27 Jul 2025
Language(s): French
Date Added: 27 Jul 2025
Description du poste et missions : Rattaché(e) directement au CEO de la Division Power System, vous l'assistez au quotidien dans le...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
L'école de management à Laval propose des formations Bac +5 dans les différents domaines. Grâce à notre réseau d’entreprises partenaires,...
Location: Laval , Pays De La Loire
Language(s): French
Date Added: 13 Jul 2025
Language(s): French
Date Added: 13 Jul 2025
A propos de l'entreprise :
En tant que Vendeur comptoir H/F vous êtes le premier point de contact de notre clientèle professionnelle en...
Location: Carquefou , Pays De La Loire
Language(s): French
Date Added: 19 Jul 2025
Language(s): French
Date Added: 19 Jul 2025
Présentation de la sociétéCabinet de recrutement spécialisé "tech", la mission d’Externatic est de faciliter la rencontre entre candidats et...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 22 Jul 2025
Language(s): French
Date Added: 22 Jul 2025
Ingénieur logiciel Java/Ingénieure logiciel JavaChoisir Capgemini, c''est choisir une entreprise où vous serez en mesure de façonner votre carrière...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 17 Jul 2025
Language(s): French
Date Added: 17 Jul 2025
Ingénieur logiciel Java/Ingénieure logiciel JavaChoisir Capgemini, c''est choisir une entreprise où vous serez en mesure de façonner votre carrière...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 15 Jul 2025
Language(s): French
Date Added: 15 Jul 2025
- Développement de la visibilité de l'entreprise (pour capter de nouveaux clients) - Devenir #1 sur Google en créant du contenu efficace et...
Location: Nantes , Pays De La Loire
Language(s): French
Date Added: 16 Jul 2025
Language(s): French
Date Added: 16 Jul 2025
Lieu : Cholet, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs...
Location: Cholet , Pays De La Loire
Language(s): French
Date Added: 27 Jul 2025
Language(s): French
Date Added: 27 Jul 2025
Vous recherchez une alternance en Formation Digitale durant laquelle vous pourrez avoir de réelles responsabilités et de l'autonomie ? Vous souhaitez...
Location: Laval , Pays De La Loire
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
Entreprise :Lactalis, n°1 mondial des produits laitiers, a forgé sa singularité à travers une histoire familiale unique, aujourd''hui partagée par 85...
Location: Laval , Pays De La Loire
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
ÉLECTRIFIANTES NOUVELLES EN VUE !
À la recherche d'un emploi CHARGÉ D'ÉNERGIE ?
Le courant passe plutôt bien entre vous et les circuits électriques...
Location: Venansault , Pays De La Loire
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
