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 operating systems, scheduling, and real-time systems C, Assembly language; C++ a plus Basic familiarity with the Linux kernel, and openness for other OS kernels such as the L4Re microkernel Basic familiarity with hardware debug interfaces Interest in computer architecture Software development processes and tools (git, bug trackers, cross compilers) Bachelor’s, Master’s, or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

Planning and executing strategic R&D projects in the field of operating systems Collaboration with customers and analysis of customer requirements Design and development of operating systems components

Basic knowledge of operating systems, operating-system kernels, and microkernels C++, C, Assembly language Computer architecture and low-level computer programming Basic knowledge of x86, ARM, or MIPS Software development processes and tools (git, bug trackers, cross compilers) Motivation to work and cooperate with other engineers Experience with the L4Re operating system a plus Experience with academic or industrial research a plus Master’s or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

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 MIPS Experience with virtual machines and simulators a plus Bachelor’s, Master’s, or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

Design and development of verification and testing components Test specification, test writing, and automatic test generation Coverage analysis and test set completion Collaboration with the core development team and the verification team

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 C, C++ Experience with hypervisors and microkernels a plus Bachelor’s, Master’s, or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

Documentation of software-system architecture and system-development processes Collaborate with the core development team and quiz our developers about every detail of our system Draft and release manuals for certification purposes, concepts, and white papers Help write and release marketing material

Basic understanding, and willingness to learn much more, about operating systems Fluent spoken and written English and German Firm communication skills Experience as technical writer or editor a plus Bachelor’s, Master’s, Diploma in a technical field or in technical communications, or similar education

Informal and semi-formal specifications and verification Introduction and maintenance of tools for static analysis, such as Coverity or Facebook’s infer. Introduction and maintenance of a methodology for incorporating static analysis into Kernkonzept’s development process Worst-case-execution-time analysis and verification Coverage analysis and test-set completion Development of requirements specifications and system-design documents Planning and execution of R&D projects for the points above

Experience with formal methods, static analysis, or worst-case execution time analysis Internals of operating systems or a 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’s or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

Karriere bei Kernkonzept

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

PASSE ICH INS TEAM?

So arbeiten wir bei Kernkonzept

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, und Leseratten mit Stapeln von Douglas, Lem oder Pratchett im Regal (ja, echte Bücher!). Wandelnde Filmlexika (inklusive B-Movies) können Chuck Norris zitieren, andere fühlen sich vor oder hinter der Kamera wohl. Einige Sportskanonen shredden in der Mittagspause mit ihren „Fullies“ durch die Dresdner Heide. Aber auch Tischtennis oder Witzereißen sind als Hobbys vollkommen in Ordnung.

Bei Kernkonzept arbeitest du in einem internationalen Team. Du wirst also die ganze Zeit Englisch kommunizieren und die verschiedenen Kulturen unserer kanadischen, brasilianischen, tschechischen und deutschen Kolleg*innen kennenlernen.

Flexibel, talentorientiert, respektvoll und kooperativ

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.
Flexible Arbeitszeiten, Homeoffice und Modelle mit reduzierter Arbeitszeit sind bei uns ganz normal.
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.
Wir pflegen eine offene, freundliche Arbeitsumgebung, die individuelles Lernen und persönliches Wachstum unterstützt.
Respektvolle Zusammenarbeit und Wertschätzung sind sehr wichtig für alle hier.
Offensichtlich besteht bei uns eine große Nähe zu Hardware.

Mehr Vorteile:

Mit uns arbeiten

Wir erschaffen Zukunft: Trusted Operating Systems

Kernkonzept entwickelt Trusted Operating Systems für Sicherheitsanwendungen, verbundene Geräte und den Einsatz im Automobil-Bereich. Unser 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.

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

Forschung und Industrie

Kooperationen

Kernkonzept arbeitet mit Universitäten und Partnern in der Wirtschaft an den verschiedensten Forschungsprojekten, unter anderem zu sicherer industrieller Digitalisierung, IT Security, Hochleistungsrechnen und Hypervisor-Virtualisierung.

Vorteile an einer Zusammenarbeit mit uns:

Kontakt aufnehmen

Möchtest du dabei sein?

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

Software Engineer Embedded Systems / Realtime (m/f)^*

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.

Responsibilities

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

Skills & Education

Strong interest in low-level computer programming
Knowledge of operating systems, scheduling, and real-time systems
C, Assembly language; C++ a plus
Basic familiarity with the Linux kernel, and openness for other OS kernels such as the L4Re microkernel
Basic familiarity with hardware debug interfaces
Interest in computer architecture
Software development processes and tools (git, bug trackers, cross compilers)
Bachelor’s, Master’s, or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

^* “m/f” 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 that is working on Kernkonzept’s L4Re operating system. Help us to keep our system current with changing technologies and to meet our customer’s needs.

Responsibilities

Planning and executing strategic R&D projects in the field of operating systems
Collaboration with customers and analysis of customer requirements
Design and development of operating systems components

Skills & Education

Basic knowledge of operating systems, operating-system kernels, and microkernels
C++, C, Assembly language
Computer architecture and low-level computer programming
Basic knowledge of x86, ARM, or MIPS
Software development processes and tools (git, bug trackers, cross compilers)
Motivation to work and cooperate with other engineers
Experience with the L4Re operating system a plus
Experience with academic or industrial research a plus
Master’s or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

^* “m/f” Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.

Operating Systems Engineer (m/f)^*

in Dresden, Germany

Quality Assurance Engineer (m/f)^*

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.

Responsibilities

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

Skills & Education

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 MIPS
Experience with virtual machines and simulators a plus
Bachelor’s, Master’s, or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

^* “m/f” 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, and thus bring our L4Re operating system to flawlessness (or at least very close to it).

Responsibilities

Design and development of verification and testing components
Test specification, test writing, and automatic test generation
Coverage analysis and test set completion
Collaboration with the core development team and the verification team

Skills & Education

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
C, C++
Experience with hypervisors and microkernels a plus
Bachelor’s, Master’s, or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

^* “m/f” Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.

Systems / Test Engineer Operating Systems (m/f)^*

in Dresden, Germany

Technical Documentation Engineer – Software (m/f)^*

in Dresden, Germany

Kernkonzept is looking for experts with excellent writing skills, technical acumen, much attention to detail, and the ability to communicate technical solutions, who help us developing and releasing white papers, product documentation, certification documentation, and technical marketing material.

Responsibilities

Documentation of software-system architecture and system-development processes
Collaborate with the core development team and quiz our developers about every detail of our system
Draft and release manuals for certification purposes, concepts, and white papers
Help write and release marketing material

Skills & Education

Basic understanding, and willingness to learn much more, about operating systems
Fluent spoken and written English and German
Firm communication skills
Experience as technical writer or editor a plus
Bachelor’s, Master’s, Diploma in a technical field or in technical communications, or similar education

^* “m/f” Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.

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.

Responsibilities

Informal and semi-formal specifications and verification
Introduction and maintenance of tools for static analysis, such as Coverity or Facebook’s infer.
Introduction and maintenance of a methodology for incorporating static analysis into Kernkonzept’s
development process
Worst-case-execution-time analysis and verification
Coverage analysis and test-set completion
Development of requirements specifications and system-design documents
Planning and execution of R&D projects for the points above

Skills & Education

Experience with formal methods, static analysis, or worst-case execution time analysis
Internals of operating systems or a 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’s or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

^* “m/f” Kernkonzept is an equal opportunity employer and all our positions are open for applications of any gender.

Systems Verification Engineer (m/f)^*

in Dresden, Germany

Karriere bei Kernkonzept