Website Kernkonzept GmbH
Kernkonzept develops the open-source L4Re Operating System Framework and Hypervisor for security/safety-critical and virtualization-enabled applications. We are based in Dresden, Germany, and provide software services for the security-sensitive, real-time, and embedded markets.
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.
To apply for this job email your details to jobs@kernkonzept.com