About the role
Responsibilities:
- Own custom LLVM backend passes, instruction selection (SelectionDAG / GlobalISel), MIR-level optimizations, and register allocator improvements for real-time execution paths.
- Build compiler fuzzing infrastructure and formal verification frameworks (Alive2 / SMT), with zero miscompilations in safety-critical pipelines.
- Implement device drivers and protocol stacks (USB, SPI, I2C, UART, PCIe, and CAN) for real-time biosignal acquisition.
- Work with Linux kernel subsystems, RT-PREEMPT, SCHED_FIFO, and kernel modules for deterministic biosignal scheduling.
- Profile and optimize across CPU / GPU architectures using perf, gdb, Nsight, rocprof, valgrind, and eBPF. Author SRDs and SDDs; lead design reviews and mentor engineers across C++, LLVM, and embedded systems.
- Collaborate with hardware teams on silicon bring-up and BSP development ahead of tape-out.