ranQ
ranQ
ranQ
VerzeichnisBranchenOrteWissenVergleicheBald
AnmeldenSichtbarkeit prüfen
ranQHSG Startup LabelAnerkannt vom
HSG Startup Label

Das führende KI-Firmenverzeichnis, entwickelt zur Steigerung der KI-Sichtbarkeit.

DEENFRIT
Produkt
  • Preise
  • Verzeichnis
  • Branchen
  • Trust Score
Unternehmen
  • Über uns
  • Kontakt
  • Rechtliches
© 2026 cohaga AG · All Rights Reserved · St. Gallen, Schweiz · Impressum745'629 Firmen indexiert · Zuletzt aktualisiert: heute
VerzeichnisVerbände & InteressensvertretungenNGO & NPOKüsnacht ZhseL4 International
seL4 International Logo
Verifiziert· 2 QuellenTrust Score
Zusammenfassung

Über die Firma

seL4 International ist eine Organisation rund um den seL4-Mikrokernel, einen formal verifizierten Betriebssystemkern. Die Website informiert über die Entwicklung, Verifikation, Dokumentation, Nutzung und das Ökosystem von seL4 sowie über Community- und Unterstützungsangebote.

KI-generiert
Angebot

Produkte & Leistungen

Branche:NGO & NPOForschung & Entwicklung
LeadhubOutbound Leads by COHAGA

Du suchst direkte E-Mail-Adressen und Telefonnummern?

Leadhub liefert verifizierte Kontaktdaten und Ansprechpartner von über 750’000 Schweizer Firmen — Geschäftsleitung, Einkauf, Marketing, HR.

Leadhub entdecken
Noch kein Wert

seL4 International

Vereine für Wissenschaft & Technik
Softwareentwicklung
✓ Angeboten5
Verifizierter Mikrokernel (seL4)
Verifizierter Betriebssystem-Mikrokern für sicherheitskritische Systeme mit formaler mathematischer Verifikation, starker Isolation, kontrollierter Kommunikation und Plattformunterstützung.
Formale Verifikation
Formale Beweisentwicklung für den seL4-Kernel und angrenzende Komponenten, einschliesslich Sicherheits-, Integritäts- und Vertraulichkeitsnachweisen sowie Auswirkungen auf Zertifizierung.
Dokumentation und Lernmaterialien
Handbücher, Tutorials, Dokumentation, White Paper, Fact Sheet, FAQ und Lernmaterialien zum Einsatz und Aufbau von Systemen auf seL4.
Open-Source-Foundation und Governance
Koordination, Steuerung und Standardisierung des seL4-Ökosystems durch Foundation, Board und Technical Steering Committee sowie Mitgliedschaft und Governance-Dokumente.
Kommerzieller Support für seL4
Kommerzieller Support, Beratungs- und Entwicklungsunterstützung durch endorsierte Dienstleister für Kernel, Plattformports, Betriebssystemkomponenten, Anwendungen und Verifikation.
Vertrauen & Reputation

ranQ Trust Score von seL4 International

Trust Score

Noch kein Wert

x

Für einen veröffentlichten Wert braucht es eine Datenbasis von mindestens 50 % und Daten aus mindestens zwei Kriteriengruppen ausserhalb der Identität. Fehlende Belege: Bewertungsqualität, Bewertungsvolumen, Bewertungsaktualität, Website-Autorität, Medienautorität

Datenbasis 50 % · Stand Oktober 2026

seL4 International erreicht im Bereich Reputation des ranQ Trust Score keinen Wert, weil dafür keine Daten vorliegen. Der Bereich trägt 42 % der Gewichtung und fällt für dieses Profil aus der Berechnung; er senkt den Score nicht, sondern die ausgewiesene Datenbasis.
x
KriteriumWertGewicht
  • Bewertungsqualität: Kein Datenpunkt — das Kriterium ist aus der Gewichtung genommen und senkt den Score nicht.—24 %
  • Bewertungsvolumen: Kein Datenpunkt — das Kriterium ist aus der Gewichtung genommen und senkt den Score nicht.—10 %
  • Bewertungsaktualität: Kein Datenpunkt — das Kriterium ist aus der Gewichtung genommen und senkt den Score nicht.—8 %
seL4 International erreicht im Bereich Substanz des ranQ Trust Score 47,6 von 100 Punkten. Dieser Bereich trägt 28 % der Gewichtung.
x
KriteriumWertGewicht
  • Etabliertheit: Jahre seit Gründung oder Markeneinführung, logarithmisch. Ab 15 Jahren ist das Maximum erreicht.25,012 %
  • Unternehmensgrösse: Das Mitarbeitendenband, von ranQ recherchiert oder von der Firma angegeben. Gewertet wird in Stufen statt mit einer Kopfzahl, weil die Datenlage nur Bänder hergibt.55,07 %
seL4 International erreicht im Bereich Identität des ranQ Trust Score 83,3 von 100 Punkten. Dieser Bereich trägt 22 % der Gewichtung.
x
KriteriumWertGewicht
  • Verifizierung: Amtlicher Registereintrag (Handelsregister mit UID oder berufsständischer Nachweis, 55 Punkte), bestätigte Domain (20 Punkte) und bestätigtes ranQ-Profil (bis 25 Punkte, je nach Vollständigkeit).83,322 %
seL4 International erreicht im Bereich Sichtbarkeit des ranQ Trust Score keinen Wert, weil dafür keine Daten vorliegen. Der Bereich trägt 8 % der Gewichtung und fällt für dieses Profil aus der Berechnung; er senkt den Score nicht, sondern die ausgewiesene Datenbasis.
x
KriteriumWertGewicht
  • Website-Autorität: Kein Datenpunkt — das Kriterium ist aus der Gewichtung genommen und senkt den Score nicht.—4 %
  • Medienautorität: Kein Datenpunkt — das Kriterium ist aus der Gewichtung genommen und senkt den Score nicht.—4 %

Die Datenbasis liegt bei 50 % und damit unter der Schwelle, ab der ranQ einen Zahlenwert veröffentlicht. Es fehlen Belege zu: Bewertungsqualität, Bewertungsvolumen, Bewertungsaktualität, Website-Autorität, Medienautorität. Stand Oktober 2026.

Der Trust Score ist nicht käuflich und berechnet sich aus öffentlich belegbaren Daten.

Wissen

Noch keine Wissensbeiträge

Sobald seL4 International das Profil übernommen hat, veröffentlichen wir hier gemeinsam redaktionelle Beiträge und Fallstudien.

Jetzt starten
Vergleiche

seL4 International im Vergleich

Bald

Branchenvergleiche folgen in Kürze

Wir bereiten Branchenvergleiche vor, in denen seL4 International nach Bewertungen, Erfahrung und Spezialisierungen eingeordnet wird.

Ist das dein Unternehmen?

Übernimm das Firmenprofil von seL4 International, um Kontaktangaben sichtbar zu machen. Mit einem Plan erstellen und publizieren wir zusätzlich Branchenvergleiche, Beiträge und vieles mehr.

Profil sichern

Standort

Hier entsteht die Karte
Seestrasse 39
8700 Küsnacht Zh

Auf einen Blick

Rechtsform
Verein
UID
CHE-276.739.771
Gegründet
2025 · 1 Jahr
Letzte HR-Änderung
5. Juni 2026
Mitarbeitende
1 bis 10
Rechtsform: Abgestuft nach Haftung und Publizität. Das Gewicht ist klein gehalten: Ein Einzelunternehmen ist keine unseriöse Firma, es haftet nur anders.73,06 %
  • Zweigniederlassungen: Im Handelsregister verknüpfte Zweigniederlassungen. Keine zu haben ist der Normalfall und kostet keine Punkte.70,03 %
    • Zur vollständigen Methodik

    Ähnliche Unternehmen

    VR
    Verein revamp-it
    Zürich
    HO
    Haus of Kaisers
    Zürich
    EF
    Excellence Foundation Zurich for Economic and Social Research
    Zürich
    WF
    World Federation of Associations of Pediatric Surgeons
    Niederhasli
    LA
    Legenda Archaeology
    Winterthur
    GA
    Global AI Trust Alliance (GAITA)
    Zürich
    PF
    Progress Foundation
    Zürich
    VS
    Verein Stägetritt
    Winterthur