This page matches member organisations looking for seL4 expertise and people looking for jobs in the seL4 ecosystem.
The list is in chronological order, more recent at the top.
DornerWorks is an seL4 Foundation founding member, a leading contributor to the open source project, provides integration services, training, and tools to accelerate/support the growth of seL4 globally. Gregg Wildes is also on the board of directors for the US (seL4 focused) trusted computing COE.
DornerWorks, a leader in embedded systems engineering, is growing and seeks a Senior Firmware Engineer to join our team. Our Separation Technology team is pioneering the use of hypervisors and virtualization in the embedded space. Using hypervisors in embedded applications is relatively new, and our outstanding team is partnering with vendors and customers to apply this novel technology to new products. Demand for our expertise continues to grow, and we are seeking top-notch technical minds who are comfortable blazing a trail in this emerging technology. As you develop hypervisor functionality, you will become an expert in the open source ecosystems around Xen Project hypervisor, Linux, and the seL4 micro-kernel as you gain advanced understanding of cutting-edge system-on-chips (SoC). This position is located in Grand Rapids, Michigan; however, we are open to remote employees as well.
NIO Inc. is a pioneer in China’s premium electric vehicle market. We design, jointly manufacture, and sell smart and connected premium electric vehicles, driving innovations in next generation technologies in connectivity, autonomous driving and artificial intelligence. Redefining user experience, we provide users with comprehensive, convenient and innovative charging solutions and other user-centric service offerings. NIO went public in U.S. in 2018. So far, NIO has launched 3 mass production vehicle models: ES8, ES6, and EC6, and accumulated deliveries to users are over 120,000. Starting September, NIO will start delivering to users in Norway. NIO invests heavily in in-house R&D to build full-stack cutting-edge technologies around intelligent and autonomous driving EV. Its engineering teams are distributed across the globe, including US, UK, Germany and China. See more on the company's profile.
Digital Systems department at NIO is missioned to develop the most advanced software platform for the next-generation autonomous driving vehicles in the industry from the ground up. This platform is internally named NIO Vehicle Operating System (NVOS), and based off seL4. It involves solving a wide range of technical challenges, such as seamless app development on heterogeneous hardware chipsets, low-latency & high throughput data processing, powerful AI framework, automobile-grade safety and security guarantee, and complete toolchains to provide Android alike development experience.
We are looking for world class experts in seL4 and OS / software platform in general, and positions available range from NVOS Architect (x5), Software Developer (x4), Software Dev Engineer in Test (x3), Security Engineer in Formal Verification (x1), to Chief Software Architect / Technical Fellow (x1), and are based in San Jose or Seattle in U.S. Some job postings can be found here