- RTX Corporation (Cambridge, MA)
- …BBN Technologies team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer , Formal Methods with strong ... dynamic systems. In this position, you will contribute strong software development skills and apply reasoning and formal...hypotheses and inform next steps + Advance network security research at BBN. + Own projects or large components… more
- Texas A&M University System (Bryan, TX)
- Job Title Teamed Autonomy Research Engineer , Levels I - IV Agency Texas A&M University System Offices Department Bush Combat Development Complex Proposed Minimum ... part of the Texas A&M University System (TAMUS), invites applications for a full-time Research Engineer I-IV in the focus area of Teamed Autonomy. The Bush… more
- Northrop Grumman (Melbourne, FL)
- …integration, formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex ... making history. **Northrop Grumman Aeronautics Systems Sector** is seeking a **Principal Engineer Software ** / **Senior Principal Engineer Software… more
- Google (Mountain View, CA)
- …and education. About You In order to set you up for success as a Research Engineer at Google DeepMind, we look for the following skills and experience: ... product teams across Google. Our team is composed of research scientists, research engineers and software...methods, theorem proving, and hardware testing methodologies. + Self-directed engineer / research scientist who can drive new … more
- Northrop Grumman (Melbourne, FL)
- …integration, formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex ... **Northrop Grumman Aeronautics Systems Sector** is seeking a **Senior Principal Engineer Software ** **(Avionics)** to support the **Global Surveillance… more
- Lockheed Martin (Arlington, VA)
- …of research to lead future technology advances in applied formal methods, simulation, test, verification, validation, and certification of autonomous and ... Martin maintain technology dominance\. As a group of applied research laboratories, we are professionals who develop and apply...one or more of the following: \- Algorithm and software development languages \(e\.g\., Python, Java, R, Rust, C,… more
- Lockheed Martin (Arlington, VA)
- …of research to lead future technology advances in applied formal methods, simulation, test, verification, validation, and certification of autonomous and ... help Lockheed Martin maintain technology dominance\. As a group of applied research laboratories, we are professionals who develop and apply leading edge… more
- Northrop Grumman (Melbourne, FL)
- …making history. **Northrop Grumman Aeronautics Systems Sector** is seeking a **Principal Engineer Software ** / **Senior Principal Engineer Software ... often require coordination between organizations. **Basic Qualifications** : + **(Principal Engineer Software )** bachelor's degree in a Science, Technology,… more
- Battelle Memorial Institute (Beavercreek, OH)
- …Assurance Cyber Analytics Department in **Beavercreek/Dayton, Ohio** is seeking a **Cyber Research Engineer III** to join our multi-disciplinary team, bringing ... embedded security solutions for our government. As a Cyber Research Engineer at Battelle you will have...following areas: + Cybersecurity Exploitation + Vulnerability Analysis + Formal Methods + Algebra or Number Theory + Cryptology… more
- Northrop Grumman (Melbourne, FL)
- …integration, formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex ... **Northrop Grumman Aeronautics Systems Sector** has an opening for a **Principal Engineer Software ** to join **Global Surveillance Division** supporting our team… more
- The Boeing Company (Titusville, FL)
- …growth. Find your future with us. The Boeing Company is looking for an **Experienced Software Engineer - Secure Network & Protocols** to join the Space Launch ... which plays a key role in the development and formal qualification of the Stage Controller software ...processes, tools and metrics * Plans, implements and documents software research and development projects * Serves… more
- BAE Systems (Merrimack, NH)
- …based on position level and/or job specifics. **FAST Labs - Mission Assessment Software Engineer - 3D Visualization** **113399BR** EEO Career Site Equal ... world. Mission Assessments has a need for a creative engineer skilled in software development, programming, and...Kit, Blender, Maya, 3DS Max, Unreal Engine, plus others). Formal training is desired on the professional 3D animation… more
- RTX Corporation (Charlotte, NC)
- …Computer Science or a related field and five years of progressive experience as a Software Engineer or related role in the avionics industry. In the alternative, ... related field and three years of experience as a Software Engineer or related role in the...TQL-4 objectives. + Demonstrable experience as main reviewer for formal reviews of software developed to DO-330… more
- Northrop Grumman (Melbourne, FL)
- …**Northrop Grumman Aeronautics Systems (NGAS) Global Surveillance Division** seeks a **Principal Software Engineer ** to enhance our team located in **Melbourne, ... a collaborative team member in our agile development process, the Principal Software Engineer will design and implement application builds, releases,… more
- LinkedIn (Mountain View, CA)
- …helping with network packet forwarding and translation, monitoring, and operations. As a Staff Software Engineer , you will be a key technical leader and role ... and makes smart trade-offs. On top of the leadership skills, a successful Staff Software Engineer must exhibit strong technical skills both in software … more
- KBR (Reston, VA)
- Title: Senior Software Engineer /AFSIM Modeler Belong. Connect. Grow. with KBR! KBR's National Security Solutions team provides high-end engineering and advanced ... the future of space defense. Key Responsibilities: KBR is seeking a Senior Software Engineer /AFSIM Modeler to join a multi-disciplinary team consisting of… more
- Walmart (Sunnyvale, CA)
- …you'll do ** We are seeking a talented and passionate **Senior Backend Engineer ** to join our international transactions team. The ideal candidate will have ... technologies and a proven track record of delivering high-quality scalable software applications. You will collaborate with our product team, in-house developers,… more
- Chenega Corporation (Melbourne, FL)
- **Req ID:** 36617 **Summary** **Senior Software Engineer ** **Melbourne, FL** Are you ready to enhance your skills and build your career in a rapidly evolving ... owned subsidiary of Chenega MIOS, is seeking a Senior Software Engineer in the Melbourne, FL /...global, fast-changing business world. From on-the-job learning experiences to formal development programs, our professionals have a variety of… more
- L3Harris (Palm Bay, FL)
- …cyber domains in the interest of national security. Job Title: Scientist, Chief Embedded Software Engineer Job Code: 24741 Job Location: Palm Bay, FL Job ... Space and Airborne Systems is seeking a Space Vehicle Software Engineer for our Palm Bay, FL...formal technical reviews including but not limited to software and system level requirements reviews, preliminary design reviews,… more
- Leidos (Arlington, VA)
- **Description** Are you a motivated **Cyber Software Engineer ** with technical hands-on knowledge of mission focused systems? Are you an ethical hacker ready to ... a variety of exciting R&D programs. As a **Cyber Software Engineer ** , you will design and...injection). + Contributions to the security community (eg, published research , CVEs, conference presentations). + Experience with developing secure,… more