Ingénieur en Production pour la Coq Platform

il y a 4 semaines


Antibes, Provence-Alpes-Côte d'Azur, France Inria Temps plein
Mission et Objectifs

L'ingénieur recruté sera chargé de développer et de maintenir la Coq Platform, une distribution de Coq accompagnée d'une sélection de bibliothèques et d'extensions. Le candidat devra travailler en étroite collaboration avec les équipes de développement pour assurer la qualité et la fiabilité de la plateforme.

Compétences et Expériences

Le candidat doit avoir une solide connaissance en développement logiciel, en architecture logicielle et en génie logiciel. Il doit être capable de travailler avec les langages de programmation OCaml, Python et shell. De plus, il doit avoir une bonne compréhension de la chaîne de développement et de distribution de binaires sur les principales plate-formes (MacOS, Linux et Windows).

Activités et Responsabilités

Les activités et responsabilités du candidat incluent la gestion du développement de la Coq Platform, la coordination avec les équipes de développement, la mise en place et la maintenance des infrastructures pour le développement collaboratif, ainsi que la formation et le conseil aux développeurs.

Avantages et Conditions

Le candidat bénéficiera d'une rémunération attractive, d'une formation continue et d'une équipe dynamique. De plus, il bénéficiera d'une politique de diversité et d'inclusion, ainsi que d'une protection des données personnelles.



  • Antibes, Provence-Alpes-Côte d'Azur, France Inria Temps plein

    Mission et ObjectifsL'ingénieur recruté sera chargé de développer et de maintenir la Coq Platform, une distribution de Coq accompagnée d'une sélection de bibliothèques et d'extensions. L'objectif principal de la Coq Platform est de fournir une distribution pour développer et enseigner avec Coq qui soit indépendante du système d'exploitation,...


  • Antibes, Provence-Alpes-Côte d'Azur, France Inria Temps plein

    Développeur Logiciel IngénieurL'Institut national de recherche en informatique et en automatique (Inria) recherche un développeur logiciel ingénieur pour rejoindre son équipe de développement de logiciels. Le candidat idéal possèdera une solide connaissance en programmation, en architecture logicielle et en génie logiciel.ResponsabilitésGestion...


  • Antibes, Provence-Alpes-Côte d'Azur, France Inria Temps plein

    Développeur Logiciel IngénieurL'Institut national de recherche en informatique et en automatique (Inria) recrute un développeur logiciel ingénieur pour rejoindre son équipe de recherche et développement. Le candidat idéal possèdera une solide connaissance en programmation, en architecture logicielle et en génie logiciel.ResponsabilitésGestion...


  • Antibes, Provence-Alpes-Côte d'Azur, France Inria Temps plein

    Développeur Logiciel IngénieurL'Institut national de recherche en informatique et en automatique (Inria) recrute un développeur logiciel ingénieur pour rejoindre son équipe de recherche et développement. Le candidat idéal possèdera une solide connaissance en programmation, en architecture logicielle et en génie logiciel.ResponsabilitésGestion...


  • Antibes, Provence-Alpes-Côte d'Azur, France Inria Temps plein

    Ingénieur de Production en LaboratoireL'Institut national de recherche en informatique et en automatique (Inria) recrute un ingénieur de production en laboratoire pour rejoindre son équipe de développement logiciel.ResponsabilitésGestion du développement de logiciels au sein des projets de développement sur lesquels la personne est...

  • Ingénieur logiciel cloud

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Management Square Temps plein

    Poste : Ingénieur logiciel cloudÀ Management Square, nous recherchons un expert en solutions cloud pour rejoindre notre équipe de développement. En tant qu'ingénieur logiciel cloud, vous serez chargé de concevoir, de mettre en œuvre et de gérer des solutions cloud sur la plateforme Google Cloud Platform (GCP).Compétences requisesExpertise en...

  • Ingénieur DEVOPS Cloud GCP

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Management Square Temps plein

    Nous sommes à la recherche d'un ingénieur DEVOPS Cloud GCP passionné par les technologies Cloud et prêt à relever de nouveaux défis pour rejoindre notre équipe dynamique et innovante au sein de Management Square. Rôle et Responsabilités : Concevoir, mettre en œuvre et gérer des solutions Cloud sur la plateforme Google Cloud Platform (GCP)...

  • Ingénieur DevOps

    il y a 1 mois


    Antibes, Provence-Alpes-Côte d'Azur, France Astek Temps plein

    Notre équipe de développement est à la recherche d'un Ingénieur DevOps qui contribuera à l'optimisation des processus de développement et d'opération Ce rôle est essentiel pour garantir l'efficacité et la scalabilité de nos solutions logicielles Vous serez amené à réaliser les tâches suivantes : Gestion de l'Infrastructure...

  • Ingénieur logiciel cloud H/F

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Management Square Temps plein

    Poste : Ingénieur logiciel cloud H/FManagement Square recherche un expert en solutions cloud pour rejoindre son équipe de développement.Compétences requisesExpertise en LinuxDiplôme en informatique, génie logiciel ou domaine connexeResponsabilitésConcevoir, mettre en œuvre et gérer des solutions cloud sur la plateforme Google Cloud Platform...

  • Ingénieur logiciel cloud H/F

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Management Square Temps plein

    Concevoir et développer des solutions cloud innovantesÀ Management Square, nous recherchons un Ingénieur logiciel cloud H/F pour concevoir, mettre en œuvre et gérer des solutions cloud sur la plateforme Google Cloud Platform (GCP).Compétences requisesLinux : ExpertDiplôme en informatique, génie logiciel ou dans un domaine connexeÀ propos de...


  • Antibes, Provence-Alpes-Côte d'Azur, France EURECOM Temps plein

    FonctionIngénieur de rechercheDépartementSécurité NumériqueProjetUn projet novateur dans le domaine de la cybersécurité, soutenu par une subvention ERC de l'UE, qui se concentre sur le développement d'un service cloud sophistiqué pour l'analyse des logiciels malveillants.RôleCollaborer à des projets de recherche universitaire sur l'analyse des...

  • Ingénieur Système Linux

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Gfi Informatique Temps plein

    Ingénieur Système LinuxNotre agence de Sophia Antipolis recherche des Ingénieurs Système Linux pour rejoindre nos équipes et travailler avec nos clients grand comptes de la région.Compétences requisesSystème d'exploitation Linux et UbuntuUtilisation des logiciels Nginx, KafkaDéveloppement de Bash sous PythonResponsabilitésGarantir le fonctionnement...

  • Ingénieur Système Linux

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Gfi Informatique Temps plein

    Ingénieur Système LinuxNotre agence de Sophia Antipolis recherche des Ingénieurs Système Linux pour rejoindre nos équipes et travailler avec nos clients grand comptes de la région.Compétences requisesSystème d'exploitation Linux et UbuntuUtilisation des logiciels Nginx, KafkaDéveloppement de Bash sous PythonResponsabilitésGarantir le fonctionnement...

  • Ingénieur Système Linux

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Gfi Informatique Temps plein

    Ingénieur Système LinuxNotre agence de Sophia Antipolis recherche des Ingénieurs Système Linux pour rejoindre nos équipes et travailler avec nos clients grand comptes de la région.Compétences requisesSystème d'exploitation Linux et UbuntuUtilisation des logiciels Nginx, KafkaDéveloppement de Bash sous PythonResponsabilitésGarantir le fonctionnement...

  • Ingénieur Système Linux

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Gfi Informatique Temps plein

    Ingénieur Système LinuxNotre agence de Sophia Antipolis recherche des Ingénieurs Système Linux pour renforcer ses équipes et répondre aux besoins de ses clients grand comptes de la région.ResponsabilitésAssurer le fonctionnement technique des moyens de production et préconiser les solutions techniques pour optimiser la production...

  • Ingénieur Système Linux

    il y a 4 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France Gfi Informatique Temps plein

    Ingénieur Système LinuxNotre agence de Sophia Antipolis recherche des Ingénieurs Système Linux pour renforcer ses équipes et répondre aux besoins de ses clients grand comptes de la région.Compétences requisesSystème d'exploitation Linux et UbuntuUtilisation des logiciels Nginx, KafkaDéveloppement de Bash sous PythonResponsabilitésGarantir le...

  • Ingénieur DevOps

    il y a 3 semaines


    Antibes, Provence-Alpes-Côte d'Azur, France ALTERSIS Group Temps plein

    Ingénieur DevOpsL'Ingénieur DevOps est chargé de la conception, la mise en œuvre et la maintenance des systèmes d'information de notre client. Vous travaillerez en étroite collaboration avec les équipes de développement et de production pour garantir la qualité et la fiabilité des applications.Compétences requisesConnaissance approfondie...


  • Antibes, Provence-Alpes-Côte d'Azur, France Capgemini Engineering Temps plein

    Poste d'Ingénieur Matériaux | CompositesNous recherchons un ingénieur en alternance pour renforcer notre équipe dynamique à Nantes. Vous serez intégré(e) à une équipe d'ingénieurs composée d'une dizaine de membres, sous la supervision de référents techniques et d'un chef de projet expérimenté.ResponsabilitésContribuer au processus de...


  • Antibes, Provence-Alpes-Côte d'Azur, France Capgemini Engineering Temps plein

    Poste d'Ingénieur Matériaux | CompositesNous recherchons un(e) ingénieur(e) Matériaux | Composites pour renforcer notre équipe dynamique à Nantes. Vous serez intégré(e) à une équipe d'ingénieurs composée d'une dizaine de membres, sous la supervision de référents techniques et d'un chef de projet expérimenté.ResponsabilitésContribuer au...


  • Antibes, Provence-Alpes-Côte d'Azur, France RECSI Group Temps plein

    Développez votre carrière avec nousNous recherchons un Ingénieur Systèmes et Réseaux pour rejoindre notre équipe de Sophia Antipolis. Vous serez chargé du déploiement d'infrastructures Cloud hybrides, de la production de documents d'architecture et d'exploitation, ainsi que de l'intervention en assistance et expertise technique sur les plateformes de...