- Raytheon (Andover, MA)
- …environment.What You Will DoTranslate engineering design requirements into formal manufacturing process documentation including raw material definition, ... more
- Raytheon (Andover, MA)
- …What You Will Do Translate engineering design requirements into formal manufacturing process documentation including raw material definition, fixturing/tooling ... more
- Qualcomm (Santa Clara, CA)
- …+ Degree in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model ... more
- Microsoft Corporation (Redmond, WA)
- …state-of-the-art of research in the broad fields of formal methods , high-performance computing, programming languages, and software engineering. Research ... more
- Leidos (Arlington, VA)
- …low-level systems, software correctness + Experience applying the application of formal methods in fundamental research contexts, to problems in complex ... 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)
- …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)
- …will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... more
- System One (Bellevue, WA)
- …compliance with licensing requirements for our client's reactors. Responsibilities: Create formal documentation of nuclear methods software requirements, ... 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
- Cummins Inc. (Columbus, IN)
- …is seeking a Technical Adviser to research, prototype, and demonstrate innovative software and controls features with connected and intelligent algorithms. This role ... more
- Cummins Inc. (Columbus, IN)
- …a Technical Specialist to develop, prototype, and demonstrate innovative digital software and controls features with connected and intelligent algorithms. In this ... 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
- Leonardo DRS, Inc. (Johnstown, PA)
- …systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using technologies such ... more
- KBR (Wright Patterson AFB, OH)
- … software acquisition program(s), especially experience or extensive knowledge of the formal Software Acquisition Pathway. Ready to Make a Difference? If ... more
- KBR (Patuxent River, MD)
- Title: Software Test Engineer KBR is seeking a Software Test Engineer to join an Integrated Product Team that oversees the development of an operational mission ... more
- Ford Motor Company (Sunrise, FL)
- … software design documentation per established process. Approve documentation through formal reviews. + Drive established Agile development methods within the ... more
- AeroVironment (Moorpark, CA)
- **Worker Type** Regular **Job Description** **Summary** As a **Sr. Software Engineer (Applications)** one works with and is mentored by a talented group of engineers ... more
- MIT Lincoln Laboratory (Lexington, MA)
- …protocols. + Secure programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and ... more
