• Research Software Engineer, Formal

    RTX Corporation (Cambridge, MA)
    …Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest in ... you will contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of… more
    RTX Corporation (07/09/25)
    - Related Jobs
  • Sr Principal Research Software Engineer,…

    RTX Corporation (Cambridge, MA)
    …team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/Software Engineers experience to join exciting ... as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze… more
    RTX Corporation (08/01/25)
    - Related Jobs
  • CPU Formal Verification Engineer

    Qualcomm (Santa Clara, CA)
    …with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the ... in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model checking or theorem… more
    Qualcomm (06/30/25)
    - Related Jobs
  • Software Engineer - Functional Programming

    Leidos (Arlington, VA)
    …support the development of high-assurance, resilient software. + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... the topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree in computer… more
    Leidos (07/29/25)
    - Related Jobs
  • Senior Research Engineer (PhD level)…

    Lockheed Martin (Arlington, VA)
    …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... * Conducted research in at least one more adjacent area such as formal verification/ methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and… more
    Lockheed Martin (07/12/25)
    - Related Jobs
  • Principal Applied Scientist, Prime Air , Prime Air…

    Amazon (Seattle, WA)
    …Scientist at Amazon Prime Air you will: Develop the value proposition for formal verification, runtime assurance, and other methods for software under ... Science, Mathematics, or Computer Engineering - Experience in RTL formal verification methods - Creating and validating mathematical models of the behavior… more
    Amazon (06/06/25)
    - Related Jobs
  • Principal Autonomy and Resilient Systems Scientist

    Leidos (Dayton, OH)
    …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under… more
    Leidos (07/19/25)
    - Related Jobs
  • Senior Research Engineer, Advanced Technology…

    Lockheed Martin (Arlington, VA)
    …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
    Lockheed Martin (07/12/25)
    - Related Jobs
  • Software Development Engineer II

    Toyota (Plano, TX)
    …the business. + Participate in technology selection/vendor selection processes using informal or formal methods such as Request for Proposal (RFP). Also support ... others on technical and non-technical matters using written, verbal, and formal presentations to all levels of the organization and external partners.… more
    Toyota (08/08/25)
    - Related Jobs
  • Zone Coordinator-Northwest Bronx

    City of New York (New York, NY)
    …standard reporting tools and obtain regular partner and resident feedback through formal methods . Monitor performance of ongoing initiatives (eg volume of ... stakeholders and resources within the specific geographic area. 3. Establish formal partnerships, through an application and evaluation process, with relevant… more
    City of New York (07/03/25)
    - Related Jobs