- MindMatch (Berkeley, MO)
- …Space & Security (BDS) is seeking a T-7A Mission Systems Senior Technical Lead Engineer (Level 5) to join the T-7A Mission Systems Team located in Berkeley, MO ... . As a Technical Lead Engineer on the T-7A Mission Systems Hardware team, your...hardware requirements decomposition, qualification test, laboratory and aircraft integration, formal verification test, and production support. The T-7A Red… more
- grabjobs (Holladay, UT)
- …autonomous systems, energy, and the built environment. As the Digital Twin AI Framework Engineer , you will play a foundational role in our Digital Twins team in ... Quantum Knowability Model: Develop the Quantum Knowability Model - evolve the formal proofs of digital twin definitions, systems, events, and compositional stage by… more
- grabjobs (Nashville, TN)
- …lasting change that moves missions and the government forward! You are: A DevOps Engineer , who enjoys using new technologies to help our clients increase the pace ... integrate security requirements into technical solutions and conduct ongoing research to incorporate emerging technologies, enhancing the organization's overall… more
- Simpson Gumpertz & Heger (Boston, MA)
- Do you want to help engineer what's next? Simpson Gumpertz & Heger (SGH) is a national engineering firm committed to delivering holistic advice for our clients' most ... advanced analysis, performance & code consulting, and applied science & research to deliver unrivaled, comprehensive solutions that drive superior performance. With… more
- NSS (Herndon, VA)
- Laser Engineer Fibertek, Inc. is a leading developer of laser and electro-optic systems for the aerospace community, with key contributions to lasers for atmospheric ... customers. We are looking for a highly motivated Laser Engineer to join our division at Herndon, VA to...multiple concurrent projects with a mix of short duration research programs and longer duration technology maturation programs. Your… more
- GHD Group (Bloomsburg, PA)
- …nature and nurture communities. Who are we looking for? We're looking for a Project Engineer to join our team in the Scranton/Wilkes Barre, PA area! With 2-5 years ... by participating in assessment and development planning activities as well as formal and informal training and coaching; gain or maintain external professional… more
- Sunbelt Controls (Las Vegas, NV)
- …supporting Senior Level Design Engineers for mid-level control systems as required. Research and selection of control system peripherals and end devices. Reading and ... project construction schedules relative our scope of work utilizing 3rd party software programs such as MS Project as required. Manages, supports and provides… more
- 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 ... Grumman Aeronautics Systems Sector has an opening for a ** Software Engineer or a Principal Software...scripting languages in a development environment. + Experience with formal software test and Weapon System evaluations.… 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
- 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
