Kernkonzept GmbH

Kernkonzept entwickelt vertrauenswürdige Betriebssysteme und Hypervisoren für sichere Anwendungen, vernetzte Geräte und Automobilanwendungen. Unser quelloffenes L4Re Operating System Framework steuert Laptops für Behörden, sichere Netzwerkgeräte und Home Gateways, aber auch Autos, Server, Sensoren und Roboter.

Die Firma startete 2012 als Ausgründung von drei Absolventen der Fakultät Informatik und hat ihr Hauptquartier in Dresden. Seitdem entwickelt Kernkonzept das quelloffene L4Re-System weiter: ein modulares Betriebssystem/Hypervisor für die besonderen Anforderungen von IT-Sicherheit, Safety und Virtualisierung. Die Mikrokern-basierte L4Re-Technologie mit einer minimalen Trusted Computing Base wurde nach dem Prinzip Security by Design entwickelt: Durch Modularisierung und Reduzieren der Abhängigkeiten zwischen Komponenten wird die Angriffsfläche einer Anwendung minimiert. L4Re läuft bereits in Produkten mit der zweithöchsten Geheimhaltungsstufe (Deutschland/EU/NATO Geheim).

Als Softwaredienstleister bietet Kernkonzept Beratung und Support in den Bereichen IT-Sicherheit, Echtzeitsysteme und embedded-Systeme. Als Arbeitgeber ist Kernkonzept attraktiv für Betriebssystem-Experten. Unsere Angestellten haben z. T. mehr als 15 Jahre Erfahrung in der Arbeit mit L4Re und Microkern-Systemen. Dresden als Betriebssystem-Hauptstadt ist der optimale Standort für uns.

Auf OUTPUT DD tauschen wir uns mit Studierenden und Forschenden aus, die sich für fortschrittliche Betriebssysteme-Technologie interessieren. Neben Karrieremöglichkeiten bieten wir auch Stellen für Werkstudenten und Unterstützung bei Abschlussarbeiten. Mit unserer engen Vernetzung mit der TU Dresden möchten wir dazu beitragen, dass hier auch in Zukunft eine exzellente Informatik- und Betriebssysteme-Ausbildung stattfinden kann.