Développeur de langages de programmation

Poste de Développeur de Langages de ProgrammationFaire évoluer l'accélérateur interne UCT pour améliorer la traduction de code propriétaire vers des langages de programmation populaires.MissionsIdentifier les leviers pour rendre efficace un LLM sur une tâche spécialisée : comprendre les subtilités du code propriétaire pour le traduire de façon...

Poste de Développeur de Langages de ProgrammationFaire évoluer l'accélérateur interne UCT pour améliorer la traduction de code propriétaire vers des langages de programmation populaires.MissionsIdentifier les leviers pour rendre efficace un LLM sur une tâche spécialisée : comprendre les subtilités du code propriétaire pour le traduire de façon...

Poste de Développeur de Langages de ProgrammationFaire évoluer l'accélérateur interne UCT pour améliorer la traduction de code propriétaire vers des langages de programmation populaires.MissionsIdentifier les leviers pour rendre efficace un LLM sur une tâche spécialisée : comprendre les subtilités du code propriétaire pour le traduire de façon...

Poste de Développeur de Langages de ProgrammationFaire évoluer l'accélérateur interne UCT pour améliorer la traduction de code propriétaire vers des langages de programmation populaires.MissionsIdentifier les leviers pour rendre efficace un LLM sur une tâche spécialisée : comprendre les subtilités du code propriétaire pour le traduire de façon...

Développeur de langages de programmation spécialisé en GenAIRejoignez notre équipe de développement de langages de programmation spécialisée en GenAI et participez à la modernisation de patrimoines analytiques pour nos clients.MissionsIdentifier les leviers à l'état de l'art pour rendre efficace un LLM sur une tâche spécialiséeImplémenter au...

Présentation du posteNous recherchons un développeur de langages de programmation spécialisé en GenAI pour rejoindre notre équipe de modernisation de patrimoines analytiques. Vous serez chargé de traduire des codes propriétaires vers des langages de programmation populaires en utilisant les dernières avancées en GenAI.MissionsIdentifier les leviers...

Développeur Informatique WinDevManpower France recherche un développeur informatique WinDev pour rejoindre son équipe.Compétences requisesMaîtrise des langages de programmation orientés objets (WinDev, C#, Delphi)Expérience en développement informatique (3 ans minimum)Connaissance de l'anglais et de l'espagnol (un plus)ResponsabilitésAnalyser les...

Offre de postdoctorat en théorie des langages de programmation quantiquesL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.Compétences...

Offre de postdoctorat en théorie des langages de programmation quantiquesL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.MissionsLe...

MissionL'Inria PARKAS équipe étudie la génération de code et de circuits embarqués pour le contrôle de processus complexes. Nous recherchons un candidat pour collaborer avec notre équipe et nos partenaires industriels pour développer des solutions innovantes.Compétences requisesExpérience en langages de programmation et en...

Offre de posteTitre de l'offre : Postdoctorant en théorie des langages de programmation quantiquesContexte : L'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de...

Offre de postdoctoratL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.MissionsRecherche dans le cadre de l'équipe Preuves &...

Développeur de modèles d'apprentissage automatique pour la reconnaissance du langage des signesLe laboratoire recherche un développeur de modèles d'apprentissage automatique pour rejoindre son équipe de recherche en intelligence artificielle. Le candidat idéal aura une solide expérience dans le développement et la mise en œuvre de modèles...

Offre de postdoctorat en théorie des langages de programmation quantiquesL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) recherche un postdoctorant pour travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.Compétences requises : doctorat en informatique théorique...

MissionL'objectif de ce poste est de contribuer à la transformation numérique de la Cour de cassation en tant que développeur/développeuse full stack. Vous serez chargé(e) de concevoir, développer, optimiser et maintenir les applications et les sites web de la Cour.Compétences requisesConnaissance de plusieurs langages de programmation (C#, Java,...

Offre de posteL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) recherche un postdoctorant pour travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.MissionsLe postdoctorant travaillera sur les sujets suivants :Syntaxes graphiquesTypageSémantique...

Informations généralesTitre de l'offre : Postdoctorant en théorie des langages de programmation quantiquesDomaine : Informatique théoriqueContrat : CDD ScientifiqueDurée : 12 moisQuotité de travail : Temps completRémunération : à partir 3080 € BrutNiveau d'études souhaité : Niveau 8 - (Doctorat)Expérience souhaitée : IndifférentSection(s) CN...

Informations généralesTitre de l'offre : Postdoctorant en théorie des langages de programmation quantiquesDomaine : Informatique théoriqueL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes...

Informations généralesTitre de l'offre : Postdoctorat en théorie des langages de programmation quantiquesSection CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitationsL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste...

MissionL'objectif principal de ce poste est de concevoir, développer, optimiser et maintenir en condition opérationnelle le parc applicatif de la Cour de cassation. Le/la développeur(se) full stack travaillera en étroite collaboration avec l'équipe de développement pour concevoir et développer des applications web et serveurs répondant aux...