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
Solinki recrute pour son client, un promoteur implanté sur l'ensemble du territoire français, spécialisé dans la...
Location: Boulogne-Billancourt , Île-De-France
Language(s): French
Date Added: 16 Jul 2025
Language(s): French
Date Added: 16 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
| All employment opportunities Téléchargez le pdf Médecins Sans Frontières, association médicale humanitaire internationale créée en , apporte une...
Location: Paris , Île-De-France
Language(s): French
Date Added: 09 Jul 2025
Language(s): French
Date Added: 09 Jul 2025
Après le succès de nos offres Matera Plateforme et Matera Syndic Coopératif, nous avons lancé Matera Local, notre offre de syndic professionnel.Tu...
Location: Paris , Île-De-France
Language(s): French
Date Added: 01 Jul 2025
Language(s): French
Date Added: 01 Jul 2025
Dans le cadre d''une transformation organisationnelle vers un modèle matriciel, un acteur de référence dans le secteur de la transition énergétique...
Location: Paris , Île-De-France
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
Skeelz est la solution de Talent Acquisition des entreprises en croissance. Skeelz sélectionne, forme et outille les meilleurs experts en recrutement...
Location: Paris , Île-De-France
Language(s): French
Date Added: 15 Jul 2025
Language(s): French
Date Added: 15 Jul 2025
Mon client, acteur reconnu dans le Retail, recrute un·e Responsable Formation pour rejoindre notre siège social à Paris.👉 Missions principales :À la...
Location: Paris , Île-De-France
Language(s): French
Date Added: 20 Jul 2025
Language(s): French
Date Added: 20 Jul 2025
Mon client, acteur reconnu dans le Retail, recrute un·e Responsable Formation pour rejoindre notre siège social à Paris.👉 Missions principales :À la...
Location: Paris , Île-De-France
Language(s): French
Date Added: 20 Jul 2025
Language(s): French
Date Added: 20 Jul 2025
En tant qu'Assistant Commercial Itinérant France vous travaillez en binôme avec le Directeur Général et l'accompagnez à travers la France pour...
Location: Saint-Thibault-Des-Vignes , Île-De-France
Language(s): French
Date Added: 15 Jul 2025
Language(s): French
Date Added: 15 Jul 2025
HR PATH GROUP Le Groupe HR Path, acteur global du conseil RH, accompagne ses clients dans leurs projets de transformation RH, tant sur les aspects...
Location: Hauts-De-Seine , Île-De-France
Language(s): French
Date Added: 13 Jul 2025
Language(s): French
Date Added: 13 Jul 2025
9 avril 2025 Acteur national du secteur de la Distribution Automatique (ventes de produits par des machines automatiques) recrute un / une...
Location: Paris , Île-De-France
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 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
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
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: Fontainebleau , Île-De-France
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Pour mon client basé en Ile de France, je suis à la recherche d''un UX Designer confirmé
Tâches
UX Research & Discovery
Identifier les besoins...
Location: Île-De-France
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
? URGENT ??? ARCHITECTECTE RESEAU DATACENTER??? FREELANCE ??? ILE DE FRANCE ???
Je suis à la recherche d?un(e) ARCHITECTECTE RESEAU DATACENTER pour...
Location: Île-De-France
Language(s): French
Date Added: 11 Jul 2025
Language(s): French
Date Added: 11 Jul 2025
Référence : ADE Localisation : Ile de France. TASTE est un cabinet de conseil en recrutement innovant, incontournable et convivial positionné depuis...
Location: Île-De-France
Language(s): French
Date Added: 19 Jul 2025
Language(s): French
Date Added: 19 Jul 2025
Chargé de contrats et budget d’essais cliniques H/F
Vous êtes passionné(e)s par le monde des sciences de la vie et de la recherche clinique ?...
Location: Ile-De-France , Île-De-France
Language(s): French
Date Added: 07 Jul 2025
Language(s): French
Date Added: 07 Jul 2025
Descriptif de la société Créé à l’initiative des chercheurs et médecins de l’Hôpital Necker-Enfants malades, l’Institut hospitalo-universitaire (IHU)...
Location: Ile-De-France , Île-De-France
Language(s): French
Date Added: 17 Jul 2025
Language(s): French
Date Added: 17 Jul 2025
Dans le cadre de notre développement et pour accompagner les projets de nos clients Grands Comptes le Groupe INTM recherche un Architecte...
Location: Ile-De-France , Île-De-France
Language(s): French
Date Added: 13 Jul 2025
Language(s): French
Date Added: 13 Jul 2025
Thématique : Ingénieur de Production DevOps (F/H) Envie d’un nouveau challenge... Rejoins-nous chez Aubay !
Notre ADN allie l’Expertise technique,...
Location: Ile De France , Île-De-France
Language(s): French
Date Added: 22 Jul 2025
Language(s): French
Date Added: 22 Jul 2025
Envie d’un nouveau challenge... Rejoins-nous chez Aubay !Notre ADN allie l’Expertise technique, Innovation, Collaboration, Engagement et Ethique !En...
Location: Ile-De-France, France, France , Île-De-France
Language(s): French
Date Added: 12 Jul 2025
Language(s): French
Date Added: 12 Jul 2025
Envie d’un nouveau challenge... Rejoins-nous chez Aubay !Notre ADN allie l’Expertise technique, Innovation, Collaboration, Engagement et Ethique !En...
Location: Ile-De-France, France, France , Île-De-France
Language(s): French
Date Added: 22 Jul 2025
Language(s): French
Date Added: 22 Jul 2025
Description de la missionLa Service Line Conseil d'Egis recherche un consultant confirmé, pour participer à des missions de conseil, de programmation...
Location: Ile-De-France , Île-De-France
Language(s): French
Date Added: 12 Jul 2025
Language(s): French
Date Added: 12 Jul 2025
