"formal verification" Jobs

34 open tech roles matching “formal verification”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: AI/ML, Go, TypeScript. Every listing is re-checked daily and closed roles are removed.

Showing 14 of 34 results

Column
Column San Francisco, CA Published 4 years ago
Abridge

Lead the product strategy for Abridge's AI/ML evaluation platform, ensuring quality and efficiency across multiple product teams.

Abridge SF Office Published 2 months ago
AirGarage

Join AirGarage as a Sales Development Representative to drive growth through strategic outreach and customer engagement.

AirGarage San Francisco or Remote (United States) Published 1 month ago
Anthropic

Join Anthropic as a Research Engineer to enhance AI's coding capabilities through reinforcement learning in a collaborative environment.

Anthropic San Francisco, CA | New York City, NY $500k–$850k/yr Published 3 months ago
Flexible on stack
LaunchDarkly

Join LaunchDarkly as a Senior Developer Advocate to engage with the Bay Area developer community and shape the AI era of software.

LaunchDarkly Oakland, California, United States $152k–$210k/yr Published 1 month ago
Astranis

Lead the technical execution of multi-spacecraft flight programs for USG Government at Astranis, focusing on advanced satellite relay capabilities.

Astranis San Francisco $145k–$185k/yr Published 1 week ago
Anchorage

Lead government solutions at a pioneering digital asset platform, bridging the gap between digital infrastructure and public sector needs.

Anchorage United States Published 4 months ago
Assembled

Join Assembled as an Associate Deployment Strategist to lead technical deployments and enhance customer relationships.

Assembled San Francisco, CA $100k–$140k/yr Published 1 month ago
Abridge

Lead product strategy for foundational models and post-training at a growing healthcare AI startup in San Francisco.

Abridge SF Office Published 2 weeks ago
LaunchDarkly

Lead and scale the global accounting organization at LaunchDarkly during its next phase of growth.

LaunchDarkly Oakland, California, United States; Remote - US $214.8k–$295.4k/yr Published 1 month ago
Pinterest

Lead company-level Identity & Product Safety programs at Pinterest, ensuring user safety and account integrity.

Pinterest San Francisco, CA, US; Remote, CA, US $123.7k–$254.6k/yr Published 3 weeks ago
Gusto

Lead a team of Product Designers for Gusto's Banking products, focusing on both established and new offerings.

Gusto Denver, CO - Hybrid; New York, New York, United States; San Francisco, CA - Hybrid $178k–$253k/yr Published 1 week ago
LaunchDarkly

Lead the vision and strategy for LaunchDarkly's end-to-end data products, focusing on data integrity and customer experience.

LaunchDarkly Remote - US $214.8k–$295.4k/yr Published 1 month ago
Pinterest

Lead company-level programs in monetization at Pinterest, leveraging technical depth and business judgment to drive innovation.

Pinterest San Francisco, CA, US; Remote, US $163.6k–$336.9k/yr Published 1 month ago