Senior Principal Software Engineer

...pragmatism, and be focused on achieving results. Responsibilities We use formal specification and verification methods to help developers of complex systems find very subtle bugs that are unlikely to be caught by normal testing techniques. We focus on preventing the...