Senior Staff Software Engineer, Infrastructure Spanner Team at Google — JAOS