Rust Software-Silicon Co-verification Engineer

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.

Join Nuro as a Senior Software Engineer specializing in Perception Data Infrastructure. In this pivotal role, you will be responsible for developing and optimizing systems that process perception data, enabling our autonomous vehicles to navigate safely and efficiently. You will collaborate with cross-functional teams to enhance our data infrastructure, ensuring reliability and scalability.

About the RoleJoin our dynamic team of experts where machine learning and systems engineering intersect to enhance the performance of autonomous systems. As a Senior Software Engineer specializing in Perception Machine Learning Data, you will play a crucial role in integrating machine learning advancements with autonomy infrastructure, ensuring that our models are trained using the most pertinent, diverse, and high-quality datasets. Your contributions will significantly influence how autonomous systems recognize uncommon scenarios, adapt to various geographical contexts, and operate safely at scale.Key Responsibilities Include:Utilizing Vision Language Models (VLMs) to compile diverse datasets that reflect real-world driving patterns across different regions.Creating high-fidelity synthetic data frameworks across multiple sensor modalities.Enhancing machine learning-powered validation processes for data quality and model preparedness.Your Impact:High-Output Generalist: Collaborate across various domains including autonomy, infrastructure, databases, simulation, and machine learning development, while expanding your expertise in Robotics and ML.Robotics Specialist: Develop cutting-edge solutions for data discovery, automated labeling, and synthetic data generation in close cooperation with the Infrastructure and Autonomy teams.About the WorkTackle the most demanding data challenges in autonomy by applying machine learning and rigorous systems engineering principles:Design hybrid systems that combine deep learning with traditional algorithms for scalable data curation and annotation.Create frameworks to evaluate the real-world authenticity of synthetic data and enhance the quality of synthetic data rendering.Develop tools to automatically identify data gaps that affect the performance of perception models.Collaborate with autonomy engineers to transform raw sensor data into prioritized training objectives, addressing critical gaps that hinder perception and autonomy performance.About YouBachelor’s degree in Computer Science, Robotics, Statistics, Physics, Mathematics, or a related quantitative field.Experience:4+ years of professional software engineering experience, proficient in Python and familiar with C/C++. Demonstrated ability to lead cross-functional technical projects from conception to execution.You have hands-on experience in implementing machine learning solutions and enjoy embedding them into practical systems. Your focus is on delivering impactful, integrated solutions rather than solely theoretical ML projects.Bonus PointsExperience working with synthetic or autonomous driving data.Background in building machine learning systems for robotic applications.

Waymo is leading the way in autonomous driving technology with a mission to be the world's most trusted driver. Originating from the Google Self-Driving Car Project in 2009, Waymo is dedicated to developing the Waymo Driver—The World’s Most Experienced Driver™—to enhance accessibility to transportation while preventing countless lives lost in traffic accidents. Our innovative Waymo Driver underpins our fully autonomous ride-hailing service and is adaptable to various vehicle platforms and applications. With over ten million rider-only trips facilitated by our technology, we have driven more than 100 million miles on public roads and logged tens of billions of miles in simulation across more than 15 U.S. states.The Perception Evaluation team at Waymo is pioneering advancements in autonomous driving, prioritizing the safety and reliability of our self-driving systems. Our team leverages state-of-the-art tools and methodologies to rigorously evaluate the performance of our perception systems, which are essential for the safe and effective operation of autonomous vehicles. We are currently seeking a Software Engineer to be instrumental in shaping the future of transportation and enhancing the quality and reliability of Waymo's autonomous vehicles.In this hybrid role, you will report directly to an Engineering Manager.

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.

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.

Aeva is seeking a talented Software Engineer to join our Perception Data Infrastructure team. In this role, you will be responsible for designing and developing scalable systems to manage and process perception data efficiently. You will work collaboratively with cross-functional teams to innovate and enhance our perception capabilities, contributing to the overall success of our cutting-edge technology.

About Us:Aeva is at the forefront of perception technology, revolutionizing a myriad of industries including automated driving, industrial robotics, consumer electronics, consumer health, and security. Our mission is to pioneer the next generation of perception technologies, integrating essential LiDAR components into a compact silicon photonics chip. Our cutting-edge 4D LiDAR sensors offer unique capabilities, such as instant velocity detection alongside 3D positioning, empowering autonomous devices like vehicles and robots to make smarter, safer decisions.Role Overview:We are seeking a passionate and experienced Senior Perception Engineer to enhance our classical perception algorithms stack. As a critical member of our dynamic team, you will delve into the capabilities of Aeva’s 4D FMCW LiDARs, pushing the boundaries of autonomous driving performance further than ever before.

Waymo is at the forefront of autonomous driving technology, driven by the mission to become the world’s most trusted driver. Born from the Google Self-Driving Car Project in 2009, Waymo has dedicated itself to developing the Waymo Driver—The World’s Most Experienced Driver™—to enhance mobility and save lives that are often lost in traffic accidents. The Waymo Driver powers our fully autonomous ride-hailing service, which can be adapted for various vehicle platforms and use cases. With over ten million rider-only trips completed and experience accumulated from driving over 100 million miles on public roads, alongside tens of billions of miles in simulation across more than 15 U.S. states, Waymo is redefining transportation.The Perception team is integral to the Waymo Driver's success, crafting cutting-edge technology that enables our autonomous systems to accurately understand their environment, make informed decisions in real-time, and transport passengers safely to their destinations. We engage in research to tackle real-world challenges and collaborate with other innovative teams at Alphabet. Our access to extensive driving data collected through diverse sensors empowers software engineers like you to create and scale multi-modal models and techniques.Our objective is to establish a robust foundation for a high-level Perception pipeline, which is a fundamental component of the self-driving system. We serve as the essential link between Waymo's hardware teams and the broader engineering organization focused on self-driving technology, defining sensor specifications, providing vital feedback, and simplifying system complexities.In this hybrid role, you will report directly to a Technical Lead Manager.

Waymo is a pioneering company in autonomous driving technology, dedicated to becoming the world's most trusted driver. Originating from the Google Self-Driving Car Project in 2009, we focus on advancing the Waymo Driver—The World’s Most Experienced Driver™—to enhance mobility access and prevent traffic-related fatalities. The Waymo Driver powers our fully autonomous ride-hailing service, having completed over ten million rider-only trips and amassed more than 100 million miles of real-world driving and tens of billions of miles in simulation across 15+ U.S. states.Our Compute Team plays a vital role in this mission by delivering the compute platform that runs the software stack of our fully autonomous vehicles. We design and develop high-performance custom silicon and system-level compute architectures that break barriers in performance, power, and latency. Our multidisciplinary team is searching for curious and skilled individuals to contribute to one of the highest performance automotive compute platforms in the world.This position follows a hybrid work schedule and reports to a Silicon Engineering Lead.Your Responsibilities:Define and execute the formal verification strategy for first-pass silicon success. Own the formal verification sign-off approach across intricate IP and SoC designs using advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC, etc.).Design and implement robust and scalable formal verification environments. Create and deploy reusable formal testbenches, methodology flows, and comprehensive SVA assertion suites for systematic application across multiple design blocks and projects.Provide technical leadership and mentorship. Act as the team’s formal Subject Matter Expert by training logic designers and verification engineers to effectively implement formal methods in their workflows.Engage in strategic planning and execute test plans. Collaborate with Architecture and Design teams to translate complex system and IP specifications into thorough formal verification test plans.Enhance FV Infrastructure and Reporting. Maintain and improve continuous integration, regression flows, and dashboards to deliver clear, actionable formal verification status and sign-off metrics.

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.

Waymo is at the forefront of autonomous driving technology, dedicated to becoming the world's most trusted driver. Originating from the Google Self-Driving Car Project in 2009, Waymo has tirelessly worked on developing the Waymo Driver—The World's Most Experienced Driver™—to enhance mobility access and save lives lost to traffic accidents. The Waymo Driver fuels our fully autonomous ride-hailing service and can adapt to various vehicle platforms and applications. With over ten million rider-only trips completed, Waymo has amassed more than 100 million miles driven autonomously on public roads, supplemented by tens of billions of simulated miles across 15+ U.S. states.The Perception team at Waymo is instrumental in crafting the technology that empowers the Waymo Driver. Our advanced models enable the Waymo Driver to interpret its surroundings, make informed decisions, and ensure safe passage for passengers. Engaging in research to tackle real-world challenges, we collaborate closely with Alphabet's research teams. Our access to extensive driving data from diverse sensors allows machine learning practitioners to develop scalable multi-modal models and techniques.You will report directly to our Director of Engineering within the Perception Organization.

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.

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.

Waymo is at the forefront of autonomous driving technology, dedicated to becoming the world’s most trusted driver. Originating as the Google Self-Driving Car Project in 2009, Waymo has tirelessly developed the Waymo Driver—The World’s Most Experienced Driver™—to enhance mobility access and save lives lost to traffic accidents. The Waymo Driver powers our fully autonomous ride-hailing service, and its technology can be adapted to a variety of vehicle platforms and applications. With over ten million rider-only trips and extensive experience driving over 100 million miles on public roads, alongside tens of billions of miles in simulation across more than 15 U.S. states, our capabilities are unparalleled.The Perception team is integral to Waymo, developing the advanced technology that enables the Waymo Driver to accurately perceive its surroundings, make timely decisions, and ensure safe transportation for passengers. We are engaged in cutting-edge research that addresses tangible challenges and fosters collaboration with research teams at Alphabet. With access to vast amounts of driving data from diverse sensors, we empower machine learning practitioners to create multi-modal models and techniques on a grand scale.In this hybrid role, you will report directly to the Director of Engineering.

Waymo, an innovative leader in autonomous driving technology, is on a mission to redefine mobility by creating the world's most trusted driver. Originating as the Google Self-Driving Car Project in 2009, Waymo has been dedicated to developing the Waymo Driver—The World's Most Experienced Driver™—aimed at enhancing mobility access and preventing traffic-related fatalities. Our autonomous ride-hail service, powered by the Waymo Driver, has completed over ten million trips, with an impressive track record of driving more than 100 million miles on public roads and tens of billions in simulations across 15+ U.S. states.The Perception team plays a crucial role in this journey by constructing systems that learn and interpret the spatial-temporal representations and semantic meanings of the environments surrounding our self-driving vehicles. We collaborate closely with other teams to optimize and integrate these systems into the Waymo Driver, while also conducting cutting-edge research to tackle real-world challenges. Our engineers leverage vast datasets from diverse sensors, allowing them to (1) devise methods for continuously learning from large-scale real-world data, (2) create scalable models and training processes, (3) analyze real-world behaviors to navigate complex interactions, and (4) optimize models for both onboard and offboard hardware.In this hybrid role, you will report to a Technical Lead Manager within the Semantics subgroup of our Perception organization.

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.

Aeva, Inc. is seeking a Machine Learning Engineer with a focus on Perception to join the team in Mountain View, CA. This role centers on developing algorithms that help autonomous systems interpret and respond to their environment. The work draws on both machine learning and computer vision to improve how autonomous vehicles perceive the world around them. Key responsibilities Design and build perception algorithms for autonomous platforms Use machine learning and computer vision on real-world datasets Support progress in autonomous vehicle technology through technical contributions Work closely with engineers and researchers to expand product capabilities Location This position is based in Mountain View, CA.

Who We AreGatik is at the forefront of transforming autonomous middle-mile logistics. Our innovative transportation-as-a-service (ATaaS) solution is redefining the B2B supply chain by ensuring safe, reliable deliveries and optimizing freight movement to decrease congestion. With a focus on short-haul logistics for Fortune 500 retailers, we pioneered the world's first fully driverless commercial transportation service with Walmart in 2021. Our Class 3-7 autonomous trucks are actively utilized in key markets including Texas, Arkansas, and Ontario, Canada, driving significant advancements in freight transportation.Our proprietary Level 4 autonomous technology, Gatik Carrier™, is meticulously engineered to transport freight securely and efficiently between pick-up and drop-off points on the middle mile. With capabilities in both highway and urban settings, Gatik Carrier™ is a comprehensive solution that seamlessly integrates advanced software and hardware, empowering our customers' logistics operations.About the RoleWe are seeking passionate Staff Engineers with proficiency in classical and contemporary computer vision techniques to spearhead or contribute significantly to the architecture, design, implementation, and deployment of a multi-modal perception system. The ideal candidate will possess extensive software expertise, having navigated the journey from R&D to product launch, and will have a strong commitment to leading teams and crafting real-world solutions. This position is based in our Mountain View, CA office.