- 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
- 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 **Principal Software Engineer (Applications)** leads and mentors a talented group of engineers in a fast ... environment. In this role, one oversees plans, design, development and testing of software systems or applications for software enhancements and new products… 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
- JPMorgan Chase (New York, NY)
- …functions in support of the firm's business objectives. **Job responsibilities** + Formal training or certification on software engineering concepts and 5+ ... Spring, AWS, Oracle, and Postgres **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and… more
- Abbott (Sylmar, CA)
- … + Experience with Python and/or Java is required + Experience with formal software development methodologies, and source code management is recommended + ... **Sylmar, CA** currently has an opportunity for a **Sr. Software Engineer.** Perform specialized level software project...Class II medical Devices such as ICD's, Pacemakers. Conduct formal reviews of test designs and test scripts to… 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
- Syms Strategic Group, LLC (SSG) (Manhattan, KS)
- Syms Strategic Group (SSG) is seeking a talented Software Developer in Test (SDET) Location: Remote Department: Veterans Affairs (VA) Type: Full Time Min. ... Project Managers, and Development Leads + Perform and lead tests and software and/or Information Technology (IT) systems to ensure proper operation and freedom… more
- Northrop Grumman (Roy, UT)
- …your life and launch your career today. Northrop Grumman Defense Systems is seeking Software Test Engineers for the Flight / Guidance Navigation & Control (GN&C) ... Software Team. This position will be located in **Roy,...Assist in the design, development, and implementation of testing methods and equipment. * Test planning, execution, reporting, and… more
- JPMorgan Chase (Wilmington, DE)
- …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 Senior Lead Software Engineer - Platform/AWS/Golang at JPMorgan Chase within the...methods + Proficient in all aspects of the Software Development Life Cycle + Experience working in an… more
- AeroVironment (Huntsville, AL)
- **Worker Type** Regular **Job Description** **Summary** As a ** Software Engineer III (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...writing unit tests and debugging code + Experienced with formal and structured lifecycle development process + Experienced with… more
- JPMorgan Chase (New York, NY)
- …opportunity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... an adventure where you can push the limits of what's possible. As a Lead Software Engineer at JPMorgan Chase within the Equity Derivatives Group you will join our… more
- JPMorgan Chase (Jersey City, NJ)
- …opportunity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... exciting and rewarding opportunity for you to take your software engineering career to the next level. As a...Life Cycle and proficiency in automation and continuous delivery methods + Advanced understanding of agile methodologies such as… more
- Lockheed Martin (Palmdale, CA)
- …tasking and other support as necessary\. SWQE will develop and deploy standard software quality procedures and quality engineering methods and instruments\. They ... software lifecycle \(e\.g\. Requirements, Design, Coding, Unit Testing, Formal Testing, Integration & Testing, Release, Configuration Management, Problem… 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 Consumer & Community...methods + Proficient in all aspects of the Software Development Life Cycle + Experience working in an… 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
- JPMorgan Chase (Jersey City, NJ)
- …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 JPMorgan Chase within the Consumer and...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more