Jobs at Kernkonzept - We’re hiring!

Join us at Kernkonzept

About Kernkonzept

Kernkonzept develops trusted operating systems for safe and secure applications, connected devices, and automotive applications. Our open-source L4Re microhypervisor powers government laptops, home appliances, secure networking gear, and home gateways, and in the future also cars, servers, sensors, and robots.

Additionally, Kernkonzept cooperates with universities and industrial partners in research projects exploring secure industry digitization, IT security, high-performance computing, and virtualization.

With customers, partners, and research associates such as Genua, Imagination Technologies, TU Dresden, and the prpl Foundation, we keep up with recent trends in security-centric design and operating-system technology.

Perks of working with us include:

  • We are very engineering centric and research oriented.
  • We help our employees grow and actively supporting their advanced training and education.
  • We are very family friendly and allow for flexible working schedules.

All positions listed on this page are based in our offices in Dresden, Germany (see map).

Operating Systems Engineer (m/f¹)

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 L4 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

Inquire / apply

Systems / Test Engineer Operating Systems (m/f¹)

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
  • Experience with academic or industrial research a plus
  • Bachelor’s, Master’s, or Diploma in Computer Science, Computer Engineering, or Electrical Engineering, or similar education

Inquire / apply

Quality Assurance Engineer (m/f¹)

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

Inquire / apply

Systems Verification Engineer (m/f¹)

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

Inquire / apply

Software Engineer Embedded Systems / Realtime (m/f¹)

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

Inquire / apply

Technical Documentation Engineer - Software (m/f¹)

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 with applying the scientific method
  • Experience as technical writer or editor a plus
  • Bachelor’s, Master’s, Diploma in a technical field or in technical communications, or similar education

Inquire / apply

Legal notices

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

How to apply

Please send your CV (PDF, please) and a statement of your specific qualifications and interests in working with us to jobs@kernkonzept.com, or simply say hello via any of the channels on our Contacts page.

Internship program

Kernkonzept welcomes internship applications from students, PhD students, and postgraduates interested in operating systems design, implementation, testing, and quality engineering, as well as in SME management and marketing.

Interested? Send us email stating your specific interest in working with us to jobs@kernkonzept.com!

Inquire / apply