Architectures avioniques et des systèmes d’exploitation temps réel (doctorat)

Poste de doctorant 1: Architectures avioniques Nous recherchons un doctorant pour un poste axé sur les plateformes d'avionique modulaire intégrée (IMA). Les plateformes IMA intègrent des composants matériels et logiciels afin de prendre en charge des systèmes avioniques fiables, sûrs et prévisibles.

Compétences requises • Solides connaissances en architecture informatique, systèmes embarqués ou systèmes temps réel. • Excellente compréhension des concepts des systèmes d'exploitation, notamment l'ordonnancement, la gestion de la mémoire et la communication inter-processus. • Maîtrise du C/C++ ou de langages de programmation bas niveau similaires. • Bonne maîtrise de l'anglais (écrit et oral).

Compétences souhaitées • Familiarité avec les architectures d'avionique modulaire intégrée (IMA) ou les systèmes critiques pour la sécurité. • Expérience en co-conception matériel-logiciel, programmation FPGA ou calcul reconfigurable. • Connaissance des mécanismes de partitionnement, des noyaux de séparation et des politiques d'ordonnancement temps réel. • Compréhension des principes de cybersécurité dans les systèmes embarqués ou avioniques. • Une expérience préalable en conception basée sur des modèles ou en méthodes de vérification formelle est un atout.

Poste de doctorant 2 : Systèmes d'exploitation avioniques cyber-sécurisés Nous recherchons un doctorant pour un poste dédié à l'intégration de mesures de cybersécurité dans la conception et le fonctionnement des systèmes avioniques.

Compétences requises • Solides connaissances en cybersécurité, systèmes informatiques ou systèmes embarqués. • Maîtrise du C/C++ ou d'autres langages de programmation bas niveau utilisés dans le développement de systèmes d'exploitation. • Excellente compréhension des principes des systèmes d'exploitation, notamment la gestion de la mémoire, l'ordonnancement et la programmation au niveau du noyau. • Solides compétences analytiques et maîtrise de l'anglais (écrit et oral). Compétences souhaitées • Familiarité avec les systèmes de détection d'intrusion (IDS), les techniques cryptographiques ou les protocoles de communication avioniques (par exemple, ADS-B). • Connaissance des algorithmes d'apprentissage automatique ou d'apprentissage profond pour la détection d'anomalies ou d'attaques. • Expérience des systèmes critiques pour la sécurité ou des processus de certification (par exemple, DO-178C, ARINC 653). • Intérêt pour les méthodologies de sécurité dès la conception et les systèmes d'exploitation temps réel (RTOS).

Exigences générales pour les deux postes • Master (ou équivalent) en informatique, génie informatique, génie électrique ou un domaine étroitement lié. • Forte motivation pour la recherche indépendante et collaborative. • Solides compétences en communication et en documentation. • Volonté de diffuser les résultats lors de conférences et dans des revues de premier plan.

Description détaillée

Date de début prévue: semestre d'hiver 2026

Candidature
Les candidats intéressés sont priés de soumettre les documents suivants :
1. Curriculum Vitae (CV)
2. Lettre de motivation présentant les intérêts de recherche et l'expérience pertinente
3. Relevés de notes universitaires
4. Coordonnées de deux personnes de référence

L'analyse des candidatures commencera immédiatement et se poursuivra jusqu'à ce que le poste soit pourvu. Les candidats sélectionnés travailleront au laboratoire des systèmes embarqués hétérogènes