Formal Verification Technical lead ב-Dialog · Trevo