Sel4 Foundation
The seL4 Foundation is a non-profit organisation supporting the open-source seL4 microkernel and its ecosystem. The seL4 microkernel is the world's first general-purpose operating-system kernel with a formal, machine-checked proof of implementation correctness, originally on Arm, now also on x86 and RISC-V processors. seL4 is still the only formally-verified operating system with fine-grained, capability-based access control, it has proofs of security enforcement, and besides all this is the world's fastest microkernel.
7-day free trial · no credit card
Verified contacts
1
available on Kipplo
LinkedIn employees
8
1 to 10 range
Open roles
—
no listings
Distinct roles
1
indexed titles
Tech stack
0
tools in use
Monthly traffic
—
organic / mo
Sign up free to see all 1 verified contacts at Sel4 Foundation
Free for 7 days · 50 credits · no card · only pay for verified records.
Decision-makers and verified team members
1 contacts with verified email or phone · masked until revealed.
No verified contacts on record for this company yet.
Top roles at Sel4 Foundation
1 distinct titles indexed · top 1 shown.
- 1junior os engineer
Sign up to unlock all 1 contacts at Sel4 Foundation
Free for 7 days · 50 credits · no card · only pay for verified records.
Sign up to reveal 1 verified contacts at Sel4 Foundation
7-day trial · no credit card · cancel anytime · only pay for verified records.
Trusted by sales, marketing, and GTM engineering teams.