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 for • Strong 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 generation low-level tooling, simulation and performance analysis low-level embedded or systems software, operating systems and real-time signal processing, numerical computation and ML inference Master’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 have • Parallel 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. DROP US YOUR LINKEDIN PROFILE OR CV Other Openings • Senior Software Engineer (Processor Software Stack) • Verification Engineer • Synthesis Engineer • Compiler Engineer (P&R Heuristics)