- Loyola University Chicago (Chicago, IL)
- …engineering, software security and trustworthy systems, quality assurance and testing, software architecture, formal methods , and research addressing any ... We value diverse research methodologies, including empirical studies, mining software repositories, controlled experiments, qualitative methods , human factors… more
- MIT Lincoln Laboratory (Lexington, MA)
- …to our impact. Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems ... Secure programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and leadership, including… more
- Leidos (Arlington, VA)
- … formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. If you're looking for ... seeking a motivated intern to support our work in formal methods research. The position will be...and engineers in research projects focused on developing high-assurance software and systems. Tasks involved in this research include… more
- NVIDIA (Santa Clara, CA)
- …performance and virtualization support in the SOC + Extensively use Formal Methods to architect and develop high integrity software + Design debugging ... have an exciting opportunity for a talented Senior System Software Engineer to join our dynamic Automotive Team and...strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from… more
- COLSA Corporation (Shalimar, FL)
- …reviews, and analyzes test plans, procedures, metrics, and reports throughout the software development life cycle. Develops and writes methods of tests, ... from on-the-job training with other team members , to formal courses for unique technology areas. The team is...unique technology areas. The team is searching for a software tester to support the 45th Test Squadron, the… 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 fast ... 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 engineers ... 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 (Colorado Springs, CO)
- … software deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile software development environment * ... with the lead test engineer and a team of software developers to establish and develop test methods...data analysis, and develop test documentation * Participate in formal testing events, customer meetings, and software … 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 ... issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software... formal deliveries. Job focus areas include leading software engineering activities in software architecture applied… more
- CACI International (Sterling, VA)
- Senior Software Application Developer Job Category: Information Technology Time Type: Full time Minimum Clearance Required to Start: None Employee Type: Regular ... CACI is currently looking for a motivated, career and customer-oriented Sr. Software Engineer/Developer with Agile methodology experience to join our Customs and… more
- Northrop Grumman (Los Angeles, CA)
- …mission! Northrop Grumman Mission Systems is searching for a **Sr. Principal Engineer Embedded Software ** to support our Software and Test Equipment Software ... will be 100% on-site. **Job Responsibilities** The candidate will serve as a Software Engineer for Sentinel Program, requiring the candidate to function in a dynamic… more
- JPMorgan Chase (Jersey City, NJ)
- …of leading-edge technologies **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts ... and deliver top-notch technology products. As a Sr. Lead Software Engineer-AWS/Terraform at JPMorgan Chase within Consumer & Community...methods + Proficient in all aspects of the Software Development Life Cycle + Experience working in an… more
- Northrop Grumman (Colorado Springs, CO)
- … software deficiencies Perform integration testing, regression testing, and formal qualification testing in an agile software development environment ... with the lead test engineer and a team of software developers to establish and develop test methods and techniques Design, develop, and maintain software … more
- BAE Systems (Westminster, CO)
- …in department activities to improve methods and processes + Work under formal software development methodologies. + Maintain a regular and predictable work ... Description** The Electrical Solutions team is seeking a Senior Software Engineer to work with technical teams using primarily...Ruby, to design, develop, integrate, and certify test system software and hardware for a variety of applications. The… more
- Safran (Minneapolis, MN)
- Software Engineer 3 **Job details** **General information** **Entity** Safran is an international high-technology group, operating in the aviation (propulsion, ... Research, design and development **Job field / Job profile** Software - Embedded application software **Job title**...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, ... **Domain** Performance and Support **Job field / Job profile** Software - Software for product information systems...and complete information to the QA group to facilitate formal testing. - Acquire knowledge necessary to perform job… more
- JPMorgan Chase (Columbus, OH)
- …new and leading-edge technologies **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... push the limits of what's possible. As a Lead Software Engineer at JPMorgan Chase within the Consumer and...operational stability + Proficiency in automation and continuous delivery methods + Advanced understanding of agile methodologies such as… more
- Northrop Grumman (Melbourne, FL)
- …making history. **Northrop Grumman Aeronautics Systems sector** is looking for a ** Software Functional Manager** with a strong background in ** Software Assurance ... MDC2 program. The candidate should have a strong technical background in software development and embedded systems, including strong C/C++, software requirements… more
- JPMorgan Chase (Atlanta, GA)
- …opportunity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... push the limits of what's possible. As a Lead Software Engineer at JPMorganChase within the AI Acceleration team...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
- JPMorgan Chase (Jersey City, NJ)
- …of software engineers **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and 5+ ... Payments Tech Senior Lead - Software Engineer Java This is your chance to...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more