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 Basic familiarity with hardware debug interfaces Solid understanding of computer architecture and processors Software development processes and tools (git, bug trackers, cross compilers) Master or Diploma in Computer Science, Computer Engineering, Electrical Engineering, or similar education

Planning and executing strategic R&D projects in the field of operating systems Working with customers, analyzing customers' requirements Designing and developing operating system components

Knowledge of operating systems, OS kernels, and low-level software C and C++, scripting languages (e.g. Shell, Python, Perl, or Lua) Assembly language/Rust is a plus Computer architecture and low-level computer programming Basic knowledge of x86, ARM, or RISC-V Software development processes and tools (git, bug trackers, cross compilers) Keen to work in a team of skilled engineers, open mind for technology and fellow people Experience with the L4Re Operating System a plus Experience in academic or industrial research a plus Master or Diploma in Computer Science, Computer Engineering, 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

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

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

Informal and semi-formal specifications and verification Introducing and maintaining static analysis tools, e.g. Coverity Static Analysis or Infer Introducing and maintaining a methodology to incorporate static analysis into our development process Worst-case-execution-time analysis and verification Coverage analysis and test-set completion Developing requirements, specifications and system-design documents Planning and executing R&D projects for the above points

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

Career at Kernkonzept

We are focused on systems engineering and architectures. Build the future of trusted operating systems with us!

DO I FIT INTO THE TEAM?

How does it feel to work at Kernkonzept?

We work with Linux OS and almost exclusively with open source software. We have colleagues who are conjurers with emacs – others with vim. There are keyboard enthusiasts who are discussing the advantages of red and blue Cherry MX switches, book lovers with various Douglas’, Lems or Pratchetts in the shelves (Yes, real books!), walking movielexicons (even the b-ones) who can cite Chuck Norris or have experience behind and in front of the camera already. Furthermore there are some sporty spices who ride the Dresdner Heide with their fullies at Wednesdays lunch break. But tennis, high diving or cracking jokes are ok, too.

At Kernkonzept you will work in an international team, so you can speak English all the time and become acquainted with the different cultures of our Canadian, Brazilian, Czech, or German colleagues.

Flexible, talent driven, respectful cooperation

Your career at Kernkonzept

There are no fixed career paths at Kernkonzept. We want you to grow your career according to your talents and interests.
We encourage you to acquire further specializations, whether in software engineering, product or key account management. We provide several days off and sponsor your choice of training.
Flexible working arrangements with reduced working time are common and possible.
Our work is characterized by middle and longterm customer projects and our own product development. Short-term orders and tight deadlines do occur, but they are not part of our work ethic.
We do not engage in rigorous project management routines, you will work in organically grown functional teams with sufficient time.
We have an open and friendly working environment that fosters learning and growth.
Respectful cooperation and appreciation are very important for everyone here.
Obviously: there is a close proximity to hardware.

More benefits:

Work with us

Build the future of Trusted Operating Systems

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

See our job listings below or contact us.

Research and Industry

Collaboration

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

Advantages of working with us:

Get in touch

Want to join our team?

Christiane is our HR contact and has been responsible for all employees at Kernkonzept since 2016. Get in touch with her!

Software Engineer Embedded Systems/ Real-Time (m/f/d)^*

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
Basic familiarity with hardware debug interfaces
Solid understanding of computer architecture and processors
Software development processes and tools (git, bug trackers, cross compilers)
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.

Kernkonzept is looking for experts to join the core development team working on Kernkonzept’s L4Re Operating System.

Help us keep our system up to date with changing technologies and meet our customer’s needs!

Responsibilities

Planning and executing strategic R&D projects in the field of operating systems
Working with customers, analyzing customers' requirements
Designing and developing operating system components

Skills & Education

Knowledge of operating systems, OS kernels, and low-level software
C and C++, scripting languages (e.g. Shell, Python, Perl, or Lua)
Assembly language/Rust is a plus
Computer architecture and low-level computer programming
Basic knowledge of x86, ARM, or RISC-V
Software development processes and tools (git, bug trackers, cross compilers)
Keen to work in a team of skilled engineers, open mind for technology and fellow people
Experience with the L4Re Operating System a plus
Experience in academic or industrial research a plus
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.

Operating System Engineer (m/f/d)^*

in Dresden, Germany

Quality Assurance Engineer (m/f/d)^*

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

^* 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 to bring our L4Re Operating System 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
Experience in academic or industrial research 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.

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

in Dresden, Germany

System Verification Engineer (m/f/d)^*

in Dresden, Germany

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
Introducing and maintaining static analysis tools, e.g. Coverity Static Analysis or Infer
Introducing and maintaining a methodology to incorporate static analysis into our
development process
Worst-case-execution-time analysis and verification
Coverage analysis and test-set completion
Developing requirements, specifications and system-design documents
Planning and executing R&D projects for the above points

Skills & Education

Experience with formal methods, static analysis, or worst-case execution time analysis
Internals of OS or 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 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.

Career at Kernkonzept