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
Description du poste Aquila RH, agence d'intérim et de recrutement spécialisée, recherche un(e) Vendeur de Pièces Automobiles H/F pour l'un de ses...
Location: La Rochelle , Nouvelle-Aquitaine
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
Description du poste Description de l'entreprise
RM Intérim - La Rochelle est votre partenaire emploi au cœur de la Charente-Maritime.
Notre agence...
Location: La Rochelle , Nouvelle-Aquitaine
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Req ID:489004
Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter....
Location: La Rochelle , Nouvelle-Aquitaine
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
Req ID:484462
Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter....
Location: La Rochelle , Nouvelle-Aquitaine
Language(s): French
Date Added: 15 Jul 2025
Language(s): French
Date Added: 15 Jul 2025
À la tête des entreprises qui s’engagent vers un avenir plus vert, Alstom développe et commercialise des solutions de mobilité qui apportent les...
Location: La Rochelle , Nouvelle-Aquitaine
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: 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
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: Saint-Nazaire , Pays De La Loire
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 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
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: Montargis , Centre-Val De Loire
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 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
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: Dijon , Burgandy
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 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: Rennes , Brittany
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 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: Bordeaux , Aquitaine
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 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: Clermont-Ferrand , Auvergne
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 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: Nice , Provence-Alpes-Côte D''azur
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 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: Bordeaux , Nouvelle-Aquitaine
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 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: Toulon , Provence-Alpes-Côte D''azur
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 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: Montpellier , Occitanie
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
Le poste Rejoins AMPER !Nous recherchons un(e) Aide à domicile (H/F), avec une expérience souhaitée, pour intervenir sur THEIX, LA TRINITE-SURZUR,...
Location: La Trinité-Surzur , Brittany
Language(s): French
Date Added: 18 Jul 2025
Language(s): French
Date Added: 18 Jul 2025
Mission Vous occupez une place primordiale aux côtés du Chef de cuisine pour les préparations culinaires du restaurant en secteur entreprise. Vous...
Location: Saint-Pierre-La-Palud , Rhone-Alpes
Language(s): French
Date Added: 28 Jun 2025
Language(s): French
Date Added: 28 Jun 2025
De quel type de traduction avez-vous besoin ? Traduction.\nPour quelle langue avez-vous besoin de services de traduction ? Arabe.\nCombien de mots...
Location: Rillieux-La-Pape , Auvergne-Rhône-Alpes
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
