Formal Verification — Staff Applications Engineer