. This position is an opportunity to shine as a leader of an exceptional team while building technologies to support Formal Methods... and proofs and improve understanding and performance of such systems. What You Will Do Build and advance a Formal Methods...