Senior Formal Verification Engineer

About UsNuro is at the forefront of self-driving technology, dedicated to making autonomy available to everyone. Established in 2016, we are developing the most scalable autonomous driver, integrating advanced AI with top-tier automotive hardware. The Nuro Driver™ technology is licensed for various applications, including robotaxis, commercial fleets, and personal vehicles. With years of successful self-driving implementations, Nuro paves the way for automakers and mobility platforms to achieve commercial-scale autonomous vehicles, fostering a future that is safer, more integrated, and enriched.Role OverviewAs a Senior/Staff Software Engineer specializing in driving behavior verification, you will play a crucial role in developing metrics to assess the complete behavior of the Nuro Driver. These metrics will be pivotal in quantifying the safety of our driving behavior within designated operational domains (ODD). Your background in behavior planning or prediction systems for robotics, along with a collaborative spirit, will allow you to effectively engage with diverse teams across Nuro, including Systems, Onboard Software, Simulation, Product, and Operations.Key ResponsibilitiesCreate and implement generalized metrics in Python to validate the driving behavior of autonomous vehicles.Utilize a mix of machine learning models and safety metrics from established literature to analyze end-to-end driving performance.Test and evaluate these metrics through various methods: synthetic and log simulations, on-road data, closed-course tests, and third-party accident analyses.Collaborate with Systems, Behavior, Perception, Data Science, Product, Legal, and Public Trust teams to define acceptance criteria for metrics and tests.Work alongside simulation infrastructure and test integration teams to establish automated verification processes.Produce comprehensive performance and validation reports demonstrating the safety of the autonomous system for deployment within our target ODD.

Company OverviewID.me is at the forefront of digital identity verification, creating a next-generation wallet that simplifies how individuals securely prove their identity online. With over 152 million users, we enable seamless logins across various platforms, eliminating the need for multiple logins and verifications. Our services are utilized by 20 federal agencies, 45 state governments, and more than 70 healthcare organizations. Over 600 consumer brands leverage our technology to build authentic relationships and honor community service. ID.me adheres to the federal standards for consumer authentication set by the Commerce Department and is recognized as a NIST 800-63-3 IAL2 / AAL2 credential service provider by the Kantara Initiative. We are committed to ensuring that no one is left behind in the digital identity landscape. To explore more about us, visit https://network.id.me/.Role OverviewWe are on the lookout for a Staff Software Engineer to join our Wallet – Authentication & Verification Experiences team. This pivotal team is responsible for the core authentication and identity verification processes that millions of users depend on daily, including secure logins, multi-factor authentication, passkeys, and biometric integrations. As a Staff Engineer, you will serve as a technical cornerstone in one of the most crucial and high-traffic engineering domains at ID.me, steering architectural decisions, leading complex cross-functional projects, and elevating our standards for engineering quality, security, and reliability. You will work closely with product, security, and platform teams to shape the future of authentication and verification experiences at ID.me.This position requires on-site work at our Mountain View, CA office five days a week.

As a Senior Software Engineer specializing in Perception Verification at Waymo, you will play a crucial role in enhancing the safety and performance of autonomous driving technology. Your expertise will guide the development of innovative algorithms and systems that validate perception capabilities, ensuring our vehicles can navigate the complexities of real-world environments.This position offers an exciting opportunity to work at the forefront of technology, collaborating with a talented team of engineers and researchers dedicated to revolutionizing transportation.

About Our TeamThe Systems Engineering team at Nuro plays a pivotal role in defining the requirements, architecture, and validation processes for our autonomous driving capabilities. We focus on establishing performance metrics, evaluation methods, and success criteria that guide cross-functional efforts through requirement definitions and system validations. Operating at the intersection of hardware, software, and robotic operations, we possess a profound understanding of technologies across these domains. Our small, high-impact team sets the benchmarks for autonomy deployment.About the RoleAs a Senior/Staff Software Engineer specializing in Fault Response Verification, you will collaborate closely with our Autonomy development, evaluation infrastructure, and data science teams. Your responsibilities will include defining system-level behavior requirements in the presence of faults, developing metrics to identify requirement violations, creating innovative validation tools and pipelines for integration into our Safety Case and risk assessment frameworks, and contributing to risk quantification. Your work will significantly influence our immediate deployments and long-term autonomy feature roadmap, enhancing Nuro's operational fleet.Key ResponsibilitiesAnalyze the system-level implications of Nuro’s autonomy architecture and software to understand the interdependencies of failure modes and fault responses.Establish requirements for fault response, decomposing them through the autonomy software and hardware framework.Lead fault-centric validation from prototype through to production testing.Develop tools and data engineering frameworks to inject faults into the autonomy stack and interpret simulation, on-road, and closed-course testing results to evaluate mission capabilities and safety.Work with autonomy developers to identify high-impact metrics and performance indicators that assess our robots’ readiness to operate autonomously under degraded software states.Enhance tooling for automated evaluation of test logs to verify compliance with contingency requirements.About YouProven experience in software engineering with a focus on fault response verification.Strong analytical skills and the ability to work collaboratively in a fast-paced environment.Passion for autonomous systems and a commitment to safety and reliability.

Reliable Robotics is seeking a Senior Flight Software Verification Engineer based in Mountain View, CA. This position centers on verifying and validating flight software used in autonomous flight operations. Role overview The Senior Flight Software Verification Engineer leads initiatives to ensure the quality and reliability of flight software. Work in this role directly affects the safety and performance of advanced aviation systems. Key responsibilities Verify and validate flight software for autonomous aircraft systems Lead efforts to confirm software meets safety and reliability standards Support safe and efficient autonomous flight operations through rigorous testing Impact This position plays a central part in maintaining the safety of advanced aviation systems by focusing on the dependability of flight software.

Join Waymo, a leader in autonomous vehicle technology, as a Senior Software Engineer specializing in Behavior Test Engineering. In this role, you will collaborate with cross-functional teams to design, develop, and implement robust test frameworks that ensure the safety and reliability of our self-driving technology.Your expertise will contribute to creating innovative solutions that push the boundaries of what is possible in autonomous driving. You will be responsible for enhancing the testing processes and ensuring our software meets the highest standards of quality and performance.

Who We AreNuro is pioneering self-driving technology with the goal of making autonomy available to everyone. Established in 2016, Nuro is developing the world's most scalable autonomous driver, integrating advanced AI with automotive-grade hardware. Our core technology, the Nuro Driver™, is licensed for a variety of uses, ranging from robotaxis and commercial fleets to personal vehicles. With years of successful self-driving operations behind us, Nuro is paving the way for automakers and mobility platforms to implement autonomous vehicles at commercial scale, fostering a safer, more connected future.About the RoleAs a Senior/Staff Systems Engineer focusing on Autonomy Verification, your key responsibility will be to ensure the Nuro Driver's safety for deployment within our defined Operational Design Domain (ODD) and adherence to traffic regulations. This role requires a background in autonomous systems development or validation and a collaborative spirit to work effectively with diverse teams including Autonomy Software, Simulation, Product, and Operations. You will hold comprehensive ownership from defining requirements to designing metrics and developing test strategies.About the WorkEstablish requirements for the autonomous system to guarantee safe operation within its ODD and compliance with traffic laws.Develop metrics and acceptance criteria to confirm that the autonomous system meets these requirements, leveraging established safety standards and methodologies.Utilize a variety of testing strategies - synthetic and log simulations, on-road logs, closed-course tests, and third-party accident reconstructions - to validate requirements.Work closely with teams in Behavior, Perception, Data Science, Product, Legal, and Public Trust to formulate acceptance criteria for metrics and tests.Collaborate with simulation infrastructure and test integration teams to establish automated verification workflows.Assess the coverage of tests for our ODD, ensuring realism and relevance in simulations for deployment. Connect test outcomes as evidence supporting the Autonomy Safety Case.

Waymo, a pioneer in autonomous driving technology, is dedicated to becoming the world's most trusted driver. Originating as the Google Self-Driving Car Project in 2009, Waymo has been at the forefront of advancing mobility solutions. Our flagship product, the Waymo Driver—The World’s Most Experienced Driver™, enhances access to safe transportation while significantly reducing traffic-related fatalities. This state-of-the-art driving system powers our fully autonomous ride-hailing service and is adaptable across a multitude of vehicle types and applications. Having completed over ten million rider-only trips and accumulated over 100 million miles driven autonomously on public roads, we are committed to redefining the future of transportation.Our Systems Engineering team is at the core of this innovation, merging software and hardware to set unparalleled performance benchmarks. We strive for excellence in vehicle operations, ensuring passenger safety while conducting rigorous testing to validate our systems. We seek enthusiastic team members who possess a collaborative spirit and a passion for impactful results.In this hybrid role, you will collaborate directly with a Senior Staff Test Engineer specializing in Driving Behaviors.

Role Overview matx is hiring a Rust Software-Silicon Co-verification Engineer in Mountain View, CA. This position focuses on building solutions that connect software and hardware verification. The engineer will work with teams across disciplines to support the design and implementation of silicon products. What You Will Do Work with cross-functional teams to align software and hardware verification processes Apply Rust programming skills to co-verification tasks Support the development and validation of silicon products Location Mountain View, CA

About Us Nuro is an innovative self-driving technology firm dedicated to making autonomy accessible for everyone. Established in 2016, Nuro is on a mission to build the world’s most scalable autonomous vehicle, integrating advanced AI with automotive-grade hardware. We license our core technology, the Nuro Driver™, to facilitate a variety of applications, including robotaxis, commercial fleets, and personal vehicles. With a proven track record in self-driving deployments, Nuro provides automakers and mobility platforms a straightforward pathway to commercial-scale autonomous vehicles—creating a safer, richer, and more interconnected future. Role Overview The Behavior Planning Team at Nuro is responsible for advancing the Nuro Driver’s prediction and planning systems to enable secure, driverless autonomy. We seek talented software engineers to explore, develop, and implement technologies for our planning stack, ensuring safe rides across diverse roadways. This role involves creating a versatile and scalable machine learning planner capable of powering Level 4 driving for robotaxi applications and serving as a Level 2 solution for leading automobile manufacturers globally. The Nuro Driver™ operates in various environments, from structured streets and highways to unstructured areas like parking lots and busy traffic situations. You will design and develop cutting-edge algorithms that empower the Nuro Driver to adeptly plan and navigate intricate scenarios with human-like proficiency. Your work will focus on formulating intelligent strategies to utilize diverse datasets effectively, optimizing our learned behavior stack. If you are eager to implement state-of-the-art robotics and machine learning technologies in a collaborative setting with immediate impact, we invite you to join our team! Responsibilities Design and implement innovative robotics and machine learning technologies for the Nuro Driver. Collaborate cross-functionally with engineers in behavior, perception, mapping, and ML research to push the boundaries of autonomous driving. Translate theoretical solutions into production-ready software to deploy new technologies on real vehicle platforms safely, efficiently, and at scale. Provide mentorship and technical guidance to junior members of the behavior team. Qualifications PhD or Master’s Degree in robotics, computer science, mechanical/aerospace engineering, electrical engineering, mathematics, or a related field. Expertise in robotics with a focus on path planning, motion planning, trajectory generation, behavior planning, and optimal control. Experience with machine learning techniques such as deep learning, reinforcement learning, and data-driven decision-making.

Job Title: Senior Staff Software Engineer - Enzyme Location: Mountain View, California At Databricks, we are driven by a passion for empowering data teams to tackle some of the world’s most intricate challenges—from revolutionizing transportation to accelerating medical advancements. We achieve this by developing and managing the leading data and AI infrastructure platform, enabling our customers to harness deep data insights to elevate their businesses. The Lakeflow Engineering team at Databricks oversees our comprehensive ETL product line, including innovative solutions like Materialized Views, Structured Streaming, and Delta Live Tables. We operate one of the largest data engineering platforms globally, processing exabytes of data daily for our extensive client base. We are in search of a committed technical leader to guide the Materialized Views engineering team. This team is tasked with creating next-generation Materialized View features that enhance both ETL workloads and query acceleration. In this role, you will engage in various areas to design and implement advanced systems that surpass current state-of-the-art: Incrementally maintaining materialized views Optimizing query performance Managing resources efficiently Developing effective storage structures Automating physical data optimization Your Impact: Address significant business needs at a large scale through your software engineering expertise. Deliver a robust, scalable, and fault-tolerant architecture for Materialized Views. Conduct low-level systems debugging, performance measurement, and optimization on large production clusters. Shape architecture design, influence product roadmaps, and assume ownership of new projects. Introduce tools that enhance automation and operational efficiency of services. Utilize your extensive experience to help preempt and resolve production issues. Plan and lead complex technical projects collaborating with multiple teams across the organization.

About Us Nuro is at the forefront of self-driving technology, striving to make autonomous driving accessible to everyone. Established in 2016, we are dedicated to developing the world’s most scalable driver by merging advanced artificial intelligence with automotive-grade hardware. Our flagship technology, the Nuro Driver™, is licensed across various applications, including robotaxis, commercial fleets, and personal vehicles. With proven technology from years of successful self-driving deployments, we provide automakers and mobility platforms with a clear pathway to commercial-scale autonomous vehicles, paving the way for a safer, more connected future. Role Overview At Nuro, we prioritize a machine-learning-centric approach to autonomous driving. The performance of our systems relies significantly on the volume and diversity of training and evaluation data. Our team is vital in enhancing autonomous driving systems by ensuring high-quality labeled data accessibility. This is achieved through a sophisticated labeling stack that includes a workflow execution framework, supporting infrastructure, and an array of data annotation tools. Our autonomy stack is powered by an industry-leading sensor suite, capable of efficiently processing and annotating millions of sensor data points weekly. The platform team's mission is to ensure that labeled data is readily available for all users. Our systems must be dependable and scalable, encompassing everything from request submissions to progress tracking, data dumping, and model development. We work closely with autonomy engineers to guarantee the labeled data's quality and comprehensiveness. As Nuro expands its services, it becomes increasingly critical to capture and promptly triage all issues. Key Responsibilities Develop and maintain highly available and fault-tolerant systems for data annotation. Productionize core infrastructure for our cutting-edge autonomy system. Enhance label quality through data-driven metrics and monitoring. Leverage state-of-the-art ML research to automate and optimize the data labeling lifecycle. Qualifications Bachelor's or Master's degree in a relevant field with 5+ years of industry experience. Proven experience in designing, building, and operating highly scalable and reliable distributed data systems. Demonstrated ability to lead cross-functional projects with strong communication skills. Expertise in data processing and machine learning techniques.

Coupang is a major force in South Korean e-commerce, focused on making daily life easier for millions of customers. The company combines the energy of a startup with the reach and stability of a global public business, supporting rapid innovation and new service launches. Team members value initiative, growth, and the opportunity to make a real impact. About the Role The Senior Staff Software Engineer - Security will play a central role in strengthening the security and reliability of Coupang’s core platforms. This position is based in Mountain View or Seattle. The work centers on technical leadership, architecture, and hands-on software development. The goal: build secure, dependable, and scalable systems that support Coupang’s growth and protect customer trust. What You Will Do Lead security architecture and design for backend systems Drive technical decisions that improve platform security, quality, and reliability Mentor and guide fellow engineers on security best practices Collaborate closely with product teams on high-impact projects Contribute directly to codebases, setting high standards for secure development What We’re Looking For Extensive experience in software engineering with a focus on security Strong background in building and scaling secure backend systems Proven ability to provide technical leadership and architectural direction Experience mentoring engineers and collaborating across teams Join Coupang to help shape the future of commerce and make a lasting difference in a high-tech, connected world.

Join Databricks as a Senior Staff Software Engineer focusing on Lakeflow Pipelines Datasets. In this pivotal role, you will be at the forefront of developing scalable data processing solutions that empower organizations to harness the full potential of their data. Your expertise will directly contribute to the enhancement of our Lakeflow platform, ensuring seamless data integration and processing workflows.As part of a dynamic team, you will collaborate closely with product managers, data scientists, and other engineers to design and implement robust pipelines that can efficiently handle large datasets. This role offers the opportunity to influence architectural decisions and drive best practices in data engineering.

At Databricks, we are committed to empowering data teams to tackle some of the world's most significant challenges—ranging from revolutionizing transportation to accelerating medical breakthroughs. Our mission is realized through the development and management of the foremost data and AI infrastructure platform, enabling our clients to derive deep insights from their data to enhance business outcomes. Founded by engineers and driven by a passion for customer success, we eagerly embrace each opportunity to confront technical hurdles, from innovating next-generation UI/UX for data interaction to scaling our services across millions of virtual machines. Our journey has just begun.As a Senior Staff Software Engineer, you will be a pivotal member of the executive leadership team within the Data Platform organization. You will utilize cutting-edge AI developer tools and methodologies to construct the Data Intelligence Platform, which will facilitate automated decision-making across Databricks. This role involves collaboration with distinguished Tech Leads, product teams, data scientists, and others. You will shape the future of various tools, including logging, orchestration, data transformation, metric stores, governance platforms, and data consumption layers.

About UsAt Gatik, we are pioneering the future of autonomous middle-mile logistics. Our innovative approach to B2B supply chain management leverages autonomous transportation-as-a-service (ATaaS), ensuring safe and reliable deliveries while optimizing freight movement and alleviating congestion. We have made history by launching the world’s first fully driverless commercial transportation service in partnership with Walmart in 2021. Our Class 3-7 autonomous trucks are actively operating in key markets such as Texas, Arkansas, and Ontario, Canada, driving transformative change in the freight transportation industry.Our proprietary Level 4 autonomous technology, Gatik Carrier™, is meticulously engineered to facilitate secure and efficient freight transport between designated pick-up and drop-off points on the middle mile. With advanced capabilities in both highway and urban settings, Gatik Carrier™ seamlessly integrates sophisticated software and hardware that powers our fleet, thereby ensuring smooth incorporation into our clients' logistics operations.Role OverviewWe are on the lookout for a Senior or Staff Software Engineer who possesses extensive expertise in Visual Odometry (VO) and Localization to become a vital member of our autonomy team. This position is essential for the creation of precise, real-time vehicle localization systems utilizing camera-based perception for autonomous driving applications. The ideal candidate will have practical experience in deploying VO systems in real-world settings, particularly within the autonomous vehicle (AV) sector, and will demonstrate strong C++ engineering capabilities to develop robust, high-performance software solutions.This role requires onsite presence five days a week at our Mountain View, CA office.

Join our innovative team at ServiceNow as a Senior Staff Software Engineer specializing in Agentic AI Systems. In this critical role, you will lead the design, development, and implementation of cutting-edge AI solutions that enhance our customer experience and drive operational efficiency. You will work collaboratively with cross-functional teams to create scalable and robust systems that utilize advanced machine learning techniques.

Join LinkedIn as a Senior Staff Software Engineer specializing in High-Performance Computing (HPC) Network Engineering. In this pivotal role, you'll design and implement cutting-edge network solutions that enhance our HPC capabilities and drive innovation across our products. Collaborate with a dynamic team of engineers and contribute to the optimization of our network infrastructure to ensure exceptional performance and reliability.

Waymo is a leader in autonomous driving technology dedicated to becoming the most trusted driver in the world. Originating from the Google Self-Driving Car Project in 2009, our focus has been on creating the Waymo Driver—an exceptional driver that enhances mobility access while significantly reducing traffic-related fatalities. The Waymo Driver not only supports our fully autonomous ride-hailing service but can also be adapted to various vehicle platforms and applications. With over ten million rider-only trips completed, our technology has safely navigated more than 100 million miles on public roads and processed tens of billions of miles in simulation across over 15 U.S. states.The Perception Data team at Waymo plays a critical role in shaping the strategy and technical direction for all data utilized in training and evaluating the Waymo Driver's perception capabilities. We manage the complete data lifecycle, developing automated systems and 'infrastructure-as-product' solutions that convert vast amounts of driving sensor data into high-quality training datasets. Our team tackles complex challenges, including active learning loops and open-vocabulary modeling, bridging raw data with advanced machine learning techniques.By integrating data ingestion, curation, and evaluation into a unified ecosystem, we facilitate the swift development of foundational models and next-generation perception systems. We work closely with Machine Learning, Infrastructure, and Evaluation teams to address intricate data challenges, ensuring our models can effectively interpret the long-tail of rare events. Ultimately, our contributions lay the groundwork for the Waymo Driver to operate safely in diverse environments.