• Senior System Software Engineer - QNX BSP and IO…

    NVIDIA (Santa Clara, CA)
    …(RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from you! Join us in ... of a team that is revolutionizing the industry. We are making extensive use of formal methods to automate our work flow and increase the quality of our SW. We… more
    NVIDIA (12/04/25)
    - Related Jobs
  • Research Intern - RiSE group

    Microsoft Corporation (Redmond, WA)
    **Overview** Research Intern - RiSE group ( Formal Methods , High-Performance Computing, ML Systems, Programming Languages, Software Engineering) Research ... to extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, Macine Learning (ML) systems, programming… more
    Microsoft Corporation (11/26/25)
    - Related Jobs
  • Senior Researcher - AI and Systems Reliability…

    Microsoft Corporation (Redmond, WA)
    …Reliability - Microsoft Research** areas such as distributed systems and reliability, formal methods and verification, machine learning for system reliability, ... of the following core areas of research: datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems,… more
    Microsoft Corporation (12/17/25)
    - Related Jobs
  • Research Scientist - System Security Researcher

    MIT Lincoln Laboratory (Lexington, MA)
    …Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems developers. We bring ... programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and leadership, including guiding… more
    MIT Lincoln Laboratory (12/22/25)
    - Related Jobs
  • Sr. Computer Security Researcher

    Battelle Energy Alliance dba Idaho National Laboratory (Idaho Falls, ID)
    …Apply and/or evaluate security protocols, firewalls, intrusion detection systems, cryptography, formal methods , or security models to protect government systems. ... operating systems, network protocols, cryptographic protocols, and modeling, application of formal logic, and algorithmic analysis and design. You will report to… more
    Battelle Energy Alliance dba Idaho National Laboratory (12/10/25)
    - Related Jobs
  • AI Analyst

    KBR (Bethesda, MD)
    …and apply current verification and validation paradigms, including model testing, simulation, and formal methods , to ensure the accuracy and reliability of AI ... current verification and validation paradigms, including model testing, simulation, and formal methods . + Experience developing with machine learning frameworks… more
    KBR (11/07/25)
    - Related Jobs
  • Computer Science, Assistant Professor of Software…

    Loyola University Chicago (Chicago, IL)
    …software security and trustworthy systems, quality assurance and testing, software architecture, formal methods , and research addressing any phase of the ... including empirical studies, mining software repositories, controlled experiments, qualitative methods , human factors research, and mixed methods approaches.… more
    Loyola University Chicago (11/22/25)
    - Related Jobs
  • Senior Manager Backhaul

    Penske (Duluth, GA)
    …in place at all locations. * Measures associate's progress and performance through both formal methods (PCM, reports and metrics) and informal methods ... (management by walking around). * Interview and hire salaried associates up to Operation Manager level. * Involve team members in business planning and decision making to develop their skills in this area. * Identify issues with the operating metrics and P&L… more
    Penske (12/17/25)
    - Related Jobs
  • Senior Principal Software Engineer

    Leonardo DRS, Inc. (Burnsville, MN)
    …services, operating systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using ... to solve software issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software engineering activities in… more
    Leonardo DRS, Inc. (01/01/26)
    - Related Jobs
  • Principal Product Manager - Endpoint Detection…

    Oracle (Salt Lake City, UT)
    …Methodologies such as Center for Internet Security, PCI, ISO and others. + Formal Methods & Programming Languages - advancing verification techniques or building ... services/features such as OCI, AWS, Azure, or GCP + Exposure to formal verification, compilers, or new language development for high-assurance systems. + Knowledge… more
    Oracle (12/20/25)
    - Related Jobs