Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/H
il y a 1 mois
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
- 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
- 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
-
Ingénieur Logiciel Model Checking Aix-en-Provence F/H
il y a 2 semaines
Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps pleinIngé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...
-
Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/H
il y a 2 semaines
Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps pleinIngé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...
-
Spécialiste Développement Logiciel Model Checking Aix-en-Provence F/H
il y a 2 semaines
Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps pleinSpé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...
-
Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/H
il y a 2 semaines
Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps pleinIngé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 pleinIngé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...
-
Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/H
il y a 3 semaines
Avignon, Provence-Alpes-Côte d'Azur, France H-VAC & Central Plumbing Temps pleinIngé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...
-
Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/H
il y a 2 semaines
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...
-
Responsable Systèmes d'Information Aix-en-Provence
il y a 2 semaines
Avignon, Provence-Alpes-Côte d'Azur, France H+O Structural Engineering Temps pleinResponsable 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...
-
Responsable Systèmes d'Information Aix-en-Provence
il y a 4 semaines
Avignon, Provence-Alpes-Côte d'Azur, France H+O Structural Engineering Temps pleinResponsable 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 pleinA 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 pleinA 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 pleinA 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 pleinOffre 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*...
-
Développeur Principal Angular H/F
il y a 1 mois
Avignon, Provence-Alpes-Côte d'Azur, France Amiltone Agence d'Aix en Provence Temps pleinA 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 pleinA 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...
-
Développeur Principal Angular H/F
il y a 4 semaines
Avignon, Provence-Alpes-Côte d'Azur, France Amiltone Agence d'Aix en Provence Temps pleinA 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 pleinA 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 pleinA 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...
-
Conception et Développement de Logiciels Automatisés
il y a 2 semaines
Avignon, Provence-Alpes-Côte d'Azur, France F S L Temps pleinSpé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 pleinA 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...