Formal Verification Technical lead at Dialog · Trevo