Senior Flight Software Verification Engineer

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 Reliable Robotics as a Senior Flight Software Engineer, where you will play a pivotal role in developing cutting-edge software solutions for autonomous aircraft. Your expertise will contribute to pioneering advancements in flight technology, ensuring safety and efficiency in aviation.In this role, you will collaborate with cross-functional teams to design, implement, and validate software systems that are integral to our mission of transforming air transportation. Your innovative mindset will help us push the boundaries of what is possible in the aerospace industry.

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.

At Logos Space, we are pioneering Low Earth Orbit (LEO) satellite systems designed to meet the connectivity demands of commercial enterprises and government entities alike. Our mission is to bridge significant gaps in the market by delivering robust, high-performance satellite connectivity services globally. Our business clients rely on performance standards for their broadband services, and we are committed to embedding these capabilities from the outset. With a focus on speed and reliability, our systems are engineered to extend cloud and data center connectivity to fixed, seaborne, and airborne terminals worldwide.Led by a team of seasoned engineers with impressive track records in the networking and satellite sectors, Logos Space is at the forefront of innovative technology.Position SummaryAs a Senior Flight Software Engineer, you will play a vital role within our software engineering team, focusing on the design, development, flight validation, assembly, integration, testing, and operational success of our spacecraft fleet. Your responsibilities will include ensuring the validation of flight avionics on both the Logos bus and payload, which is essential for the success of our network through rigorous analysis and testing. You will also support architectural design activities from conception to flight readiness.We are looking for engineers who thrive in a dynamic environment and are adept at transforming abstract design concepts into tangible, flight-ready hardware. If you have a passion for solving complex challenges, we want to hear from you!

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 logos-space as a Lead Engineer specializing in Flight Software Development. In this critical role, you will spearhead the design, implementation, and testing of cutting-edge software solutions that drive our innovative flight technologies. You will collaborate with cross-functional teams to ensure the highest standards of safety and performance are met in our aerospace applications.

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 Reliable Robotics, we are pioneering innovative technologies that enhance aviation safety and save lives. Our automated aviation systems are designed to revolutionize air transportation, making it safer, more convenient, and fundamentally transforming the movement of goods—and eventually people—across the globe. Our team consists of dedicated engineers with expertise in aerospace, robotics, and autonomous vehicles, all committed to making this vision a reality.In your role as a Flight Software Test Verification and Validation (V&V) Engineer, you will create robust test cases that support our verification processes, ensuring the safety and reliability of our aviation products. Your work will facilitate a high-fidelity training environment for our flight-test crews.Key ResponsibilitiesAs a Flight Software Test V&V Engineer within the Simulation and Test Systems team, you will play a vital role in testing and deploying software for autonomous aircraft. You will help design, implement, and maintain the hardware and software infrastructure needed to verify aircraft performance prior to flight testing. Your responsibilities will include verifying flight software functionality across various integrated test environments, including software-in-the-loop (SIL), hardware-in-the-loop (HITL), and on-aircraft testing. Additionally, you will author and execute test procedures for on-ground aircraft testing.A significant aspect of this position involves developing and maintaining automated test scripts within our testing ecosystem, which are essential for functional testing and requirements-driven software assessments necessary for FAA certification.This position requires strong collaboration skills as you will work closely with various engineering teams to develop test plans, execute tests, troubleshoot issues, and drive resolution. You will also oversee the maintenance, installation, and troubleshooting of test and simulation equipment.

At Reliable Robotics, we are pioneering innovative safety technologies for the aviation sector, with a mission to save lives. Our automated aviation systems promise a future where air travel is not only safer but also more efficient, fundamentally changing the way goods and eventually people are transported globally. Our diverse team of dedicated engineers, experienced in aerospace, robotics, and autonomous vehicles, is committed to turning this vision into reality.As part of our Flight Software division, you will be at the forefront of Reliable’s autonomy initiatives, developing critical embedded flight software, advancing next-generation detect-and-avoid technologies, communication systems, FPGA designs, and robust simulation and testing environments. Our team plays an integral role in the development and certification of the Reliable Robotics autonomy framework, contributing significantly to the operation of our aircraft.Key ResponsibilitiesIn the role of Flight Software Manager, you will lead and cultivate a team that is responsible for the safety-critical software that enables our aircraft to operate. You will be responsible for enhancing engineering processes, balancing immediate execution with formal DO-178C verification, and facilitating the rapid integration and testing of GNC algorithms, while architecting software for certification.You will provide expert technical and architectural direction on flight software components, including flight controls and redundancy management. Collaborating closely with leads across Guidance, Navigation, and Controls (GNC), Avionics, Systems, and Hardware, you will develop and execute technical roadmaps, prioritize tasks, and empower your team to deliver robust, reliable, and certifiable flight software that enables advanced autonomy.

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.

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.

At Reliable Robotics, we are revolutionizing aviation safety with cutting-edge technology that is destined to save lives. Our innovative automated aviation systems are paving the way for a future where air transportation is not only safer but also more efficient and transformative for the movement of goods and people around the globe. Our dedicated team comprises mission-driven engineers with diverse expertise spanning aerospace, robotics, and autonomous vehicles, all committed to making this vision a reality.As a Flight Software Engineer, you will play a crucial role in automating the operations of intricate aircraft systems. You will be deeply engaged in the development and certification processes of our proprietary autonomy stack, contributing significantly to the realization of our aircraft's capabilities.Key ResponsibilitiesIn this role, you will create highly deterministic C++ software within a bare-metal environment, interfacing with sensors and control systems, effectively managing system faults, and integrating with various vehicle subsystems. You will take charge of defining requirements and ensuring robust unit testing. Additionally, you will have the unique opportunity to work with flight hardware both in the lab and in the air, plan flight tests, and witness your code in action as it operates an aircraft.Essential QualificationsBachelor's Degree in Computer Science, Engineering, or a related field, or equivalent practical experience.A minimum of 2 years of professional programming experience in C or C++.Experience in developing software for high-performance embedded or safety-critical applications.Preferred QualificationsFamiliarity with advanced C++ language features in production environments.Comprehensive understanding of computer architecture, operating systems, and networking.Proven ability to work independently in a fast-paced setting.Experience in software development for aerospace applications.Strong written and verbal communication skills.As a Flight Software Engineer, you will connect the mechanical, avionics, algorithmic, and embedded domains, ensuring that our aircraft can fly effectively. This position offers the chance to collaborate with various teams and components across the automated aircraft, allowing you to specialize in areas that excite you the most.

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.

Reliable Robotics builds automated aviation systems aimed at making air travel safer and more efficient. The team includes engineers with backgrounds in aerospace, robotics, and autonomous vehicles, all focused on improving reliability for transporting goods and people by air. Role overview The Senior Flight Control Law Engineer will be part of the Guidance, Navigation, and Control (GNC) Team. This role centers on designing, implementing, integrating, and testing flight control laws that cover every phase of automated flight, including autotaxi, auto-takeoff, autoland, and automatic rollout. What you will do Design and implement flight control laws for automated aircraft operations Integrate and test these control laws throughout all phases of flight Work directly with real hardware and C/C++ flight software during flight tests Perform simulation analysis and data reduction using Python and C/C++ within modeling and simulation environments Location This position is based in Mountain View, CA.

At Reliable Robotics, we are pioneering innovative technologies aimed at enhancing safety in aviation, with the ultimate goal of saving lives. Our automated aviation systems are set to revolutionize air transportation, making it safer and more convenient for the movement of goods and people across the globe. Our dedicated team comprises mission-driven engineers with extensive experience in aerospace, robotics, and autonomous vehicles, all working collaboratively to turn this vision into reality.As a Flight Guidance Engineer, you will join our esteemed Guidance, Navigation, and Control team, playing an integral role in the design, implementation, and testing of our advanced guidance systems. Your contributions will facilitate the seamless integration of uncrewed aircraft into the National Airspace System.

At Reliable Robotics, we are pioneering innovative technology for the aviation industry that prioritizes safety and has the potential to save lives. Our automated aviation systems are designed to create a future where air travel is not only safer but also more efficient and fundamentally transformative for the movement of goods and eventually people across the globe. Our dedicated team consists of mission-driven engineers with diverse backgrounds in aerospace, robotics, and autonomous vehicles, all focused on bringing this vision to life.As a Flight Control Law Engineer, you will be integral to our Guidance, Navigation, and Control (GNC) Team. You will be responsible for the design, implementation, integration, and testing of flight control laws for various operational phases, including autotaxi, auto-takeoff, autoland, and automatic rollout. You will work with real-world hardware and C/C++ flight software as part of our ongoing flight test initiatives and will conduct simulation analyses and data reduction in our Python and C/C++ modeling and simulation environments.

At Reliable Robotics, we are pioneering advanced safety technologies for aviation, with the mission of saving lives. Our automated aviation systems aim to revolutionize air transportation, making it safer and more accessible for the movement of goods and eventually people worldwide. Our team consists of dedicated engineers with extensive experience in aerospace, robotics, and autonomous vehicles, all working together to bring this vision to life.As a Flight Navigation Engineer, you will play a pivotal role in our Guidance, Navigation, and Control Team. Your contributions will shape the design, implementation, and testing of navigation systems, facilitating the integration of uncrewed aircraft into the National Airspace System.

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.