[seL4] Systems Researcher Position