Senior Software Engineer (Processor Software Stack)

We are looking for a Senior Software Engineer who is at home across our processor software from ported libraries and the compiler down to bare-metal and operating systems. Your team will: develop our software stack, including compiler, mapping tools, low-level tooling, simulation and debug infrastructure; write bare-metal, firmware and OS-level software for our RISC-V SoC; implement and optimise signal-processing and inference kernels under real-time constraints; bring up, test and port software on pre-silicon platforms and on silicon, including low-level hardware tests; and work in a close feedback loop with our hardware designers.We are looking forStrong C, modern C++ (C++17/20, STL, Boost) and Python.A solid foundation in algorithms and in hardware/software system architecture.

Experience working close to the hardware, with a good understanding of system-on-a-chip design, processor architecture and microarchitecture, and some familiarity with RTL and hardware design. Experience with agentic programming. You know your way around all of these fields, and go deep in at least one:compiler development and code generationlow-level tooling, simulation and performance analysislow-level embedded or systems software, operating systems and real-timesignal processing, numerical computation and ML inferenceMaster’s degree (or equivalent experience) and 10+ years of relevant experience. Relocation required. Currently 4 days on-site, 1 day remote. Policy may change. Nice to haveParallel and data-flow execution models: SIMT, predicated execution, branch divergence. Mapping and optimisation algorithms: graph algorithms, place-and-route / EDA, CGRA or FPGA mapping, ILP solvers.

Kernel-level optimisation: vectorisation, data layout, memory hierarchy, fixed-point and quantised arithmetic. Post-silicon validation and hardware bring-up, including directed and random test generation. Porting code to new platforms. Exposure to: RISC-V, LLVM, CUDA, OpenCL, Verilog, Verilator, QEMU, GDB, JTAG and on-chip debug, OpenSBI, bootloaders, HAL, Linux kernel and device drivers, device tree, Zephyr, Yocto/OpenEmbedded, BLAS/LAPACK/OpenBLAS.