Senior Formal Verification Engineer

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.

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

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.

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.

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.

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.

Join MatX in Revolutionizing AI Technologies At MatX, we are on a mission to enhance the efficiency of the world’s best AI models, propelling the advancement of AI quality and accessibility. We are looking for talented Silicon Verification Engineers to be part of our innovative team, dedicated to developing top-tier silicon solutions for high-performance and sustainable Generative AI. In this role, you will play a crucial part in ensuring the delivery of high-performance and functionally precise silicon for MatX products, encompassing compute, memory management, high-speed connectivity, and other pivotal technologies. Your Responsibilities: Contribute to the enhancement of MatX’s verification methodology, offering scalable solutions across blocks, subsystems, full chip, and system-level validation. Take ownership of verification execution at both subsystem and chip levels, developing testbenches, tests, and related artifacts to achieve structural and functional coverage closure. Plan and lead intermediate and sign-off reviews on verification test plans, track execution progress, and ensure verification closure in line with critical silicon milestones such as design freeze and tapeout. Who We Are Looking For: Experience in driving verification from architecture and/or design specifications through to production silicon. Proficiency in SystemVerilog, Python, C/C++, Bluespec, and similar scripting and programming languages for verification and silicon modeling. Hands-on experience with advanced verification methodologies like UVM and assertion-based verification (ABV); comfort with both formal and simulated verification is essential. Experience in creating portable tests and drivers for silicon validation and post-silicon debugging. Strong understanding of silicon micro-architecture and design concepts used in high-performance computing (CPUs, GPUs, accelerators), high-speed connectivity, memory management, and related functionalities. Familiarity with emulation and prototyping platforms and methodologies is advantageous. Hands-on experience in silicon debugging and bring-up will be considered a strong plus.

Waymo is seeking a dedicated and talented ASIC Design Verification Engineer to join our innovative team in Mountain View, CA. In this role, you will be crucial in ensuring the quality and performance of our cutting-edge ASIC designs. Your expertise will help us in validating and verifying complex designs, contributing to the future of autonomous vehicles.

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.

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

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 Us:Aeva is at the forefront of redefining perception in various sectors including automated driving, industrial robotics, consumer electronics, health, and security. Our revolutionary sensing and perception technology integrates all essential LiDAR components onto a silicon photonics chip, creating a compact and highly efficient module. Aeva’s 4D LiDAR sensors provide the unique capability to detect instant velocity alongside 3D positioning, empowering autonomous devices—such as vehicles and robots—to make smarter and safer decisions. Role Overview:We are on the lookout for a talented and driven Verification and Validation (V&V) Engineer to become a vital part of our team. This position centers around the thorough testing and quality assurance of our state-of-the-art LiDAR products. The ideal candidate will possess hands-on engineering experience, robust programming skills, a keen interest in data analysis, and a proven track record in developing reliable test solutions for intricate systems.

Join our team as a Senior Backend Engineer in Customer Engineering!At Level AI, we are reshaping customer interactions through innovative technology. Founded in 2019 and backed by Series C funding, our headquarters in Mountain View, California, is at the forefront of transforming contact centers into strategic assets through our AI-native platform. Our technology utilizes cutting-edge Large Language Models to extract invaluable insights from customer engagements, enabling businesses to enhance their customer experience and foster growth.As a Senior Backend Engineer, you will play a crucial role in empowering contact center stakeholders with real-time insights that drive data-informed decisions. You will collaborate on high-impact projects alongside experts from top tech companies such as Amazon, Facebook, and Google. Expect a rewarding journey filled with learning, growth, and the opportunity to redefine possibilities in AI-driven enterprise applications. Ready to join us?

Company OverviewID.me is an innovative digital identity wallet designed to streamline how individuals securely verify their identity online. Users can authenticate their identity with ID.me once, allowing for seamless logins across various websites without the need for creating multiple accounts or re-verifying their identity. With over 152 million users, ID.me facilitates efficient login and identity verification for 20 federal agencies, 45 state agencies, and more than 70 healthcare organizations. Additionally, over 600 consumer brands leverage ID.me to authenticate communities and user segments, fostering genuine relationships. Our technology adheres to federal standards for consumer authentication as set by the Commerce Department and is recognized as a NIST 800-63-3 IAL2/AAL2 credential service provider by the Kantara Initiative. ID.me is dedicated to ensuring “No Identity Left Behind,” empowering every individual to possess a secure digital identity. To discover more, visit https://network.id.me/.Role OverviewWe are looking for a talented Software Development Engineer III to join our Data Acquisition & Normalization team at ID.me. This team is pivotal in constructing and managing the integrations that fuel the Identity Trust Graph by acquiring, normalizing, and updating identity attributes sourced from authoritative and commercial data.In this role, you will play a crucial part in developing and maintaining connectors, data pipelines, and normalization services that guarantee ID.me provides reliable, real-time validation of identity attributes at scale across the internet. You will collaborate with seasoned engineers and partner with Product Managers from the Persons and Organizations teams to translate validation contracts into effective integrations.This is a full-time position based in our Mountain View, CA office, requiring attendance five days a week.

Join Our Innovative TeamThe landscape of the workplace has dramatically shifted. Once characterized by predictable occupancy patterns, the modern office now reflects a dynamic and flexible environment. As a leader in workplace analytics, VergeSense empowers workplace, Commercial Real Estate (CRE), and facilities management professionals with the insights they need to make informed decisions about their spaces.VergeSense is proud to present the world’s first and only Occupancy Intelligence Platform, utilized by over 220 companies across 50 countries and managing 140 million square feet. Our platform leverages highly accurate occupancy sensors and diverse data sources to help clients optimize their facilities, ensure effective space planning and design, streamline cleaning operations, and enhance the overall employee experience.Role OverviewThe Firmware QA team is on the lookout for a dedicated and experienced Automation & Tooling Engineer to ensure VergeSense delivers exceptional solutions to our clients. This position combines firmware quality assurance with internal tool development, focusing on driving product excellence across our hardware offerings. You will be responsible for developing and executing test plans, debugging complex issues alongside developers, and enhancing internal tools that keep VergeSense operating smoothly.

Logos Space is revolutionizing satellite communication with our Low Earth Orbit (LEO) system, specifically designed to meet the connectivity requirements of commercial enterprises and government entities. Our mission is to bridge critical connectivity gaps in the market by delivering robust, high-performance satellite services globally. We prioritize speed and reliability, ensuring that our customers enjoy the high-quality broadband services they expect. Our infrastructure will seamlessly extend cloud and data center connectivity to fixed, maritime, and airborne terminals around the world.Underpinned by a leadership team of seasoned engineers with extensive backgrounds in networking and satellite technologies, Logos Space is positioned to make a significant impact in the industry.About the Role:We are looking for a Senior Modem Engineer to join our dynamic team. This role involves designing digital signal processing (DSP) and wireless communication systems, which includes creating, planning, and executing waveform designs and protocol stacks. You will be instrumental in the integration and testing of the entire Logos payload, terminal, and ground systems.A key aspect of this position is defining and refining the modem functions within the Logos context while simplifying complex concepts as needed. Collaboration with team leadership is crucial as you evaluate hardware and firmware platform options to achieve optimal modem and protocol stack performance swiftly. The engineer will tackle challenges related to satellite dynamics across various modem states and payloads.Ideal candidates will thrive in a fast-paced environment and be adept at transforming abstract ideas into viable solutions. We seek engineers who are passionate about solving complex problems!

LinkedIn Corporation seeks a Senior Network Engineer based in Mountain View. This position centers on designing, building, and maintaining advanced networking systems that support the company's global operations. Role overview The Senior Network Engineer collaborates with teams throughout LinkedIn to strengthen infrastructure and ensure dependable, high-performance service delivery. The work involves both hands-on technical tasks and cross-team coordination to support business needs. Key responsibilities Design and implement advanced networking systems Maintain and optimize network infrastructure for reliability and performance Work with internal teams to support scalable, secure, and efficient operations Location This role is based in Mountain View.

At Reliable Robotics, we are pioneering innovative technology to enhance safety in aviation, fundamentally transforming air transportation and saving lives. Our automated systems will revolutionize how goods and, eventually, people traverse the globe. Join a team of passionate engineers with expertise across aerospace, robotics, and autonomous vehicles as we make this vision a reality.As a Senior Flight Guidance Engineer, you will be an integral member of our Guidance, Navigation, and Control team. Your contributions will focus on the design, implementation, and testing of our advanced guidance systems, facilitating the seamless integration of uncrewed aircraft into the National Airspace System.

Join ECLDC as a Senior Electrical Power Engineer and be part of a dynamic team dedicated to advancing electrical power systems. This role involves leading innovative projects, collaborating with cross-functional teams, and contributing to the development of cutting-edge solutions in the energy sector. You will leverage your expertise to design, analyze, and implement electrical systems that meet rigorous standards and drive efficiency.