Software Verification Engineer Jobs

About us Garage powers the exchange of critical assets across America’s essential industries. We started with fire departments, where purchasing mission-critical vehicles and equipment used to take months of paperwork, phone calls, and delays. Our agentic platform automates the…

In this role, you can expect to Design, develop, test, and scale

Software Engineer, Membership Experience at Chime Financial, Inc in San Francisco, CA, United States. $133K – $184K/yr.

About the Team DoorDash Labs is an independent team within DoorDash. We explore robotics and automation to transform last mile logistics in the long term. If you have a passion for applying robotics solutions in a service used by millions of people, then we want to talk to you!…

Senior Software Engineer, Client Systems (C++) at Roblox in San Mateo, CA, United States. Full-time · On-site · $195.8K – $242.1K/yr.

DoorDash Labs is an independent team within DoorDash. We explore robotics and automation to transform last mile logistics in the long term. If you have a passion for applying robotics solutions in a service used by millions of people, then we want to talk to you! We're hiring a…

About the Role We're looking for experienced engineers to build and scale the database infrastructure that powers Claude's products and Anthropic's research. As a Software Engineer on the Databases team, you'll architect and operate the systems that let millions

About the role We're looking for experienced engineers to build Anthropic's cache layer as a managed service from the ground up. The Caching team is part of the Databases organization and owns the systems that keep Anthropic's hottest paths fast and correct: a m

ABOUT BASETEN Baseten powers mission-critical inference for the world's most dynamic AI companies, like Cursor, Notion, OpenEvidence, Abridge, Clay, Gamma and Writer. By uniting applied AI research, flexible infrastructure, and seamless developer tooling, we enable companies…

About Vercel: Vercel is the agentic infrastructure company, freeing people and agents to ship what's next. For more than a decade we've helped builders move from idea to production with speed, security, and exceptional developer experience. Now we're scaling our products for…

At Snowflake, we are powering the era of the agentic enterprise. To usher in this new era, we seek AI-native thinkers across every function who are energized by the opportunity to reinvent how they work. You don’t just use tools; you possess an innate curiosity, treating AI as a…

About Tekion: Positively disrupting an industry that has not seen any innovation in over 50 years, Tekion has challenged the paradigm with the first and fastest cloud-native automotive platform that includes the revolutionary Automotive Retail Cloud (ARC) for retailers,…

Black Duck Software, Inc. helps organizations build secure, high-quality software, minimizing risks while maximizing speed and productivity. Black Duck, a recognized pioneer in application security, provides SAST, SCA, and DAST solutions that enable teams to quickly find and fix…

About the Team Codex is OpenAI's software engineering agent. Codex Security extends that work into one of the most important product areas in AI: helping organizations find, validate, prioritize, and fix real vulnerabilities in the software they build and depend on. The Codex…

Principal Software Engineer, Game Safety at Roblox in San Mateo, CA, United States. Full-time · On-site.