Join the seL4 Foundation
Agreements and Governance
Before joining, please review the Membership Agreement (for review only, not for signing), and the Articles of Association, the Rules of Operations, and the Good Standing Policy. If you have any questions, please contact foundation@sel4.systems.
Organisation Details
Please enter your organisation's details below to generate a membership agreement.
The information submitted will be used to assess, approve and manage the membership of the entity, namely to (a) generate the contract, which will be sent to the provided signatory contact; (b) send invoices to the provided billing contact; (c) send AGM and voting notices to the primary contact; for the duration that the entity is a Member of seL4 International. This information can be updated anytime by contacting foundation@sel4.systems.
Join Now
For premium and general members
Company name
Legal name of the entity applying for membership
Membership Level
| Tier |
Consolidated Employees Consolidated Employees |
Annual Membership Fees Annual Membership Fees |
|
|---|---|---|---|
| Premium | -- | CHF 100,000 | |
| General | 5,000 and above | CHF 35,000 | |
| General | Between 500 and 4,999 | CHF 20,000 | |
| General | Between 100 and 499 | CHF 10,000 | |
| General | Between 21 and 99 | CHF 4,000 | |
| General | Up to 20 | CHF 2,500 |
Primary contact
The who person will act as the primary voting contact unless a different assignment is requested by email at a later date.
Legal (signatory) contact
The person who will officially execute or sign the membership agreement.
Billing contact
The person who will handle billing and payments.
For non-profits and government entities.
Company name
Legal name of the entity applying for membership
Primary contact
The who person will act as the primary voting contact unless a different assignment is requested by email at a later date.
Legal (signatory) contact
The person who will officially execute or sign the membership agreement.