Member of Technical Staff - Formal Methods · architect