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
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
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
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
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: Saint-Nazaire , Pays De La Loire
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
Vos missions -plaquiste peintre Votre profilcontact Isabelle Référence: 11IG220520250910
Location: Revel , Occitanie
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
De quel type de traduction avez-vous besoin ? Traduction.\nPour quelle langue avez-vous besoin de services de traduction ? Français.\nCombien de mots...
Location: 8Th Arrondissement Of Paris , Île-De-France
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 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: Bezons , Île-De-France
Language(s): French
Date Added: 22 Jul 2025
Language(s): French
Date Added: 22 Jul 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
De quel type de traduction avez-vous besoin ? Traduction.\nPour quelle langue avez-vous besoin de services de traduction ? Français.\nCombien de mots...
Location: Dijon , Bourgogne-Franche-Comté
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
De quel type de traduction avez-vous besoin ? Traduction.\nPour quelle langue avez-vous besoin de services de traduction ? Français.\nCombien de mots...
Location: Saulxures-Sur-Moselotte , Alsace-Champagne-Ardenne-Lorraine
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
Descriptif du poste Profil recherché De formation peinture automobile /carrossier.Vous êtes soigneux et faites preuves d'autonomie.
Location: Pougues-Les-Eaux , Bourgogne-Franche-Comté
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
Traduire vers : italien.\nNombre de pages : 3-4.\nQuel type de projet ? Un seul projet.\nQuand avez-vous besoin de traduction d’italien ? Dans les...
Location: Menton , Provence-Alpes-Côte D'azur
Language(s): French
Date Added: 19 Jul 2025
Language(s): French
Date Added: 19 Jul 2025
Traduire vers : Français.\nNombre de pages : 1-2.\nQuel type de projet ? Un seul projet.\nQuand avez-vous besoin de traduction de portugais ? Je suis...
Location: Nice , Provence-Alpes-Côte D'azur
Language(s): French
Date Added: 20 Jul 2025
Language(s): French
Date Added: 20 Jul 2025
Traduire vers : Français.\nNombre de pages : 1-2.\nQuel type de projet ? Un seul projet.\nY a-t-il autre chose que le traducteur de portugais devrait...
Location: Valbonne , Provence-Alpes-Côte D'azur
Language(s): French
Date Added: 20 Jul 2025
Language(s): French
Date Added: 20 Jul 2025
