Software Verification Engineer Jobs

Senior Software Engineer - Economy Platform (Product Dynamics) at Roblox in San Mateo, CA, United States. $196.8K – $243.3K/yr.

EnCharge AI is building a new generation of AI compute systems designed to deliver dramatically higher energy efficiency for AI inference. Our technology combines innovative compute architectures with a full-stack software platform spanning silicon, firmware, drivers, compilers,…

Senior Software Engineer, Core UI at Roblox in San Mateo, CA, United States. Full-time · On-site · From $195.8K/yr.

About the Team Our mission at OpenAI is to discover and enact the path to safe, beneficial AGI. To do this, we believe that many technical breakthroughs are needed in generative modeling, reinforcement learning, large-scale optimization, active learning, and other areas. The…

The Community You Will Join: Imagine getting off a long international flight, standing in the freezing rain, attempting to contact your Airbnb host, only to realize that they are not responding because the Airbnb that you booked was not r

The Community You Will Join: Airbnb’s mission is to create a world where anyone can belong anywhere. Airbnb Payments team supports this mission by economically empowering Airbnb businesses and our global community of guests and hosts. Air

Join Syntronic: Where Your Innovation Shapes the Future At Syntronic, we don't just follow industry trends—we set them! Join us in partnering with visionary companies and the brightest minds to turn ground-breaking ideas into reality. Imagine working on cutting-edge telecom…

Software Engineer II, Platform at Bubble in New York, New York, United States. Full-time · Remote · $145K – $187K/yr.

Software Engineer II, Backend at Bubble in New York, New York, United States. Full-time · On-site · $145K – $187K/yr.

About Team Rubrik Atlas is the core data path for all Rubrik products, whether in the data center, at the edge, or in the cloud. It is a distributed, scale-out, fault tolerant, performant, deduplicated user-space filesystem that uniquely combines block device (ext4/NFS/SMB) and…

The Trade Desk is a global technology company and the world’s leading independent platform for digital advertising, with over 3,000 employees across more than 30 offices. Our technology helps advertisers reach the right audiences across the open internet — from streaming TV and…

About Anyscale: At Anyscale, we're on a mission to democratize distributed computing and make it accessible to software developers of all skill levels. We're commercializing Ray, a popular open-source project that's creating an ecosystem of libraries for scalable machine…

AI agents are transforming the way developers interact with software - and databases are no exception. We're seeking a Software Engineer to join our AI Interfaces team within AI Builder Experience (ABX), where you'll provide technical direction, shape architecture, and build the…

Seeking a motivated Senior Analytic Developer to support the exciting Analytic Solutions mission. The developer will partner with analysts, mission stakeholders, and fellow developers to create and evolve analytic capabilities that help identify targets, behaviors, and emerging…

Seeking a motivated Senior application developer to create custom analytics to perform at scale. The Senior application developer will work closely with data scientists and end users to develop innovative analytic tools to further discovery and tradecraft around critical global…