System / Test Engineer Operating Systems (m/f/d) · Kernkonzept GmbH

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

Responsibilities

• 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

Skills & Education

• 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.