Formal Verification Engineer | Lightcast Titles Taxonomy