- Déployer un environnement de preuve.
- Réaliser les preuves par l'utilisation de scripts et en analyser les résultats.
- Communiquer avec les équipes techniques et les clients.
- Suivi des différents environnements de preuves.
- Rédaction de la documentation.
- Prendre connaissances des cahiers de spécification et dossiers techniques.
- Maîtrise du langage C et de CODDA/DCSL.
- Domaine de la V&V des logiciels avioniques (DO178C DAL B).
- Contexte international, anglais lu, écrit et parlé.
- Travail en équipe.
- Autonome, avec un esprit de synthèse et une capacité d'analyse et d'écoute.
- Rémunération attractive.
- Budget de formation et journées dédiées individuels (200€ à 1000€ et 24 à 48 jours par an).
- Primes (recommandation, apport d'affaires, placement) et salaire variable selon niveau de responsabilité.
- Titre-restaurant.
- Communauté de spécialistes (articles techniques, forum de discussion, formations internes, coaching, mentoring...).
- Filières d'évolution de carrière et accompagnement individuel.
- Télétravail (1 à 2 jours par semaine habituellement), RTT, mutuelle, prévoyance santé, 50% de l'abonnement de transport en commun pris en charge.
- Séance photo individuelle et professionnelle.
-
ingénieur de recherche et de développement logiciel h/f
il y a 6 jours
Onera Toulouse, France CDI Contrat de ProjetPrésentation de l'ONERAL'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de ...
-
ingénieur de recherche et de developpement logiciel(h/f)
il y a 2 jours
ONERA Toulouse, France CDI· A propos de l'entreprise : · L'ONERA, acteur central de la recherche aéronautique etspatiale, emploie plus de 2000 personnes. Placé sous la tutelle duministère des Armées, il dispose d'un budget de 289 millionsd'euros (2023), dont plus de la moitié provient de contratsd'études ...
-
Ingénieurs/Ingénieures Logiciels Embarqués confirmés
il y a 1 semaine
Liebherr Group Toulouse, France Temps pleinDescription du poste · :Au sein de la section Logiciel Embarqué rattachée au département de la Direction Technique et Projets, nous recherchons plusieurs personnes pour concevoir des logiciels embarqués pour l'ensemble des produits (équipements et systèmes) sur leur cycle de vie ...
-
ingenieur de recherche architectures embarquees(h/f)
il y a 2 jours
ONERA Toulouse, France CDI· A propos de l'entreprise : · L'ONERA, acteur central de la recherche aéronautique etspatiale, emploie plus de 2000 personnes. Placé sous la tutelle duministère des Armées, il dispose d'un budget de 289 millionsd'euros (2023), dont plus de la moitié provient de contratsd'études ...
-
ingenieur de recherche architectures embarquees h/f
il y a 6 jours
Onera Toulouse, France CDIPrésentation de l'ONERAL'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de ...
-
chercheur en systemes robotiques autonomes h/f
il y a 6 jours
Onera Toulouse, FrancePrésentation de l'ONERAL'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de ...
-
Sogeti Consultant Automatisation des tests
il y a 1 semaine
Capgemini Toulouse, FranceDescription de l'entreprise · Sogeti Sogeti France (filiale du groupe Capgemini) est une entreprise de services du numérique. Nous accompagnons la transformation des entreprises dans 4 domaines : Digital, Testing, Sécurité et Infrastructure. Aujourd'hui notre entreprise figure pa ...
-
Ingénieur développement temps réel Linux
il y a 6 jours
CS GROUP Toulouse, France À temps pleinDescription de l'entreprise · La mission de CS GROUP : être à la pointe des technologies pour garantir la sécurité de tous dans un monde en pleine mutation. L'expertise reconnue du groupe lui permet d'intervenir là où les enjeux de sécurité sont les plus sensibles : aéronautique, ...
-
CNRS Toulouse, France CDDInformations générales · Intitulé de l'offre : Doctorant/e (H/F) en technologie lithique spécialisé/e dans l'invention du débitage par pression en Asie du Nord-Est · Référence : UMR5608-JOSRAT-009 · Nombre de Postes : 1 · Lieu de travail : TOULOUSE · Date de publication : lundi ...
-
H/F Health
il y a 6 jours
airbus Toulouse, France À temps pleinJob Description: · Vous êtes particulièrement intéressé par les enjeux d'environnement, de sécurité et de santé au travail. · Vous avez des compétences en prévention des risques industriels et en exigences EHS (Environment, Health and Safety) à intégrer dans les projets industrie ...
-
airbus Toulouse, France À temps pleinJob Description: · Airbus Defence and Space recherche un(e) Ingénieur de développement électronique/certification ELAN (f/h) pour rejoindre le département "Navigation - ATM Engineering & Products" basé à Toulouse, France. · Vous ferez partie d'une équipe en charge de la définitio ...
-
airbus Toulouse, France À temps pleinJob Description: · Airbus Defence and Space recherche un(e) Responsable technique de Développement temps réel (f/h) pour rejoindre le département "Navigation - ATM Engineering & Products" basé à Toulouse, France. Vous ferez partie d'une équipe en charge de la définition, du dével ...
-
Architecte Système Cybersécurité
il y a 6 jours
airbus Montesquieu-Volvestre, France À temps pleinJob Description: · Qui sommes-nous ? · Airbus Defence and Space « Cyber Programmes » est un spécialiste européen de la cybersécurité pour les systèmes de défense et aérospatiaux. Notre mission est de concevoir, développer, intégrer et déployer des solutions de cybersécurité fiab ...
Ingénieur Méthodes Formelles - Toulouse, France - LH&TECH Engineering
Description
Dans le cadre d'un nouveau projet de développement de calculateur avionique, vous serez en charge de faire de l'analyse en appliquant des méthodes formelles sur différentes fonctionalités logicielles.
Vos missions
Vos compétences
Diplômé d'une école d'ingénieur ou équivalent, vous justifiez d'une première expérience dans le domaine de la validation de logiciels de sécurité ou dans la programmation temps-réel avec l'utilisation de méthodes formelles.
Avantages
Si ce poste vous ressemble, alors rejoignez-nous