Jump is a research-based organization that is committed to applying cutting edge technology to trading global financial markets. Jump has the full spectrum of technology challenges from machine learning models and HPC at massive scale to cybersecurity and trusted compute requirements that come from being a major market participant in many asset classes. Jump was founded in 1999 and has over 20 global offices including Sydney, Shanghai and Singapore in Asia.
Welcome on board!
Gernot
About Horizon:
Horizon Robotics is a global leader in the development of artificial
intelligence computing platforms. Its mission is to make driving safer
and more convenient as drivers transition to intelligent and
self-driving vehicles. Founded in Beijing in 2015, Horizon Robotics
develops next-generation autonomous driving technology integrating
edge-AI processors, algorithms, and toolkits. Horizon has reinvented
the automotive-grade AI processor with Horizon Journey SOC and its
Brain Processing Unit AI engine (Horizon BPU), to offer the ultimate
balance of high-performance, low power, and cost effectiveness for
inference at the edge. Horizon's state-of-the-art AI toolkit and model
zoo enable developers to optimize and deploy their own neural network
models to Journey BPU with ease. Horizon also offers vision perception
algorithms to accelerate time-to-production in the dynamic and highly
competitive ADAS/AD market.
The evolution of automotive E/E architecture continues rapidly. With
complicated hardware consolidation, software consolidation and
separation happen simultaneously. “To address the challenges of
safety, security and realtime in autonomous software, a fundamental
high quality state-of-the-art microkernel is needed. We are looking
forward to working with members of seL4 Foundation to build
mixed-critical platform and solution for next-generation autonomous
driving vehicles.”
Welcome on board!
Gernot
The Foundation has created a "Jobs in the seL4 ecosystem" page where members can post offers for positions with seL4 expertise: https://sel4.systems/Foundation/Jobs.html. Our newly joined premium member NIO just posted some openings for seL4 experts.
Gernot
Li Auto (NASDAQ:LI) is an innovator in China's new energy vehicle
market. The Company designs, develops, manufactures, and sells premium
smart electric vehicles. Through innovations in product, technology,
and business model, the Company provides families with safe,
convenient, and refined products and services. Li Auto is a pioneer to
successfully commercialize extended-range electric vehicles in
China. Its first model, Li ONE, is a six-seat, large premium electric
SUV equipped with a range extension system and advanced smart vehicle
solutions. The Company started volume production of Li ONE in November
2019 and released the 2021 Li ONE in May 2021. The Company leverages
technology to create value for its users. It concentrates its in-house
development efforts on its proprietary range extension system,
next-generation electric vehicle technology, and smart vehicle
solutions. Beyond Li ONE, the Company aims to expand its product line
by developing new vehicles, including BEVs and EREVs, to target a
broader consumer base.
Li Auto's team will develop a secure highly extensible real-time open
platform for next generation self-driving vehicles based on the
micro-kernel OS seL4. The platform will enable an ecosystem for third
party application developers.
Welcome on board!
Gernot
Li Auto (NASDAQ:LI) is an innovator in China's new energy vehicle market. The Company designs, develops, manufactures, and sells premium smart electric vehicles. Through innovations in product, technology, and business model, the Company provides families with safe, convenient, and refined products and services. Li Auto is a pioneer to successfully commercialize extended-range electric vehicles in China. Its first model, Li ONE, is a six-seat, large premium electric SUV equipped with a range extension system and advanced smart vehicle solutions. The Company started volume production of Li ONE in November 2019 and released the 2021 Li ONE in May 2021. The Company leverages technology to create value for its users. It concentrates its in-house development efforts on its proprietary range extension system, next-generation electric vehicle technology, and smart vehicle solutions. Beyond Li ONE, the Company aims to expand its product line by developing new vehicles, including BEVs and EREVs, to target a broader consumer base.
Li Auto's team will develop a secure highly extensible real-time open platform for next generation self-driving vehicles based on the micro-kernel OS seL4. The platform will enable an ecosystem for third party application developers.
Welcome on board!
Gernot
The seL4 Foundation welcomes Xcalibyte as a member.
Xcalibyte's mission is to improve the quality of software by creating easy-to-use tools that help developers build and deploy reliable and secure code. Founded by world-class software experts with decades of experience in compiler optimization and software development, Xcalibyte was established in 2018 and has offices in Shenzhen, Shanghai, Beijing and Hong Kong. Xcalibyte enhances the speed and accuracy of code auditing, code evaluation, and code defect detection. We use advanced static code analysis to help reduce costs, improve productivity, and ensure software developers in China and all over the world have the proper capabilities to develop better, more reliable software.
“As we are actively working with members of the seL4 Foundation, it makes perfect sense for us to be part of the organisation. Our code analysis tools are being used by community members and we are aiming to ensure they develop high quality and secure code.”
Gernot
NIO has just joined the seL4 Foundation as a Premium Member, which means they will also join the seL4 Board.
About NIO:
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 the 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.
The 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.
The seL4 Foundation welcomes New-Zealand based Kry10 as our latest member.
“We believe that formal methods and proven code is the only viable option for software, whether it is AI, Industrial controls, or really anything else. seL4 is the first, and only real practical kernel to show the world how it should be done,” says Boyd Multerer, CEO and Founder of Kry10.
“At Kry10, we are building a full-featured operating system on top of the seL4 Kernel, along with tooling, services, key management and more. We are aiming at industrial use, but it is suitable for consumer devices and more. Combined with the Erlang BEAM VM for applications, we intend to deliver systems with great security and minimal downtime, even across upgrades.”
Gernot