- Raytheon (Tucson, AZ)
- …methods in achieving production yield improvements, technical writing, formal presentation, and implementing Engineering Change Notices.Self-starter who's capable ... more
- Leidos (Arlington, VA)
- **Description** Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing state-of-the-art ... more
- RTX Corporation (Cambridge, MA)
- …shine as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and ... more
- RTX Corporation (Cambridge, MA)
- …such systems. This position is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks, etc. You will work ... more
- RTX Corporation (Cambridge, MA)
- …you will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... more
- Microsoft Corporation (Redmond, WA)
- …to extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, programming languages, and software engineering. ... more
- 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 ... more
- System One (Bellevue, WA)
- …compliance with licensing requirements for our client's reactors. Responsibilities: Create formal documentation of nuclear methods software requirements, design, ... more
- University of Kansas (Lawrence, KS)
- …at the University level. 3. Expertise in any area related cybersecurity, formal methods , algorithms, and/or artificial intelligence, including but not limited ... more
- NVIDIA (Santa Clara, CA)
- …system level components of world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and increase the quality of ... more
- Jet Propulsion Laboratory (Pasadena, CA)
- …constrained-random verification methodology aligned to the test plan. + Apply formal methods to supplement simulation-based verification. + Systematically ... more
- Leidos (San Diego, CA)
- …+ Ph.D. in Computer Science, Mathematics, or related degree + Applying formal methods , using technologies such as theorem provers for first-order ... more
- New York University (New York, NY)
- …research in this area -Attending and engaging in discussions in a weekly seminary on formal methods Candidates should have interest and experience in one or more ... more
- 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 ... more
- The Walt Disney Company (Burbank, CA)
- …+ Graduate degree (Master's or Doctorate)-with significant graduate-level academic exposure to formal or quantitative methods and 3+ years of experience + ... more
- State of Colorado (Golden, CO)
- …price agreements, utilizing the BIDS systems and other vendor selection methods as necessary. Procures equipment/accessories through formal bidding processes. ... more
- Leonardo DRS, Inc. (Burnsville, MN)
- …services, operating systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using ... more
- Leonardo DRS, Inc. (Frederick, MD)
- …device drivers, combat systems, real-time embedded systems, human interfaces, test harnesses, formal methods ) + Ability to act independently, prioritize tasks ... more
- Leonardo DRS, Inc. (Frederick, MD)
- …drivers, combat systems, real-time embedded systems, human interfaces, test harnesses, formal methods ) \#NEL #LI-AS1 **U.S. Citizenship required. This position ... more
- Broadcom (San Jose, CA)
- …crossings while minimizing design risk and complexity. **Verification Collaboration and Formal Methods :** + Collaborate with verification engineers to define ... more
Related Job Searches:
Formal,
Formal Methods Research Engineer,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Formal Methods,
Sr Principal Formal Methods