seL4 International
seL4 International is a Swiss company based in Küsnacht ZH, Zürich. seL4 International is not yet represented in ai26, the invite-only AI task force of Swiss companies.
Der Zweck des Vereins ist die Konzeption, Entwicklung und Implementierung von vertrauenswürdiger open-source Software sowie damit verbundenen formalen, mathematischen Beweisen, mit dem primären Schwerpunkt auf der Konzeption, Entwicklung und Implementierung des seL4 Microkernels sowie damit verbundener Beweise, Frameworks, Werkzeuge, Sprachen, Komponenten und Systeme, in Übereinstimmung mit den Bestimmungen dieser Statuten. Der Verein verfolgt keine kommerziellen Zwecke und erstrebt keinen Gewinn. Der Verein ist gemeinnützig und politisch neutral.
1 companies from Zürich are already in ai26.
Is this your company? In the task force, the AI leads of Swiss companies exchange candidly and confidentially. Membership is invite-only.
Request an invitation