Expert in High-Assurance Connected Software Architecture

5 days ago


Mountain View, California, United States RiverPoint Full time
About the Job
RiverPoint is seeking an expert in high-assurance connected software architecture to join our team. As a Formal Methods Researcher, you will play a key role in developing and implementing formal methods for ensuring the dependability of connected software platforms.
Main Responsibilities
  • Develop and apply formal methods for ensuring the correctness and reliability of connected software architectures;
  • Conduct research on high-assurance connected software architecture & software engineering, dependable connected software platform, system assurance, and model-based systems engineering (MBSE);
  • Work with cross-functional teams to develop and implement formal verification tools and techniques;
  • Collaborate with other researchers to advance the state-of-the-art in formal methods and its applications;
  • Communicate research results through publications and presentations.

Required Skills:

  • Ph.D. in Computer Science, Electrical Engineering, Computer Engineering, or related field;
  • Proven research experience in formal verification and/or software engineering;
  • Strong background in formal verification tools and techniques;
  • Excellent communication and teamwork skills.

PAYSCALE ESTIMATE: $140,000 - $180,000 per year based on location.



  • Mountain View, California, United States RiverPoint Full time

    Job OverviewRiverPoint is seeking a highly skilled High-Assurance Connected Software Architect to join our team. As a key member of our research department, you will be responsible for conducting hands-on research on high-assurance connected software systems using formal methods and design by contract concepts.


  • Mountain View, California, United States Applied Intuition Full time

    Company OverviewAbout Applied Intuition:We are a leading provider of AI-powered ADAS/AD toolchains, vehicle platforms, and autonomy stacks to top automakers worldwide. Our mission is to accelerate the adoption of safe and intelligent machines.Our team consists of experts in software quality assurance, engineering, and automotive industries.


  • Mountain View, California, United States Microsoft Full time

    Microsoft's Windows & Devices team is on a mission to craft exceptional end-to-end products that empower users and drive innovation. To achieve this, the team requires experts who can design and implement robust security frameworks for next-generation hardware.We are seeking a seasoned Principal Silicon Security Architect to join our dynamic WSSI...


  • Mountain View, California, United States Waymo Full time

    This is an exciting opportunity to join Waymo's Compute Team as a high-performance architecture engineer. In this role, you will deliver the compute platform responsible for running the autonomous vehicle's software stack. Your responsibilities will include analyzing the performance characteristics of code generated by our production-grade compiler,...


  • Mountain View, California, United States RiverPoint Full time

    Role OverviewWe are seeking a highly skilled Senior Software Engineer for Dependable Systems to join our team at RiverPoint. The successful candidate will have a strong background in formal methods and software engineering, with expertise in high-assurance connected software architecture and dependable systems.Main ResponsibilitiesDesign and develop...


  • Mountain View, California, United States Pixona Full time

    Join Our Team as a Senior Software Development ExpertWe are seeking an exceptional Sr. Software Development Expert to help us shape the future of our community platform at Pixona. As a key member of our team, you will have the opportunity to design, develop, and maintain high-performance software systems that empower our users to grow and succeed in their...


  • Mountain View, California, United States Grazitti Interactive Inc. Full time

    Job OverviewGrazitti Interactive Inc. is seeking an experienced Cloud Architecture Expert to join our team.Key ResponsibilitiesDesign and architect scalable and maintainable Salesforce solutionsEvaluate technology and capability requests, ensuring alignment with business objectivesDevelop and execute tactical plans to support strategic goals, collaborating...


  • Mountain View, California, United States LinkedIn Full time

    OverviewLinkedIn is a global professional network that connects individuals and businesses worldwide. Our mission is to create economic opportunities for every member of the global workforce.About UsWe strive to provide transformational opportunities for our employees by investing in their growth. Our culture is built on trust, care, inclusion, and fun –...


  • Mountain View, California, United States ZipRecruiter Full time

    Job OverviewCARIAD, a leading automotive software development team, is seeking an experienced Principal Software Engineer to lead the design and integration of Android OS, core services, System UI, and Android in-car and on-phone applications for our Software-Defined Vehicle Platform. This role involves architecting the software stack, defining technical...


  • Mountain View, California, United States Applied Intuition Full time

    Job DescriptionWe are seeking an exceptional PhD robotics expert to join our team as an Autonomous Vehicles Software Engineer. This role will involve designing and developing the software architecture of an initial AV stack, playing a critical role in shaping the technical direction of a new project in the defense space.Map autonomous customer use cases and...


  • Mountain View, California, United States Enfabrica Full time

    About the RoleAs a Silicon Architecture Engineer at Enfabrica, you will play a crucial role in designing and building next-generation networking silicon and software.We are looking for talented engineers with experience in building large-scale networking and computing chips. You will have the opportunity to work alongside some of the industry's most talented...


  • Mountain View, California, United States Monogoto Full time

    Monogoto is seeking a highly skilled Cellular Connectivity Expert to join our team.The estimated annual salary for this position is around $115,000, based on qualifications and experience. We offer a comprehensive benefits package, including competitive health benefits, flexible time off, wellness programs, discounted perks, 401(k) benefits, and equity...


  • Mountain View, California, United States Intuit Full time

    We are seeking a skilled Mobile Android Software Development Expert to join our Virtual Expert Platform – Mobile team at Intuit. This role will involve creating customer experiences in the interactions between experts and customers in products like TurboTax Live and QuickBooks Live.In this position, you will engineer core experiences and capabilities to...


  • Mountain View, California, United States Cognizant Full time

    Unlock your potential in a dynamic environment as Cognizant, a global leader in digital transformation, seeks an exceptional Chief Software Architect - Java Expert. With a strong background in Spring Boot and Spring Framework, you will lead cross-functional teams, provide technical guidance, and oversee the entire software development lifecycle to deliver...


  • Mountain View, California, United States LinkedIn Full time

    About the RoleWe are seeking a highly skilled Senior Software Engineer to join our team at LinkedIn. As a key member of our engineering organization, you will play a critical role in scaling our distributed applications, making architectural trade-offs, and delivering high-quality software with speed.


  • Mountain View, California, United States Samsung Electronics GmbH Full time

    **Company Overview**Samsung Electronics GmbH is a leading technology company that pushes the boundaries of innovation. Our SOC Lab is at the forefront of developing cutting-edge SoC architectures for future Samsung Galaxy products, including smartphones and tablets. Estimated Salary: $252,025 USD (base pay range: $200,000 — $300,050 USD) Job...


  • Mountain View, California, United States LinkedIn Full time

    As a Staff Software Engineer - Architectural Mastery, you'll deliver impact by driving innovation while building and shipping software at scale. You'll provide architectural guidance and mentorship to up-level the engineering organization and actively improve the level of craftsmanship at LinkedIn by developing best practices and defining strategies.About...


  • Mountain View, California, United States Aurora Innovation Full time

    Job SummaryAurora Innovation is seeking a highly skilled Senior Software Engineer to join our Vehicle Platforms team. As a key member of our engineering team, you will be responsible for designing and implementing the software architecture for our self-driving vehicle platforms. Your expertise in computer systems, networking protocols, and programming...


  • Mountain View, California, United States YouTube Full time

    Company OverviewAt YouTube, we're a community of innovators and creators working together to give everyone the power to share their story, explore what they love, and connect with one another. Our team is passionate about harnessing cutting-edge technology to drive culture and make the world a better place.SalaryThe US base salary range for this full-time...


  • Mountain View, California, United States MatX Full time

    MatX Compute Platform for AGIWe are developing vertically integrated full-stack solutions from silicon to systems, including hardware and software to train and run the largest ML workloads for AGI.The estimated salary for this position is $260,000 per year. The total compensation package includes equity and benefits.Key Responsibilities:Compiler Design:...