Research Engineer - Formal Methods at Code Metal | Standout | Standout