Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/H

il y a 1 mois


Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps plein
Ingénieur Développement Logiciel Model Checking

Poste à pourvoir : Ingénieur Développement Logiciel Model Checking

Systerel est une entreprise leader dans le développement de solutions de modélisation et de vérification formelle de systèmes de signalisation ferroviaire. Nous sommes à la recherche d'un Ingénieur Développement Logiciel Model Checking pour rejoindre notre équipe de développement.

Responsabilités
  • Conception et développement de solutions de modélisation et de vérification formelle de systèmes de signalisation ferroviaire
  • Collaboration avec l'équipe de modélisation pour améliorer les performances des outils
  • Assurance de l'ensemble du cycle de développement, des phases de spécification aux phases de tests et validation
Compétences requises
  • Titulaire d'une thèse sur les méthodes formelles ou les solveurs SAT et/ou ingénieur spécialisé dans le développement logiciel et l'algorithmique
  • Expérience d'au moins 3 ans dans le développement logiciel orienté méthodes formelles ou à forte composante algorithmique
  • Connaissance de l'anglais technique
Avantages
  • Encadrement de qualité
  • Parcours professionnel personnalisé et évolutif
  • Package de rémunération et des avantages attractifs

S'il vous intéresse ce poste, n'hésitez pas à nous faire parvenir votre candidature



  • Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps plein

    Ingénieur Logiciel Model Checking Aix-en-Provence F/HSysterel développe des outils de modélisation et de vérification formelle pour les systèmes de signalisation ferroviaire. Le produit Systerel Smart Solver est un outil de model checking qui permet de faire de la preuve formelle de propriétés de sécurité.Le poste proposé consiste à rejoindre...


  • Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps plein

    Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/HSysterel développe sa propre gamme de produits dédiés à la modélisation et la vérification formelle de systèmes de signalisation ferroviaire. Le produit Systerel Smart Solver est un outil basé sur du model checking permettant de faire de la preuve formelle de propriétés de...


  • Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps plein

    Spécialiste Développement Logiciel Model Checking Aix-en-Provence F/HSysterel développe des outils de modélisation et de vérification formelle pour les systèmes de signalisation ferroviaire. Le produit Systerel Smart Solver est un outil de model checking qui permet de faire de la preuve formelle de propriétés de sécurité.Le poste proposé consiste...


  • Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps plein

    Ingénieur Développement Logiciel Model CheckingA propos du posteNous recherchons un ingénieur développeur logiciel model checking pour rejoindre notre équipe de développement de Systerel Smart Solver. Ce produit basé sur du model checking permet de faire de la preuve formelle de propriétés de sécurité.ResponsabilitésAssurer l'ensemble du cycle de...


  • Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps plein

    Ingénieur Développement Logiciel Model CheckingSysterel développe sa propre gamme de produits dédiés à la modélisation et la vérification formelle de systèmes de signalisation ferroviaire. Le produit Systerel Smart Solver est un outil basé sur du model checking permettant de faire de la preuve formelle de propriétés de...


  • Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps plein

    Ingénieur Développement Logiciel Model CheckingSysterel est à la recherche d'un ingénieur développement logiciel model checking pour rejoindre son équipe de développement du produit Systerel Smart Solver.ResponsabilitésAssurer l'ensemble du cycle de développement, des phases de spécification aux phases de tests et validation jusqu'à la...


  • Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps plein

    {"title": "Ingénieur Développement Logiciel Model Checking", "subtitle": "Rejoignez notre équipe de développement logiciel pour travailler sur des projets innovants et stimulants.", "content": "Présentation du posteNous recherchons un ingénieur développement logiciel pour rejoindre notre équipe de développement logiciel. Vous serez chargé de...


  • Avignon, Provence-Alpes-Côte d'Azur, France H+O Structural Engineering Temps plein

    Responsable Systèmes d'Information Aix-en-ProvenceNous recherchons un Responsable Systèmes d'Information pour rejoindre notre équipe à Aix-en-Provence. Vous serez chargé de la gestion et de la maintenance des systèmes d'information de notre entreprise.MissionsRépondre aux besoins utilisateurs en identifiant et sélectionnant des outils internes ou...


  • Avignon, Provence-Alpes-Côte d'Azur, France H+O Structural Engineering Temps plein

    Responsable Systèmes d'InformationNous recherchons un Responsable Systèmes d'Information pour rejoindre notre équipe à Aix-en-Provence. Vous serez chargé de la gestion et de la maintenance des systèmes d'information de notre entreprise.MissionsRépondre aux besoins utilisateurs en identifiant et sélectionnant des outils internes ou...

  • Chef de projet transport

    il y a 2 semaines


    Avignon, Provence-Alpes-Côte d'Azur, France INTERACTION AIX-EN-PROVENCE Temps plein

    A propos de l'entreprise :INTERACTION AIX-EN-PROVENCE est un groupe de recrutement spécialisé dans les solutions de recrutement pour les PME, ETI et Grandes Entreprises. Nous proposons des solutions personnalisées pour accompagner le développement de l'activité de nos clients.A propos du poste :Le poste d'Exploitant transport H/F consiste à gérer et...

  • Exploitant Transport H/F

    il y a 1 mois


    Avignon, Provence-Alpes-Côte d'Azur, France INTERACTION AIX-EN-PROVENCE Temps plein

    A propos de l'entreprise :INTERACTION AIX-EN-PROVENCE est une entreprise de recrutement spécialisée dans le domaine du transport et de la logistique. Nous proposons des solutions de recrutement pour accompagner le développement de nos clients dans le respect de leurs valeurs et de leurs objectifs.En tant qu'entreprise, nous plaçons l'humain au coeur de...

  • Développeur Lead Angular H/F

    il y a 2 semaines


    Avignon, Provence-Alpes-Côte d'Azur, France Amiltone Agence d'Aix en Provence Temps plein

    A propos de la missionNous sommes à la recherche d'un Développeur Lead Angular H/F pour rejoindre notre équipe de développement à Amiltone Agence d'Aix en Provence.Vous aurez pour responsabilité de développer des applications web innovantes en utilisant la technologie Angular, ainsi que de diriger et de former les équipes de...

  • Ingénieur Développeur Java

    il y a 2 semaines


    Avignon, Provence-Alpes-Côte d'Azur, France F S L Temps plein

    Offre de poste : Développeur Java en CDINous sommes à la recherche d'un Développeur Java expérimenté pour rejoindre notre équipe de développement. Vous travaillerez en étroite collaboration avec le Lead Tech pour concevoir et développer des produits et services de haute qualité.Vos responsabilités* Conception et développement de logiciels Java*...


  • Avignon, Provence-Alpes-Côte d'Azur, France Amiltone Agence d'Aix en Provence Temps plein

    A propos de la missionNous sommes à la recherche d'un Développeur Principal Angular H/F pour rejoindre notre équipe de développement à Amiltone Agence d'Aix en Provence.En tant que Lead Développeur Angular, vous serez en charge du développement des tâches qui vous sont assignées en respectant les spécifications, de la prise en charge des équipes...

  • Chef de projet qualité

    il y a 1 mois


    Avignon, Provence-Alpes-Côte d'Azur, France Amiltone Agence d'Aix en Provence Temps plein

    A propos de la missionNous recherchons un(e) Responsable QA (H/F) pour rejoindre notre équipe à Amiltone Agence d'Aix en Provence.Le candidat idéal possède une expérience de 2 ans au moins en tant que Responsable QA et est diplômé Bac+4/5 (Master, Doctorat ou école d'ingénieur). La certification ISTQB est impérative.Les missions principales...


  • Avignon, Provence-Alpes-Côte d'Azur, France Amiltone Agence d'Aix en Provence Temps plein

    A propos de la missionNous sommes à la recherche d'un Développeur Principal Angular H/F pour rejoindre notre équipe de développement à Amiltone Agence d'Aix en Provence.En tant que Lead Développeur Angular, vous serez chargé de développer des tâches complexes en respectant les spécifications, de prendre en charge les équipes de développement, de...

  • Ingénieur méthodes

    il y a 1 mois


    Avignon, Provence-Alpes-Côte d'Azur, France NEO2 Temps plein

    A propos de l'entrepriseNEO2 est une société de conseil et d'assistance technique spécialisée dans les métiers de l'ingénierie de process et des infrastructures industrielles. Nous intervenons auprès de grands comptes dans les secteurs de l'Energie, l'Environnement, la Pharmaceutique, la Santé, l'Agroalimentaire, etc.A propos du posteNous recherchons...

  • Responsable QA

    il y a 4 semaines


    Avignon, Provence-Alpes-Côte d'Azur, France Amiltone Agence d'Aix en Provence Temps plein

    A propos de la missionNous recherchons un(e) Responsable QA (H/F) pour rejoindre notre équipe à Amiltone Agence d'Aix en Provence.MissionNos missions?Management des équipes de QualitéMise en place de la stratégie de testAnimer et coordonner la rédaction du plan de testPiloter et suivre l'exécution des testsAvancement des testsSuivi de la production...


  • Avignon, Provence-Alpes-Côte d'Azur, France F S L Temps plein

    Spécialiste en Systèmes de Supervision IndustrielleVous rejoindrez notre équipe de spécialistes en systèmes de supervision industrielle pour concevoir et développer des solutions innovantes pour les équipements d'inspection industriels. Vous travaillerez en étroite collaboration avec les équipes de conception et de développement pour créer des...

  • Chef de projet qualité

    il y a 3 semaines


    Avignon, Provence-Alpes-Côte d'Azur, France Amiltone Agence d'Aix en Provence Temps plein

    A propos de la missionNous recherchons un(e) Responsable QA (H/F) pour rejoindre notre équipe à Amiltone Agence d'Aix en Provence.Vous serez chargé(e) de la gestion des équipes de qualité, de la mise en place de la stratégie de test et de l'animer pour coordonner la rédaction du plan de test.Vous piloterez et suivrez l'exécution des tests, assurez...