- 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
- 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 ** Software Engineer ** . This position will be... deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile 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
- JPMorgan Chase (Wilmington, DE)
- **Join JPMorgan Chase as a Lead Software Engineer in AIML Data Platforms** Are you ready to be an integral part of an agile team that consistently pushes the ... AIML Data Platforms, we are seeking a Senior Lead Software Engineer who will play a crucial...inclusion, and respect **Required qualifications, capabilities and skills** + Formal training or certification on software engineering… 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
- AeroVironment (San Diego, CA)
- **Worker Type** Regular **Job Description** **Summary** As a **Sr. Staff Software Engineer (Applications)** leads and mentors a talented group of engineers in a ... one leads the plans, design, development and testing of mission systems flight software . **Position Responsibilities:** + Software development in support of AV's… 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 ... In this role, one plans, designs, develops and tests software systems or applications for software enhancements...guidance and mentoring to less experienced engineers + Demonstrates methods and procedures on new assignments and may coordinate… more
- Northrop Grumman (Roy, UT)
- …environment Work with the lead test engineer and a team of software developers to establish and develop test methods and techniques Design, develop, ... career today. Northrop Grumman Defense Systems is seeking **Staff Software Engineer ** . This position can be...software deficiencies Perform integration testing, regression testing, and formal qualification testing in an agile software … 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
- Leidos (Alexandria, VA)
- **Description** **Leidos** has a new and exciting opportunity for a ** Software Engineer ** in our **National Security Sector's (NSS) Cyber & Analytics Business ... more. **Join us and make a difference in National Security!** **Job Summary** The Software Engineer will perform software development activities as a member… more
- NVIDIA (Santa Clara, CA)
- … software that meets automotive safety and security standards, and apply formal methods (ie TLA+) to improve software integrity. What we need to see: + ... world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and...are hiring now for the position of Senior System Software Engineer for Hypervisor and RTOS What… more
- JPMorgan Chase (Plano, TX)
- …we have the perfect software engineering opportunity for you. As a Mobile Software Engineer III at JPMorgan Chase within the Consumer Community Banking, you ... opportunity, inclusion, and respect **Required qualifications, capabilities, and skills:** + Formal training or certification on software engineering concepts… more
- Publix (Lakeland, FL)
- **34999BR** **Position Title:** Sr Software Engineer - Accounting Systems **Department:** Publix Technology **Location:** Lakeland, FL **Description:** **_Please ... The Accounting Systems team is looking for a detail-oriented, highly analytical Sr. Software Engineer to join a collaborative team focused on enhancing already… more
- JPMorgan Chase (Jersey City, NJ)
- …leading financial institutions, you've come to the right place. As a Principal Software Engineer at JPMorganChase within the Core Foundational Platforms team , ... high-performance computing (HPC) domain **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts… more
- JPMorgan Chase (New York, NY)
- …talent at one of the world's most influential companies. As a Senior Principal Software Engineer at JPMorgan Chase within the Consumer & Community Banking ... equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and… more
- JPMorgan Chase (New York, NY)
- …can push the limits of what's possible. As a Java / AWS Services Lead Software Engineer at JPMorgan Chase within the Consumer and Community Bank Connected ... the firm's business objectives. We are seeking a highly skilled and experienced Software Engineer dedicated to our backend development efforts in the Connected… more
- Chenega Corporation (Melbourne, FL)
- **Req ID:** 37732 **Summary** **Senior Software Engineer ** **Melbourne, FL** Are you ready to enhance your skills and build your career in a rapidly evolving ... offers highly competitive labor rates to fulfill day-to-day contract operations. The **Senior Software Engineer ** will be part of a dynamic team that provides… more