- CGI Technologies and Solutions, Inc. (Reston, VA)
- ** Software Developer (C++)** **Category:** Software Development/ Engineering **Main location:** United States, Virginia, Reston **Position ID:** J0625-1009 ... Type:** Full Time **Position Description:** CGI has an immediate need for a Software Developer (C++) to join our team. This is an exciting opportunity to… more
- Leidos (Alexandria, VA)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... The individual will analyze and study complex system requirements, use design software tools, provide support using formal specifications, data flow diagrams,… more
- Leidos (Alexandria, VA)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... are available. + Analyze and study complex system requirements, use design software tools, provide support using formal specifications, data flow diagrams,… more
- Leidos (Arlington, VA)
- …+ Experience with developing secure, resilient solutions + Experience with formal methods + Experience with developing/integrating/testing embedded applications ... **Description** Are you a motivated **Cyber Software Engineer** with technical hands-on knowledge of mission...a variety of exciting R&D programs. As a **Cyber Software Engineer** , you will design and implement sophisticated… more
- JPMorgan Chase (Mclean, VA)
- …equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... teams to align with business goals. As a Lead Software Front End/Full Stack Engineer at JPMorgan Chase within...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
- Amazon (Arlington, VA)
- …Services is looking for a Principal Applied Scientist to help define and drive formal verification of hardware, software , and RTL (FPGA) code on a networking ... outcome driven FV team. - Write, validate, and maintain formal models of the hardware that systems software...about in Rust programming language - Experience in RTL formal verification methods - Creating and validating… more
- Leidos (Arlington, VA)
- …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... projects. This role will drive capture of strategic customer-funded software R&D. The ideal candidate will have a proven...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
- Nightwing (Sterling, VA)
- …technical surveillance, data intelligence, lifecycle mission enablement, and software modernization. Nightwing brings disruptive technologies, agility, and ... will: Provide training services to design and deliver a variety of IT ( software and hardware) training courses. S/He shall work across the program to analyze… more
- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... * Conducted research in at least one more adjacent area such as formal verification/ methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and… more
Recent Jobs
-
Associate Principal Scientist, Biology-Discovery
- Merck & Co. (Boston, MA)
-
Spclst, Operations
- Merck & Co. (Durham, NC)