System Software Engineer

Strong system software (primarily ARM architecture) and low-level background. Currently works in low-latency/high-frequency trading. Interests include low-level programming, functional programming, distributed systems, formal modelling, web UI tooling, and command-line. Open to opportunities in system software or anything adjacent to these expressed interests.