Research project title
Avionics architectures and real-time operating systems (masters)
Education level
Master (research-based)
Director/co-director
Director: Felipe Gohring de Magalhaes
End of display
December 31, 2025
Areas of expertise
Computer architecture and design
Primary sphere of excellence in research
Industry of the Future and Digital Society
Unit(s) and department(s)
Department of Computer Engineering and Software Engineering
Conditions
This project is alligned with PhD students on the same research area. Three master positions are available to work alongside PhD candidates on the the following topics:
Topic 1: Avionics Architectures, with focus on integrated modular avionics (IMA) platforms. IMA platforms integrate hardware and software components to support reliable, safe, and predictable avionics systems.
Required Knowledge •Background in computer architecture, embedded systems, or real-time systems. •Solid understanding of operating systems concepts, including scheduling,memory management, and inter-process communication. •Proficiency in C/C++ or similar low-level programming languages.
Desired Knowledge •Familiarity with Integrated Modular Avionics (IMA) architectures or safety-critical systems. •Experience with hardware–software co-design, FPGA programming, or reconfigurable computing. •Knowledge of partitioning mechanisms, separation kernels, and real-time scheduling policies. •Understanding of cyber-security principles in embedded or avionics systems. •Prior exposure to model-based design or formal verification methods is an asset. •Good command of written and spoken English.
Topic 2: Cyber-Secure Avionics Operating Systems, with focus in integrating cyber-security measures into the core design and operation of avionics systems.
Required Knowledge •Background in cyber-security, computer systems, or embedded systems. •Proficiency in C/C++ or other low-level programming languages used in OS development. •Solid understanding of operating system principles, including memory management, scheduling, and kernel-level programming.
Desired Knowledge •Familiarity with intrusion detection systems (IDS), cryptographic techniques,or avionics communication protocols (e.g., ADS-B). •Knowledge of machine learning or deep learning algorithms for anomaly or attack detection. •Background in safety-critical systems or certification processes (e.g., DO-178C, ARINC 653). •Interest in security-by-design methodologies and real-time operating systems (RTOS) •Good command of written and spoken English.
Topic 3: Co-Design and Certification of Advanced Avionics Systems, focusing on the co-design and certification of next-generation avionics systems. The project is funded and will take place with an industrial partner in the field.
Required Knowledge • Background in systems engineering, embedded systems, or computer architecture. • Understanding of model-based design or system modeling languages (e.g., SysML, AADL, Simulink). • Familiarity with real-time systems concepts and software/hardware integration. • Proficiency in C/C++, Python, or equivalent technical computing languages.
Desired Knowledge • Experience with hardware-in-the-loop (HIL) testing or digital twins. • Knowledge of certification standards such as DO-178C, DO-254, or ARP 4754A. • Familiarity with ARINC 653 partitioned architectures or Integrated Modular Avionics (IMA) systems. • Background in formal verification, non-functional property analysis, or safety-critical systems. •Experience with simulation tools or automated testing frameworks. •Good command of written and spoken English.
General Requirements for all positions •Technical degree (or equivalent) in Computer Science, Computer Engineering,Electrical Engineering, or a closely related field. •High motivation for independent and collaborative research. •Strong communication and documentation skills. •Commitment to disseminating results in leading conferences and journals.
Detailed description
Tentative start date: Winter terms of 2026, 2027 and 2028
Application
Interested candidates should submit the following documents:
1.Curriculum Vitae (CV)
2.Motivation letter outlining research interests and relevant experience
3.Academic transcripts
4.Contact information for two references
Review of applications will begin immediately and continue until the position is filled. Selected candidates will work at the Heterogeneous Embedded Systems lab.
Financing possibility
This project contemplates a scholarship based on Polytechnique current annual suggestions
Felipe Gohring de Magalhaes
Assistant Professor
