Ingénieur de Développement Logiciel Checker

Ingénieur de Développement Logiciel Checker | Krono-Safe

CDI
16 avenue Carnot, 91300 Massy
Posted 8 months ago

Krono-Safe est un éditeur logiciel français basé à Massy (91) qui développe et commercialise notamment :

  • des méthodes et outils de conception, développement et mise au point d’applications temps-réel critiques à forte contrainte de sûreté de fonctionnement (automobile, ferroviaire, aéronautique…)
  • un micro-noyau d’exécution temps-réel permettant l’exécution sur cible matérielle d’applications développées à l’aide de ces outils.

Krono-Safe a été créée en 2011 et a engrangé depuis plusieurs contrats avec des industriels de renom.  Nous recherchons un Ingénieur de développement logiciel pour étoffer l’équipe R&D de Krono-Safe, qui compte une quarantaine de personnes, travaillant tous sur des produits innovants.

Krono-Safe vous permettra d’exprimer tous vos talents au sein de l’équipe R&D et ce, dans un environnement à la pointe de la technologie.

Les méthodes de travail sont basées sur la collaboration inter-équipes, l’autonomie et la créativité des collaborateurs, dans une ambiance de travail sympathique et centrée sur l’humain.

Krono-Safe est une entreprise en forte croissance offrant des possibilités d’épanouissement et d’évolution.

Job Features

Job CategorySoftware Development
MissionActivités de conception, développement et tests • Participer à la conception de l’outil ASTERIOS Checker, qui permet de valider le compilateur source à source développé par Krono-Safe (voir notre article de blog Demystifying the PsyC language). Checker est développé en Python et s’appuie sur plusieurs techniques de compilation, notamment différents algorithmes d’analyse et d’exploration de graphes (voir ASTERIOS® CHECKER). • Réaliser les développements logiciels en en suivant la méthodologie de développement (agile). • Réaliser et/ou améliorer la spécification des différentes fonctions du logiciel et réaliser les tests unitaires, d’intégration et de validation selon le processus applicable (DO-330). • Assurer la qualité des fonctions produites via le passage de tests fonctionnels.
Responsabilités Globales• Etre acteur et responsable d’une ou plusieurs fonctionnalités de l’outil Checker. • Travailler au sein de l’équipe Checker, 3 à 4 personnes sous la responsabilité d’un leader technique. • Etre force de proposition sur son domaine. • S’interfacer directement avec d’autres équipes si nécessaire
FormationBAC+5 en informatique ou équivalent.
ExpérienceSupérieure à 3 ans dans le développement Python idéalement.
Compétences• Maitrise des langages de programmation nécessaires à son activité : Python • Connaissance des méthodes et outils de développement : SCRUM, Git, Jenkins, … • Polyvalence, créativité pour identifier les solutions techniques appropriées. • Expérience du standard DO-178C et son supplément DO-330 est un plus. • Capacité à travailler à la fois en équipe et en autonomie • Motivation et bonne humeur ! Le sens de la communication, le goût pour le travail en équipe, la rigueur et la maîtrise de l'anglais sont des atouts indispensables pour la tenue de ce poste.
ContratContrat à durée indéterminée.
DémarrageAu plus vite.

Apply Online

A valid email address is required.
A valid phone number is required.

The data you provide is sent to the recruitment department and to KRONO-SAFE's departments concerned by your application, for the purpose of processing your application. They are kept by KRONO-SAFE for the time needed for such processing. Additional information about KRONO-SAFE's data processing and your rights are available in the privacy policy.