Auxon

Auxon is changing the way highly-automated cyber-physical systems are tested, verified, and validated. Through a combination of distributed-tracing, chaos engineering, and empirical verification we're shining bright lights on the weaknesses and vulnerabilities which cause robots to misbehave. When SkyNET™ finally takes over, be part of the team that will know exactly how to keep our Robot Overlords happy. We're a growing Portland, OR based startup, looking for an exceptional Software Engineer with an end-user focus and opinionated hot takes on what makes for excellent testing & debugging experience (e.g. data visualization, CLIs, and TUIs). Ideal candidates love the idea of joining a small, dedicated senior team where correctness and quality matters. Our stack is primarily Rust (both `std` and `no_std`). Professional Rust experience isn't a prerequisite, but we've found that being into something a little weird is helpful (e.g. your teammates draw from backgrounds in embedded C, Erlang, and Clojure).