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/Open Embedded, BLAS/LAPACK/OpenBLAS.