Thèse – Vérifiabilité des systèmes contenant du logiciel développé à partir de modèles d'apprentissage – 10447759 - (m/f).



Référence : 29849760
Date de dépot : 09/04/2019
Entreprise : EADS

Descriptif
Description : Airbus Group


Nous offrons la possibilité de travailler dans un environnement où recherche et besoins industriels se combinent naturellement.

La recherche est effectuée dans le cadre d'une collaboration entre l'IRIT (Institut de Recherche en Informatique de Toulouse - Institut de Recherche en Informatique de Toulouse) et Airbus. Toulouse est classée 1ère dans le top 10 des meilleures villes étudiantes en France (L'Etudiant 2019) et est la 2ème ville de France par le nombre d'étudiants (115 000 étudiants, 10 000 chercheurs). Toulouse héberge également de grandes entreprises développant des logiciels embarqués et de grands systèmes logiciels.

La thèse se déroulera dans le domaine des systèmes généraux AIRBUS sur le site de St Martin (bâtiment M01) et plus particulièrement dans le groupe EYDZW.
EYDZW est un groupe transnational rassemblant une grande expérience dans le développement de matériels et logiciels en respectant les normes de l'aéronautique. Nous garantissons par le biais d'audits que le logiciel est conforme aux exigences de certification, à la sécurité d'Airbus et aux exigences fonctionnelles.

Nous anticipons les futures réglementations sur les nouvelles technologies et les préparons avec les autorités de certification.
Cette recherche a pour objectif de déterminer comment inclure les techniques d'apprentissage automatique dans le cycle de vie du développement logiciel, tout en maintenant les normes de sécurité à leur plus haut niveau.

Le doctorant contribuera à étendre les compétences existantes en développement des systèmes basés sur des algorithmes de ML chez Airbus et à la future réglementation avec les autorités de certification (EASA).

L'objectif principal de la thèse est de développer une nouvelle méthodologie d'assurance de la conception assurant la conformité aux objectifs de réglementation existants et futurs. Des recherches fondamentales sur la vérification et la validation des logiciels basés sur l'apprentissage automatique sont nécessaires et guideront la définition de la méthodologie d'assurance.

1- Enoncé des préoccupations: identifier le fossé entre les techniques logicielles programmées actuelles et la méthodologie de développement de logiciels basée sur ML et, partant, l'absence de l'assurance de la conception actuelle utilisée aux fins de la certification.

2- Proposition de solution: Définir une nouvelle méthodologie d'assurance de la conception pour garantir que le développement d'un logiciel à base ML répondra aux exigences industrielles et réglementaires.

3- Appliquer la nouvelle méthodologie à un cas d'utilisation et faire des recommandations pour la future


Ce poste exige une connaissance des risques potentiels de non-conformité. Le/la titulaire s'engage à agir avec intégrité, fondement du succès, de la réputation et de la croissance durable de la Société.


Profil recherché
Profil recherché : Nous sommes à la recherche d'un candidat motivé ayant une solide expérience dans au moins l'une des compétences suivantes, possédez une expérience pratique du développement de logiciels ou un intérêt affirmé pour les compétences suivantes:

- Langages & Programmation: C, C ++, C #, JAVA, Python

- Ingénierie système

- Validation et vérification (formelle)

- Big Data, Data Science, Mathématiques, Statistiques

- Apprentissage automatique, apprentissage en profondeur, intelligence artificielle, visualization
Vous pouvez postuler en ligne sur notre site carrières (https://www.airbus.com/careers.html) en joignant votre CV et votre lettre de motivation à cette offre d'emploi.
En soumettant votre CV ou votre candidature, vous consentez à ce qu'Airbus utilise et stocke les informations vous concernant à des fins de suivi de votre candidature ou de votre futur emploi. Ces informations ne seront utilisées que par Airbus.


Airbus s'engage pour la Diversité. Nous encourageons toutes les candidatures indépendamment de l'origine sociale et culturelle, de l'âge, du genre, du handicap, de l'orientation sexuelle ou des croyances religieuses.

Niveau d'étude : Bac + 3 : licence
Expérience : Débutant
Lieu de la mission : Midi-Pyrénées - Toulouse
Poste(s) disponible(s) : 1
Poste de cadre : Suivant Profil
Contrat : CDD
Durée du contrat : plus de 36 mois
Début de la mission : 20/04/2019

Entreprise
Nom de l'entreprise : EADS
Site Web : http://www.eads.com
Contact : Monsieur Recrutement Service
Adresse : Auriga Building - 4 rue du Groupe d'Or - BP 90112
31703 Blagnac cedex
France


Vous devez être connecté pour postuler à cette offre.

Connectez vous maintenant




Ou inscrivez vous

C'est simple et totalement gratuit