- RTX Corporation (Cambridge, MA)
- …Technologies team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer , Formal Methods with strong software ... strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic… more
- Leidos (San Diego, CA)
- …Diego, CA or Arlington, VA a few days a week for meetings. **Primary Responsibilities:** The Formal Methods Software Engineer will serve in the role of ... **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with… more
- RTX Corporation (Cambridge, MA)
- …Technologies** team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/ Software Engineers experience to join ... 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
- Target (Brooklyn Park, MN)
- …and culture. Learn more about Target here (https://corporate.target.com/about) . As an Engineer , you serve as a technical specialist delivering the engineering that ... technical architecture and design to deliver robust and scalable software components. You constantly demonstrate the depth of your...that can influence both. **About this Team:** ATP Ship Methods is one of the most complex systems in… more
- Leidos (Arlington, VA)
- …the development of high-assurance, resilient software . + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... **Description** Are you a motivated ** Software Engineer ** with technical, hands-on experience...topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree… more
- Northrop Grumman (Huntsville, AL)
- …environment * Work with the lead test engineer and a team of software developers to establish and develop test methods and techniques * Design, develop, ... your career today. Northrop Grumman Defense Systems is seeking ** Engineer Software - 15740.** This position will... deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile software … more
- Leidos (Annapolis Junction, MD)
- **Description** **Leidos** has a new and exciting opportunity for a Software Engineer in our **National Security Sector's (NSS) Cyber & Analytics Business Area ... much more. **Join us and make a difference in National Security!** The ** Software Engineer ** will perform software development lifecycle (SDLC) activities… more
- Leonardo DRS, Inc. (Burnsville, MN)
- …systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using technologies such ... and support capabilities. **Job Summary** As the senior principal software engineer focused on software ... issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software… more
- Safran (Minneapolis, MN)
- Software Engineer 3 **Job details** **General information** **Entity** Safran is an international high-technology group, operating in the aviation (propulsion, ... / Job profile** Software - Embedded application software **Job title** Software Engineer ...with the QA group to facilitate thorough and timely formal testing. - Acquire and disseminate advanced knowledge necessary… more
- Safran (New Brighton, MN)
- Software Engineer 1 **Job details** **General information** **Entity** Safran is an international high-technology group, operating in the aviation (propulsion, ... Software for product information systems **Job title** Software Engineer 1 **Employment type** Permanent **Professional...and complete information to the QA group to facilitate formal testing. - Acquire knowledge necessary to perform job… more
Recent Jobs
-
Vice President, Operations - Airline Lounges
- Sodexo (Boston, MA)
-
Sr. Lead Data Architect - CT Cdas
- JPMorgan Chase (Jersey City, NJ)
-
Sr Staff Design Verification Engineer
- Renesas (Austin, TX)
-
Embedded Software Engineer - Florida - onsite
- Carnegie Mellon University (Pittsburgh, PA)