VereinProfessionelle Dienstleistungen

seL4 International

Konzeption, Entwicklung und Implementierung von vertrauenswürdiger open-source Software, insbesondere des seL4 Microkernels und zugehöriger Beweise, Frameworks und Werkzeuge. Der Verein ist gemeinnütz

KI-bearbeitete BeschreibungOpen-Source-SoftwareSoftwareentwicklungseL4 MicrokernelMicrokernel

Die Branchenzuordnung erfolgt automatisiert anhand der im Handelsregister veröffentlichten Angaben und kann von der tatsächlichen Geschäftstätigkeit abweichen. Kategorie korrigieren

Zweck

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.

↗Zefix-Eintrag ansehen ↗Kantonaler HR-Auszug

Firmendaten

Adresse

Seestrasse 39

8700 Küsnacht ZH

Schweiz

↗Route berechnen

Unternehmens-Identifikationsnummer

CHE-276.739.771

Handelsregister-Nr.

CH-020.6.003.776-8

Handelsregisteramt

Kanton Zürich

Rechtsform

Verein

Letzte SHAB-Publikation

5. Juni 2026

Verifizierte Firmendaten

Aktiv im UID-Register
MWST-registriert · CHE-276.739.771 MWST
Gegründet 2025 · seit 1 Jahr am Markt

Quelle: Schweizerisches Handelsregister via Zefix, Eidg. UID-Register (Bundesamt für Statistik) und Eidg. Steuerverwaltung (ESTV, MWST); Handelsregister-Publikationen aus dem SHAB (ältere Einträge ggf. nicht enthalten). Verknüpfte Firmen werden, sofern in unserem Verzeichnis vorhanden, verlinkt. Angaben ohne Gewähr, ausschliesslich zu Informationszwecken, aktuell per 5. Juni 2026.

Sind Sie der Inhaber dieser Firma?

Übernehmen Sie Ihr Firmenprofil, ergänzen Sie Kontaktdaten, Öffnungszeiten, Fotos und mehr — und werden Sie besser gefunden.

Diese Firma verwalten

Kostenlos — dauert nur 2 Minuten

Einzelne Profile aus dem öffentlichen Handelsregister entfernen wir nicht allein auf Wunsch; ungenaue Daten korrigieren wir, Inhalte entfernen wir bei rechtlichem Grund — siehe Löschanfragen & Datenkorrekturen. Betroffene natürliche Personen (insbesondere Einzelunternehmer) können der Verarbeitung widersprechen und die Entfernung verlangen — über Rechtsverletzung melden oder [email protected].

Weitere Sonstige Dienstleistungen in Küsnacht ZH

Uninu GmbH

Erbringung von Beratungs- und Managementsdienstleistungen in den Bereichen PR-Beratung, Digitalisierung und Prozessoptimierung sowie Durchführung von Schulungen.

Aleris Switzerland GmbH

Vertretung von europäischen Gruppengesellschaften, Erbringung von europäischen Konzernleitungstätigkeiten und zentralisierte Dienstleistungen bei Metallhandels- und Hedging Geschäften.

Deel Technology Services Switzerland AG

Erbringung von Dienstleistungen, Entwicklung und Angebot von Software-Applikationen im HR-Bereich und in der IT-Technologie, insbesondere softwaregestützte Payroll-Dienstleistungen.

GQAVIA Consulting AG

Beratung und Geschäftsanbahnung in den Bereichen Gewerbe, Immobilien, Finanzen, Medien und Kultur.

Professionelle Dienstleistungen in Küsnacht ZH

Uninu GmbH

Erbringung von Beratungs- und Managementsdienstleistungen in den Bereichen PR-Beratung, Digitalisierung und Prozessoptimierung sowie Durchführung von Schulungen.

Aleris Switzerland GmbH

Vertretung von europäischen Gruppengesellschaften, Erbringung von europäischen Konzernleitungstätigkeiten und zentralisierte Dienstleistungen bei Metallhandels- und Hedging Geschäften.

Unternehmen in Küsnacht ZH

Grösste Firmen in Küsnacht ZH Neu gegründet 2026 Grösste Firmen im Kanton

Oberholzer & Brüschweiler AG

Erstellung von Bauten, Übernahme von Architektur- und Generalunternehmeraufträgen sowie Erwerb, Veräusserung und Vermittlung von Grundstücken und Liegenschaften.

Keystone Corporate AG

Erbringung von Anlage- und Finanzberatungsdienstleistungen, Immobilienberatung sowie Unternehmens- und Managementberatung für private und institutionelle Kunden.