Karriere bei Kernkonzept

Bei uns dreht sich alles um Systementwicklung und Architekturen. Wir bauen die sicheren Betriebssysteme der Zukunft!

Karriere - Arbeiten bei Kernkonzept

Was wir tun

Wir erschaffen Zukunft: Trusted Operating Systems

Kernkonzept entwickelt Trusted Operating Systems für Sicherheitsanwendungen, verbundene Geräte und den Einsatz im Automobil-Bereich. Unsere Open Source L4Re Operating System Framework läuft auf Regierungs-Laptops und Haushaltsgeräten, treibt sichere Netzwerktechnik und Home Gateways an – und in Zukunft auch Autos, Server, Sensoren und Roboter.

Unser Team ist vom Start-up zum angesehenen Unternehmen mit über 30 Angestellten gewachsen. Unsere System-Ingenieure haben sich der Weiterentwicklung von L4Re verschrieben. Bist du auch ein Fan von schön geschriebenem Code? Möchtest du die Welt verbessern, indem du exzellente Software programmierst? Legst du Wert auf Unabhängigkeit, Kreativität und flache Hierarchien? Dann starte deine Karriere bei Kernkonzept.

Unsere Stellenanzeigen findest du weiter unten – oder kontaktiere uns direkt.

Kernkonzept: Führend in der L4Re Entwicklung seit 2012
Karriere - Arbeiten bei Kernkonzept
Karriere - Arbeiten bei Kernkonzept
Karriere - Arbeiten bei Kernkonzept
Kernkonzept: Führend in der L4Re Entwicklung seit 2012
Karriere - Arbeiten bei Kernkonzept
Karriere - Arbeiten bei Kernkonzept

Was wir anbieten

Deine Karriere bei Kernkonzept

Bei uns gibt es keine festgeschriebenen Laufbahnen. Wir möchten, dass du deine Karriere bei Kernkonzept frei nach deinen Talenten und Interessen entwickelst.

Du kannst dich in der Software-Entwicklung weiter spezialisieren, dich im Produktmanagement oder in der Kundenbetreuung ausprobieren. Wir bieten dir mehrere freie Tage im Jahr für Trainings deiner Wahl und finanzieren deine Weiterbildung.

Unsere Arbeit besteht aus mittel- und langfristigen Kundenprojekten sowie unserer eigenen Produktentwicklung. Sehr selten stehen wir vor knappen Deadlines und müssen dafür unsere Ressourcen bündeln – dann packt jede*r mit an.

Wir halten nichts von strengen Projektmanagement-Routinen. Du arbeitest mit ausreichend Zeit in organisch gewachsenen, funktionellen Teams.

Unsere offene, freundliche Arbeitsumgebung fördert Lernen und persönliches Wachstum. Respekt und Zusammenarbeit sind uns sehr wichtig.

Offensichtlich besteht bei uns eine große Nähe zu Hardware.

Vorteile und Vergünstigungen:

Kernkonzept: Führend in der L4Re Entwicklung seit 2012

Karriere bei Kernkonzept

Passt du in unser Team?

Bei Kernkonzept arbeitest du in einem internationalen Team. Du kannst und solltest Englisch kommunizieren. Lernen die Kulturen unserer kanadischen, brasilianischen, tschechischen und deutschen Kolleg*innen kennen!

Wir verwenden Linux OS und arbeiten fast ausschließlich mit Open Source Software. Einige unserer Mitarbeitenden vollbringen Wunder mit Emacs – andere zaubern mit vim. Es gibt Tastatur-Nerds, die über die Vor- und Nachteile roter und blauer Cherry MX Switches streiten, Leseratten mit Stapeln von Douglas, Lem oder Pratchett im Regal und wandelnde Filmlexika. Einige Sportskanonen shredden in der Mittagspause mit ihren „Fullies“ durch die Dresdner Heide oder machen Triathlons in ihrer Freizeit.

Unsere Entwickler sind buchstäbliche Veteranen in der Welt der Open-Source Software. Einige stellen seit Jahren die deutschen Mirrors für Ubuntu und Debian zur Verfügung oder verwalten das Minicom-Programm für Linux als Hobby. Damit halten sie Open Source Software am Laufen, die von tausenden Usern verwendet wird.

Du bist stolz, ein Nerd zu sein und liebst die Eleganz von Code? Dann könnten wir perfekt zusammenpassen.

Unsere Kooperationen

Partner in Forschung & Wirtschaft

Kernkonzept sucht aktiv die Zusammenarbeit mit Forschungsinstituten, Universitäten und Partnern in der Wirtschaft. In verschiedenen Forschungsprojekten
erkunden wir sichere industrielle Digitalisierung, IT-Sicherheit, Hochleistungsrechnen und Virtualisierung.

Unser Ziel ist die ständige Verbesserung unserer Software und ihrer Funktionalitäten, wodurch wir neue Anwendungsbereiche für L4Re erschließen.

Kontakt aufnehmen

Komm in unser Team!

Christiane ist als unsere HR-Kontaktperson verantwortlich für alle Angestellten bei Kernkonzept. Melde dich gern bei ihr!

Software Engineer Embedded Systems / Real-Time (m/f/d)*

in Dresden, Germany

Kernkonzept is looking for embedded-systems experts who like to tinker with innovative hardware platforms and operating systems. Help us port our L4Re Operating System to new hardware, debug challenging problems, and meet real-time and security requirements.

  • Hardware-platform enablement for our L4Re Operating System, including boot, device enablement, and power management
  • Developing and using platform firmware
  • Real-time modeling, analysis, and measurements
  • Automatic and static code analysis
  • Strong interest in low-level computer programming
  • Knowledge of OS, scheduling, and real-time systems
  • C, Assembly language; C++ a plus
  • Basic familiarity with the Linux kernel, and openness for other OS kernels
  • Basic familiarity with hardware debug interfaces
  • Solid understanding of computer architecture and processors
  • Software development processes and tools (git, bug trackers, cross compilers)
  • Bachelor, Master, or Diploma in Computer Science, Computer Engineering, Electrical Engineering, or similar education

* Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.

Kernkonzept is looking for experts to expand the core development team working on our L4Re Operating System.

Help us keep our system up to date with changing technologies and meet our customer’s needs!

  • Planning and executing strategic R&D projects in the field of operating systems
  • Working with customers, analysing customers' requirements
  • Designing and developing operating system components
  • Knowledge of operating systems, OS kernels, and low-level software
  • C and C++, scripting languages (e.g. Shell, Python, Perl, or Lua)
  • Assembly language/Rust is a plus
  • Computer architecture and low-level computer programming
  • Basic knowledge of x86, ARM, or RISC-V
  • Software development processes and tools (git, bug trackers, cross compilers)
  • Keen to work in a team of skilled engineers, open mind for technology and fellow people
  • Experience with the L4Re Operating System a plus
  • Experience in academic or industrial research a plus
  • Master or Diploma in Computer Science, Computer Engineering, Electrical Engineering, or similar education

* Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.

Operating System Engineer (m/f/d)*

in Dresden, Germany

Quality Assurance Engineer (m/f/d)*

in Dresden, Germany

Kernkonzept is looking for experts who love to “break” things — in an organized, reproducible way — and are able to make the stretch between internal product details and external requirements from a customer point of view, thus helping us to build a better and stronger L4Re Operating System.

  • Identification, documentation, and confirmation of system properties
  • Automatic and static code analysis
  • Collaboration with the core development team and the verification team
  • Planning and executing strategic R&D projects in the field of operating systems
  • Firm knowledge of testing methods
  • Software development processes and tools (git, bug trackers, cross compilers)
  • Interest in operating systems, computer architecture, and low-level computer programming
  • Perl, Shell, Javascript, R, C, C++ (at least 3 of 6)
  • Basic knowledge of x86, ARM, or RISC-V
  • Experience with virtual machines and simulators a plus
  • Bachelor, Master, or Diploma in Computer Science, Computer Engineering, Electrical Engineering, or similar education

* Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.

Kernkonzept is looking for experts who create tests, model, and evaluate test and benchmark data to bring our L4Re Operating System to perfection (or at least very close to it).

  • Designing and developing verification and testing components
  • Implementing L4Re programs showcasing system features
  • Identifying, documenting, and confirming system properties
  • Test specification, test writing, and automatic test generation
  • Coverage analysis and test set completion
  • Debugging OS anomalies and errors
  • Extending test automation infrastructure components
  • Collaborating with the core development team and the verification team
  • Firm knowledge of testing methods
  • Software development processes and tools (git, bug trackers, cross compilers, containers)
  • Interest in OS, computer architecture, and low-level computer programming
  • Basic knowledge of x86, ARM, and RISC-V
  • Perl, Shell, Javascript, Lua, C, C++ (at least 4 of the 6)
  • Experience with hypervisors and microkernels a plus
  • Bachelor, Master, or Diploma in Computer Science, Computer Engineering, Electrical Engineering, or similar education

* Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.

System / Test Engineer Operating Systems (m/f/d)*

in Dresden, Germany

Systems Verification Engineer (m/f/d)*

in Dresden, Germany

Kernkonzept is looking for experts for the informal, semi-formal, and formal verification of its L4Re Operating System. Our verification methods range from model-based testing and worst-case analysis, formal and semi-formal specifications to static analysis, fuzzing, and testing.

  • Informal and semi-formal specifications and verification
  • Introducing and maintaining static analysis tools, e.g. Coverity Static Analysis or Infer
  • Introducing and maintaining a methodology for incorporating static analysis into our
    development process
  • Worst-case-execution-time analysis and verification
  • Coverage analysis and test-set completion
  • Developing requirements specifications and system-design documents
  • Planning and executing R&D projects for the above points
  • Experience with formal methods, static analysis, or worst-case execution time analysis
  • Internals of OS or strong motivation to dive into low-level details
  • Basic knowledge of C, C++
  • Software development processes and tools (git, bug trackers, cross compilers)
  • Experience with hypervisors and microkernels a plus
  • Master or Diploma in Computer Science, Computer Engineering, Electrical Engineering, or similar education

* Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.