Software Verification Engineer Jobs

We automate how over $200B in annualized spend flows in and out of 70,000+ companies: authorizing payments, flagging risk, categorizing spend, and closing books. The problems are high-stakes, data-dense, and unforgiving. We hire people with high agency and high urgency. We look…

We automate how over $275B in annualized spend flows in and out of 85,000+ companies: authorizing payments, flagging risk, categorizing spend, and closing books. The problems are high-stakes, data-dense, and unforgiving. We hire people with high agency and high urgency. We look…

Software Engineer, Security, Stablecoin at Ramp in New York, NY, United States. Full-time · Remote · $189K – $330K/yr.

Software Engineer, Stablecoin at Ramp in New York, NY, United States. Full-time · On-site · From $10K/yr.

We are seeking a Senior Java Software Engineer who will be responsible for architecting, developing and maintaining a fingerprint application in support of the Cybersecurity Intelligence Team (CIT) TTO . They will provide primary expertise spanning Spring Framework 6 Java 17,…

Salary Range: PLN 196,000 - 265,000 Subject to alignment to the responsibilities and duties of the role About the job As a Software Engineer in the Collectives Team, you’ll help develop the Collectives Communication Library for new AI hardware accelerators. The library enables…

Why Lovable? Lovable is the software creation platform that gives people the power to act on the problems closest to them. For decades, turning an idea into software required so much capital, technical fluency, and time that many ideas never came to life. Lovable is the…

We require a developer for a high priority and highly visible malware analysis modernization program. The individual will work with a team of dynamic and innovative engineers to develop new capabilities supporting the virtual malware containment enclave . The individual will…

About the Role We are looking for a Software Engineer: IaC Platform Experience to join our Interfaces team and own the Terraform provider as a core part of Supabase's developer platform. This is a hands-on engineering role focused on the Go codebase behind the Supabase Terraform…

Compute is our newly launched microVM architecture for running agentic workloads, operating alongside our existing Edge Functions service for server-side TypeScript functions distributed globally at the edge. We want developers to be able to build truly global applications by…

By unifying Digital Risk Protection, Human Risk Management and Email Security, Doppel connects threats into a real-time intelligence graph to power fast

Software Engineer, Detection (TOR) at Doppel in Toronto, Ontario, Canada. Full-time · C$157K – C$367K/yr.

About Us Salient builds AI agents for regulated financial services. Our agents automate loan servicing, compliance, collections, recovery, insurance claims, and disputes for banks, captives, and specialty lenders. We are: Backed by a16z and Y Combinator, with $75M raised in…

Who We Are Nuro believes self-driving vehicles are the most immediate and profound opportunity for AI to drive positive change in the physical world. Safer streets, more time for what matters, and easier access to the world around us, that’s why we’re building a universal…

OUR MISSION At Redwood, we empower our customers with lights-out automation for their mission-critical business processes. ABOUT US Redwood Software is the leading orchestration platform for the autonomous enterprise, driving business transformation at the lowest total cost of…