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 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 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
To apply for this job email your details to jobs@kernkonzept.com