Silicon Verification Engineer for Advanced AI Solutions

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

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.

At Neurelo, we are committed to revolutionizing the technology stack for developers working with data. Our platform empowers developers to create software more efficiently and effectively, providing a seamless experience and ensuring predictable performance at scale. With the backing of prominent investors, we are rapidly expanding and looking for innovative thinkers to join our dynamic team! We are reimagining the modern workflow for developers, enabling them to effortlessly work with data and integrate various data sources into their applications. Join us in building the platform that makes this possible.

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.

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.

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.

Join matx as a Silicon Design-for-Test (DFT) Engineer where you'll play a crucial role in enhancing the testing capabilities of our cutting-edge silicon products. You will collaborate with cross-functional teams to ensure our designs meet the highest standards of quality and reliability.

Company OverviewAt Matic Robots, we are dedicated to reclaiming the 2.5 trillion hours lost to household chores each year by pioneering innovative home robotics.Our flagship product, the Matic cleaning robot, combines capabilities reminiscent of Wall-E with cutting-edge technology, including real-time 3D mapping and adaptive path-tracking. Our advancements in spatial AI empower Matic to navigate and operate effectively in real homes, utilizing only RGB cameras and on-device neural networks.Privacy FirstWe prioritize user privacy; all data processing occurs on the robot, ensuring that what happens in your home remains private.Our ApproachSimilar to the evolution of mobile devices, we envision a future where home robotics progresses from single-purpose machines to multifunctional systems, gradually enhancing their capabilities.Our CultureAt Matic, we foster a collaborative and close-knit environment, united by a commitment to developing products that our customers will love. Our team is driven, hardworking, and focused on tackling complex challenges that save time and energy.About the RoleWe are seeking a detail-oriented, Rust enthusiast to join our Platform team, where you will have an immediate and significant impact.In this position, you will engage with a wide array of challenges, from low-level driver and kernel development to interfacing with sophisticated perception algorithms, all while maintaining high performance on limited computational resources.If you have a passion for Rust and a strong sense of ownership in solving complex problems, we welcome you to connect with us! Visit our blog for more insights: Why Rust: It's the Safe Choice

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.

At MatX, we are committed to pioneering the compute platform for Artificial General Intelligence (AGI). Our team is engaged in creating comprehensive, vertically integrated full-stack solutions ranging from silicon to systems, incorporating both hardware and software to effectively train and execute the largest machine learning workloads necessary for AGI. Our primary programming language is Rust.Key Responsibilities:Design and sustain functional and performance models of our hardware systems.Create tools and infrastructure to enhance the efficiency of correlation, debugging, and testing processes.Collaborate closely with model stakeholders including architecture, verification/validation, compiler, and runtime teams.Engage in architectural decisions and participate in review processes.Explore and implement performance optimization strategies.

About MatXAt MatX, we are pioneering the future of artificial general intelligence (AGI) by creating an innovative compute platform. Our team is dedicated to developing comprehensive full-stack solutions that span from silicon to systems, integrating both hardware and software to support the most demanding machine learning workloads for AGI. We leverage the Rust programming language as our primary tool for this groundbreaking work.Your Role as a Software Engineer - CompilerDesign and implement compilers specifically crafted for our unique hardware architecture.Provide expert guidance on hardware architecture from a compiler author's perspective.Concentrate on midend and backend development to optimize compiler performance.

What MatX Is Building At MatX, we are committed to creating the compute platform for Artificial General Intelligence (AGI). Our team is developing comprehensive full-stack solutions that encompass both hardware and software, designed to efficiently train and execute the largest machine learning workloads for AGI. Our primary programming language is Rust. What You'll Do Here Design and optimize kernels that interact directly with our hardware architecture. Collaborate closely with our Machine Learning Research and Hardware Engineering teams. Provide programming insights and guidance on hardware architecture to ensure seamless software integration. Who You Are Bachelor's degree in Computer Science or a related field. Experience in optimizing software for specialized hardware using techniques like parallelism, SIMD programming, C, assembly optimization, or GPU/CUDA programming. Proficient in at least one of the following languages: assembly, C++, C, Zig, or Rust. This is a hybrid position requiring you to work in our Mountain View, CA office 3 days a week (Tuesday through Thursday). Bonus Points If You Have Experience with kernel implementations for machine learning models, including Transformers. Familiarity with distributed parallelism techniques like AllReduce, AllToAll, data parallelism, and tensor parallelism. Understanding of compiler operations. Compensation Compensation for this full-time role is based on several factors including experience, skills, and location. Career length is considered as a guideline for salary. 0-5 years of experience - $120,000 - $200,000 + equity 5-10 years of experience - $120,000 - $300,000 + equity 10+ years of experience - $120,000 - $400,000 + equity What We Offer A Stake in Our Success: A competitive cash/equity mix tailored to your needs, with the option for early exercise. Health & Wellness: Comprehensive health, dental, vision, and life insurance, along with pre-tax Health Savings Accounts featuring generous contributions. Time To Recharge: 4 weeks of paid time off (accrued), 12 company holidays, and additional time off for personal needs.

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 Matic RoboticsAt Matic Robotics, we are dedicated to transforming home life by introducing cutting-edge robotics technology. Each year, billions of hours are squandered on mundane household chores. Our mission is to reclaim that time, making home management effortless and efficient.Our flagship product, Matic, is an innovative floor-cleaning robot that combines advanced features akin to 'full self-driving' technology for homes. With real-time 3D mapping, adaptive path tracking, and an intelligent understanding of its environment, Matic operates seamlessly using only RGB cameras and on-device neural networks.We prioritize privacy; all data processing is conducted on the robot, ensuring that what happens in your home stays in your home.Our approach to home robotics mirrors the evolution of consumer electronics: starting with specialized devices and gradually evolving into more sophisticated solutions.At Matic, we foster a collaborative and hardworking culture focused on creating products that our customers truly value.Role OverviewBackend Software EngineerJoin our dynamic team as a Backend Software Engineer, where your contributions will have a significant and immediate impact. You will collaborate with cross-functional teams including software, mechanical, and electrical engineers to develop internal tools.Key ResponsibilitiesDesign and enhance internal tools that facilitate and optimize our production processes.Create robust systems in Rust to elevate manufacturing efficiency and reliability.Work collaboratively with Mechanical and Electrical Engineering teams to translate tooling requirements into functional solutions.Identify opportunities for tool creation and infrastructure improvements to enhance cross-team operations.Become a vital member of our compact software team.Qualifications2-5 years of experience in backend software development.Proficiency in Rust programming language.Strong problem-solving skills and attention to detail.A collaborative spirit and a passion for building innovative solutions.

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.

At MatX, our mission is to revolutionize AI efficiency, propelling advancements in AI quality and accessibility. We are on the lookout for talented Silicon Physical Design Engineers to join our innovative team, dedicated to crafting high-performance and sustainable silicon solutions tailored for Generative AI. As a Silicon Physical Design Engineer, you will play a pivotal role in developing functionally accurate and high-performing silicon for MatX products, spanning compute, memory management, high-speed connectivity, and other cutting-edge technologies across advanced process nodes.Key Responsibilities:Contribute to the development of MatX’s Physical Design methodology, ensuring scalability across block, subsystem, and full chip designs from RTL to GDSII.Take ownership of physical design deliverables for entire subsystems or chip-level components, including construction (partitioning, floorplanning, synthesis, place & route, clocking) and sign-off (equivalency, extraction, timing, power estimation, EMIR, physical verification).Plan and lead intermediate and sign-off reviews while reporting on execution progress towards silicon milestones, including design freeze and tapeout.Collaborate closely with Design, DFT, and other Physical Design team members to achieve optimal Performance-Power-Area (PPA) results.

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.

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.