Senior Formal Verification Engineer

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.

Who We Are Nuro is a pioneering self-driving technology company dedicated to making autonomy accessible to everyone. Established in 2016, Nuro is developing the world's most scalable autonomous driver, integrating advanced AI with automotive-grade hardware. We license our core technology, the Nuro Driver™, to enable a broad spectrum of applications, from robotaxis and commercial fleets to personally owned vehicles. With a track record of successful self-driving deployments, Nuro provides automakers and mobility platforms with a clear pathway to commercial-scale autonomous vehicles, fostering a safer, more connected future.About the TeamThe Systems Engineering team is tasked with defining requirements, architecture, and validating autonomous driving capabilities across various engineering disciplines. This encompasses the design of performance metrics, evaluation methodologies, and success criteria, which the team propagates cross-functionally through requirement definition and system validation. Our team operates at the nexus of hardware, software, and robotic operations, possessing a profound understanding of technologies across all three domains. We are a compact, high-impact team responsible for establishing the benchmarks necessary for successful autonomy deployment.About the RoleThe Senior Systems Test Engineer (STE) for Autonomy Behavior is pivotal in revolutionizing Nuro's Verification & Validation (V&V) ecosystem. You will spearhead the technical implementation, standardization, and automation of V&V processes. This role involves creating a cohesive, automated architecture for validation, designing and overseeing streamlined triage workflows, and perpetually enhancing the testing pipelines to enable informed, data-driven development in autonomy. Your contributions are critical in substantiating the system's safety by producing test results that bolster the Autonomy Safety Case.About the WorkThe STE role requires hands-on technical engagement to design, align, structure, and continually enhance automated test pipelines and workflows:Design and implement automated test pipelines and tools, ensuring seamless adoption and minimal friction for Systems Engineers.Drive standardization across all testing modalities by crafting, executing, and managing unified triage workflows across all workstreams.Establish an ongoing feedback loop to refine V&V processes, particularly by leading root cause analyses and identifying testing gaps with Systems Engineers.Transform identified system and pipeline gaps into actionable technical requests for partner teams (e.g., Data Platform, Simulation, Infrastructure).

About UsAurora Innovation is dedicated to advancing self-driving technology with a commitment to safety, speed, and accessibility for all.Discover the Aurora Driver and be part of a revolutionary shift in mobility and logistics that promises a safer and more efficient future.At Aurora, you'll engage with intricate challenges alongside a team of passionate and skilled professionals, enhancing your expertise while diving deeper into your field. For the latest insights from Aurora, explore our website at aurora.tech or connect with us on LinkedIn.We are on the lookout for a skilled Systems and Safety Engineer to play a pivotal role in verifying the autonomous vehicle (AV) sensing capabilities. In this position, you will define and validate the Aurora Driver's sensing capabilities, aiming for superhuman performance and safety standards. Collaborate with our elite engineering teams to achieve ambitious product objectives while upholding rigorous safety standards as we expand across various platforms, environments, and complex technical challenges at scale.

About UsAt Aurora, our mission is to advance the future of transportation by delivering self-driving technology that is safe, efficient, and accessible to all.Discover The Aurora Driver - a revolutionary platform that aims to transform mobility and logistics, enhancing road safety and accessibility.Joining Aurora means collaborating with a team of passionate experts who tackle complex challenges and continuously strive for excellence. To stay updated with our latest innovations, visit aurora.tech or follow us on LinkedIn.Aurora is committed to building a diverse team of talented individuals dedicated to creating a safer transportation ecosystem and improving the efficiency of goods delivery.We are currently seeking a highly motivated and experienced Staff Software Engineer to join our Autonomy Frameworks team. In this pivotal role, you will contribute to the development of our core robotics middleware that powers the Aurora Driver. Your work will focus on optimizing the performance, determinism, and efficiency of our Autonomy and Simulation applications. This is a unique opportunity to make a significant impact on the safety and reliability of our self-driving technology.

About UsAt Aurora, our mission is to safely and swiftly bring the advantages of self-driving technology to the masses.Discover the Aurora Driver—a pioneering force set to redefine mobility and logistics, ensuring a future that is safer, more efficient, and accessible for everyone.Joining Aurora means engaging with complex challenges alongside a team of passionate and intelligent professionals, fostering your growth as an expert and broadening your knowledge base. Stay updated with the latest from Aurora by visiting aurora.tech or following us on LinkedIn.We are committed to building a safer transportation ecosystem, ensuring vital goods reach their destinations, and enhancing mobility for everyone. We are currently seeking a Lead Senior Staff Engineer for Vehicle Hardware Verification and Validation.As the Lead Senior Staff Engineer for Vehicle Hardware Verification and Validation, you will take charge of defining, executing, and maintaining the technical integrity of vehicle-level hardware testing. This vital position involves developing a comprehensive hardware testing program that requires close collaboration with hardware, software, systems, and safety engineering teams. You will set and refine organizational standards for test execution and documentation, while also guiding cross-functional engineering teams to ensure the rigorous verification and validation of Aurora’s cutting-edge hardware systems across all autonomous vehicle initiatives.Key Responsibilities:Strategic Development and Execution: Define and implement extensive test strategies and methodologies for autonomous hardware integrations and associated vehicle platform hardware, including design verification, system integration testing, and environmental verification.

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.

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.

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.

Who We AreGatik is at the forefront of transforming middle-mile logistics through our cutting-edge autonomous transportation-as-a-service (ATaaS) solution. Our focus is on delivering safe and consistent services while enhancing freight movement efficiency and alleviating congestion. In 2021, we made history by launching the world's first fully driverless commercial transportation service in partnership with Walmart, with our Class 3-7 autonomous trucks actively operating in key markets like Texas, Arkansas, and Ontario, Canada.Our proprietary Level 4 autonomous technology, Gatik Carrier™, is meticulously engineered to facilitate safe and efficient freight transportation between pick-up and drop-off points. With robust capabilities tailored for both highway and urban settings, Gatik Carrier™ represents a comprehensive solution that seamlessly integrates advanced software and hardware to optimize logistics operations for our clients.About the RoleWe are seeking a Senior/Staff Systems Engineer to lead the Verification and Validation processes for Gatik’s autonomous vehicle systems. This position is primarily located at our headquarters in Mountain View, CA, with additional opportunities available in Fort Worth, TX.What You Will DoEstablish and implement model-based system engineering (MBSE) practices and methodologies for effective requirements management, ensuring clear communication of functional and performance requirements across stakeholders and system levels.Provide advanced systems expertise in integrating architectural changes and component revisions, ensuring optimal performance and efficiency in autonomous vehicle operations.

About NuroNuro is at the forefront of self-driving technology, dedicated to making autonomy available to everyone. Established in 2016, we are creating the most scalable autonomous driving solution by merging state-of-the-art AI with robust automotive hardware. Our flagship technology, the Nuro Driver™, is licensed for various applications, including robotaxis, commercial fleets, and privately owned vehicles. Proven through years of autonomous deployments, Nuro offers automakers and mobility platforms a clear pathway to commercial-scale AVs, fostering a safer, richer, and more interconnected future.Role OverviewAs a Senior Software Engineer on the Autonomy Visualization team, your primary focus will be on crafting top-tier visualization platforms that empower software engineers to introduce new visualization components efficiently. You will have the chance to engage in end-to-end development of visualization features and products, showcasing your technical prowess, product insight, and collaborative communication abilities.Key ResponsibilitiesDevelop efficient visualization frameworks using C++/OpenGL and Unity for critical functions including autonomy development, validation, triage tools, and in-car visualization.Collaborate with Autonomy engineers to enhance their development workflows through improved visualization techniques.Work alongside ML Labeling teams to create tailored labeling tools that gather high-quality training data.Partner with product managers and designers to deliver refined visualizations for external applications that accurately represent Nuro.

Who We Are Nuro is a pioneering self-driving technology firm dedicated to making autonomous vehicles accessible to everyone. Established in 2016, we are developing the world’s most scalable autonomous driving system, merging advanced AI with high-quality automotive hardware. Our flagship technology, the Nuro Driver™, is licensed to enable various applications, including robotaxis, commercial fleets, and personal vehicles. With years of successful self-driving implementations, Nuro empowers automakers and mobility platforms to transition to autonomous vehicles at a commercial scale—ushering in a safer, more connected future. About the Role We are in search of a talented Autonomy Engineer with a focus on onboard autonomy—the software that operates on our robots and vehicles, making real-time decisions based on onboard sensors and computational resources. You will be responsible for developing and deploying reliable autonomy features that function under stringent latency, computational, and safety requirements in dynamic real-world environments. What You’ll Do Design, integrate, and implement onboard autonomy behaviors such as navigation, obstacle avoidance, lane and route following, docking, and interaction behaviors. Develop and maintain components for real-time decision-making, including behavior planning, state machines/behavior trees, local planning, and control interfaces. Create robust sensor-driven autonomy pipelines on-device (using camera, lidar, radar, IMU, wheel odometry, GNSS), ensuring synchronization, calibration, and fault handling. Optimize autonomy performance concerning latency, CPU/GPU utilization, memory, and power on embedded systems such as NVIDIA Jetson and custom ECUs. Design and implement safety measures and fallback strategies, including health monitoring, degraded operational modes, watchdog systems, safe-stop protocols, and redundancy-aware logic. Oversee the integration of the autonomy stack on robotic platforms, including bring-up, debugging, profiling, logging, and release validation on actual hardware. Enhance onboard observability through structured logs, traces, metrics, event recording, and tools to facilitate incident reviews and quick iterations. Collaborate with teams in perception, mapping/localization, controls, hardware, and systems to establish clear interfaces and deliver comprehensive features. Engage in field testing and conduct root-cause analysis for autonomy issues encountered during real deployments.

Join us at Reliable Robotics as we pioneer groundbreaking safety technologies for aviation aimed at saving lives. Our automated aviation systems are poised to revolutionize air transportation, making it safer and more efficient for the global movement of goods and, eventually, people. Our dedicated team of engineers, experienced in aerospace, robotics, and autonomous vehicles, is committed to shaping this transformative future.As a Senior FPGA Verification Engineer, you will play a vital role within our Embedded Systems team, which is responsible for the complete lifecycle of the firmware and software that power the Reliable Robotics autonomy stack. We develop reliable computing, networking, signal acquisition, and motor control solutions that bring our aircraft to life. Your expertise will facilitate crucial equipment and aircraft product demonstrations, advance the development of sophisticated capabilities, and lay the groundwork for product certification and market delivery.

Role Overview Anduril Industries is hiring a Staff System Modeling Engineer for Warfighter Systems in Mountain View, California. This role centers on applying advanced modeling methods to improve military systems and support mission success. Work here shapes the effectiveness of defense solutions and has a direct impact on operational outcomes.

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 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.

Who We AreNuro is at the forefront of self-driving technology, dedicated to making autonomy accessible and efficient. Established in 2016, we are pioneering the development of the world’s most scalable driver, seamlessly integrating advanced AI with automotive-grade hardware. Our flagship innovation, the Nuro Driver™, is licensed to facilitate a variety of applications, including robotaxis, commercial fleets, and personal vehicles. With years of proven success in autonomous deployments, Nuro provides automakers and mobility platforms a clear pathway to commercial-scale AVs, fostering a safer, more connected future.About the RoleAs a pivotal member of the Autonomy Visualization team, your primary focus will be on creating high-performance visualization platforms. These platforms empower software engineers to incorporate new visualization elements effortlessly. You will have the chance to work across the entire lifecycle of visualization features and products, honing your technical expertise, product insight, and cross-functional collaboration skills.Your ResponsibilitiesDevelop efficient visualization frameworks using C++ / OpenGL and Unity to support critical functions such as autonomy development, validation, triage tools, and in-car visualization.Collaborate closely with Autonomy engineers to enhance their workflows through improved visualization tools.Work with ML Labeling teams to create high-quality training data utilizing customized labeling tools.Engage with product managers and designers to deliver polished visualizations for external applications that reflect Nuro’s brand positively.

About UsAt Aurora, we are dedicated to advancing the future of transportation by delivering the advantages of self-driving technology in a safe, efficient, and comprehensive manner.Discover The Aurora Driver — a revolutionary innovation that aims to create a safer, more efficient, and more accessible future for mobility and logistics.Join a team of passionate and intelligent individuals at Aurora, where you will be challenged to solve complex problems and grow your expertise in the field. For the latest updates, visit us at aurora.tech or follow us on LinkedIn.We are seeking a Control Systems Software Engineer to join our Autonomy Controls Software Team. This team is pivotal in designing, implementing, integrating, and validating the motion control system for the Aurora Driver across various vehicle platforms.Your Role:Design and implement motion control algorithms for a safety-critical system.Evaluate control system performance in both offline and real-world environments.Ensure system robustness against disturbances, failure modes, and varying environmental conditions.

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 our dynamic team at LinkedIn Corporation as a Senior Staff Software Engineer specializing in Systems Infrastructure. In this pivotal role, you will be responsible for designing, implementing, and maintaining robust infrastructure systems that support our growing platform. You will collaborate with cross-functional teams to drive innovation and optimize our systems for scalability and performance.