Guaranteed Worst Case Execution Time for Control Plane Software

TL;DR

Guaranteed Worst Case Execution Time for Control Plane Software (RISC-V): Conduct doctoral research in safe and secure future network systems, developing and refining techniques that guarantee bounded worst-case execution time (WCET) for control-plane workloads. Focus on analysis, modeling, and method development for predictable timing behavior in complex software systems, with an emphasis on real-time systems and robust software architectures.

Location: Paris/Saclay, Centre Interdisciplinaire d’Etudes de Défense et Sécurité (CIEDS), France

Company

hirify.global is a defense and security company developing advanced systems and solutions for a safer and more sustainable world.

What you will do

• Conduct doctoral research at IP Paris top research groups in close collaboration with hirify.global experts.
• Define the research topic with professors, focused on security and safety aspects in future network systems.
• Develop and refine WCET techniques for control-plane workloads, including analysis and modeling.
• Target modern RISC-V architectures and explore deterministic scheduling approaches (e.g., S3K partitioning kernel when applicable).
• Participate in hirify.global internal product development projects.

Requirements

• Fluent French and English skills (both used daily).
• Strong expertise in networking, computer science, and computer security, especially real-time systems.
• Experience with low-level programming and formal methods.
• Willingness to travel as needed within France, Sweden, and internationally.
• Ability to pass a security vetting process under current security protection regulations (citizenship obligations may apply for clearance-required roles).

Culture & Benefits

• Permanent employment by hirify.global during the PhD project under a CIFRE/CDI arrangement.
• Most work time at IP Paris (CIEDS) on the Saclay campus, with collaboration with hirify.global experts.
• Opportunity to contribute to internal product development projects alongside academic research.
• Support for long-term research aimed at technological innovations and breakthroughs.

Hiring process

• Ongoing recruitment; the position may be filled before the closing date.
• Security vetting required as part of the process.