Senior/Staff Software Systems Engineer - Software Health and Complexity

{
  "content_hash": "8eb5d4786818c747ccd5fffe5372955c659a125f8887c13ec6bb13e3dcc2b328",
  "source_hash": "c95047b173513c2e28bd5a800a775d4598a96e5e71535efefac087f35051072b",
  "last_changed_at": "2026-06-11T07:56:10.187Z",
  "active_status": "active"
}

{
  "dedupe": null,
  "language": "en",
  "location": {
    "raw": "Foster City, CA",
    "city": "Foster City",
    "region": "CA",
    "country": "United States",
    "is_remote": false,
    "confidence": 0.9
  },
  "salary_max": 300000,
  "salary_min": 208000,
  "inferred_at": "2026-06-23T07:56:06.388Z",
  "launch_scope": {
    "reason": "english_us_canada",
    "included": true,
    "language": "en",
    "location": {
      "raw": "Foster City, CA",
      "city": "Foster City",
      "region": "CA",
      "country": "United States",
      "is_remote": false,
      "confidence": 0.9
    },
    "countries": [
      "United States"
    ]
  },
  "remote_policy": "hybrid",
  "salary_period": "year",
  "workplace_type": "hybrid",
  "salary_currency": "USD"
}

{}

{
  "lists": [
    {
      "text": "In this role, you will: ",
      "content": "\n<li>Develop and employ formal languages and models to describe intended software/system behaviors.</li>\n<li>Leverage third-party or build in-house tools to generate formal design and validation tests.</li>\n<li>Implement and integrate tools to verify that software/systems behave as intended.</li>\n<li>Integrate analysis and verification into existing processes, workflows, tools, and other infrastructure.</li>\n<li>Lead various systems engineering activities that are essential for a successful launch of safety-critical software on a self-driving vehicle.</li>\n"
    },
    {
      "text": "Qualifications:",
      "content": "\n<li>Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 7+ years of experience.&nbsp;</li>\n<li>Strong problem-solving, leadership, and mentoring skills in a fast-paced, safety-focused environment.</li>\n<li>Strong formal methods background with good understanding of logic, formal languages, automata theory, and model checking</li>\n<li>Experience applying modeling and analysis techniques to software systems.&nbsp;</li>\n<li>Strong programming skills in Python and C++ in real-time safety-critical applications and programming language fundamentals, object-oriented programming, memory management, performance, etc.</li>\n"
    },
    {
      "text": "Bonus Qualifications:",
      "content": "\n<li>Contributed to formal methods research and/or implementations.</li>\n<li>Shipped software products to market in production automobiles, aircraft, spacecraft, or other systems that require safety-critical software in embedded hardware.</li>\n<li>Experience with standards such as DO178, ISO26262, SPICE or ASPICE, ISO12207, IEC61508, EN50128, etc.</li>\n"
    }
  ],
  "country": "US",
  "createdAt": 1781126829533,
  "updatedAt": null,
  "categories": {
    "team": "Software Systems",
    "location": "Foster City, CA",
    "commitment": "Full-time",
    "department": "Software",
    "allLocations": [
      "Foster City, CA"
    ]
  },
  "salaryRange": {
    "max": 300000,
    "min": 208000,
    "currency": "USD",
    "interval": "per-year-salary"
  },
  "workplaceType": "hybrid"
}