Software developer working on a time and space partitioned real-time operating system (RTOS) and supporting middleware for safety-critical embedded applications.