A former Google engineer recruited by Arvind Jain to co-found Glean and build its enterprise search platform.