Kernel Research Engineer

microTECH Global Limited; United Kingdom; On-site; GBP 50,000 - 70,000; Full time

Job summary

A leading technology company in Cambridge is seeking a Kernel Research Engineer for a fixed-term contract. The role involves researching, optimizing, and developing CPU microarchitectural features for a custom OS. Candidates should hold a Master/PhD in a relevant field and possess extensive experience with Linux kernel development. Strong programming skills in C, C++, assembly, and Python are essential. Apply via email to [e-mail] for more information.

Qualifications

• Master/PhD degree in Computer Science/Engineering/Physics required.
• Extensive experience with Linux kernel development needed.
• Strong programming skills in C, C++, assembly, and Python essential.

Responsibilities

• Research and develop CPU microarchitectural features.
• Design and optimize core kernel subsystems.
• Conduct performance analysis and optimization of kernel components.

Skills

Strong knowledge of computer architectures

Operating system internals

Linux kernel development

Programming in C

Programming in C++

Performance profiling

Education

Master/PhD in Computer Science/Engineering/Physics

Tools

Linux kernel profiling tools (perf, ftrace, eBPF)

Job description

Job Title: Kernel Research Engineer

Location: Cambridge, UK (Full Time On-Site)

Type: Fixed Term Contract

Duration: 12 Months (Highly Likely to Extend)

Key Responsibilities

• Research and develop CPU microarchitectural features optimized for our custom OS kernel and framework including ArkUI and ArkTS/JIT/AOT.
• Design, develop, and optimize core kernel subsystems for our custom OS including scheduler, memory management, and I/O subsystems.
• Design hardware-software co-optimization techniques to improve kernel performance and efficiency for our custom OS framework including ArkUI, ArkTS/JIT/AOT and Kotlin/JIT/AOT.
• Performance analysis and optimization of kernel components for mobile workloads and use cases.
• Optimize kernel for power efficiency and power consumption across CPU, SoC, and system-level components.
• Develop simulation frameworks for kernel-level and our custom OS framework (ArkTS/JIT/AOT, ArkUI and Kotlin/JIT/AOT) workload evaluation on future CPU designs.
• Propose microarchitectural enhancements for system optimization based on kernel profiling and characterization.
• Develop and implement power management policies and performance scaling strategies.

Requirements

• Master/PhD degree in Computer Science/Engineering/Physics etc.
• Strong knowledge of computer architectures, operating system internals, and mobile SoC design.
• Extensive experience with Linux kernel development including core subsystems (scheduler, memory management, VFS, networking).
• Strong programming skills in C, C++, assembly, and Python.
• Understanding of CPU privilege levels, MMU/IOMMU, and virtualization extensions.
• Experience with performance profiling and optimization at both kernel and microarchitectural levels.

Desirables

• Experience with Linux OS, Android OS or other microkernels.
• Strong knowledge of Arm architecture, TrustZone, TEE, exception handling, and interrupt processing.
• Experience with kernel profiling tools (perf, ftrace, eBPF, LTTng, SystemTap).
• Knowledge of RISC-V privilege specifications or Arm architecture reference manuals.
• Deep knowledge of power management frameworks, DVFS (Dynamic Voltage and Frequency Scaling), and CPU idle states.
• Understanding of real-time operating systems, or deterministic execution requirements.
• Experience with gem5, Sniper, or other cycle-accurate architectural simulators.
• Understanding of mobile platform power optimization techniques and thermal management.
• Experience with hardware-assisted virtualization and hypervisor design.
• Familiarity with Android kernel, AOSP, or other mobile OS kernel implementations.

If this sounds of interest, please apply here or reach out to [e-mail]