• Software Engineer - Formal Methods

    Leidos (Arlington, VA)
    …theorem proving. + At least 2 years of experience with programming languages such as Java , Scala, C/C++, Ruby, Rust, or Python + At least 3 years of hands-on ... CPS such as autonomous vehicles, smart sensors, or Internet of Things, fusing data collected from cyber and physical systems to develop novel approaches to address… more
    Leidos (11/13/25)
    - Related Jobs

  • GPU Software Engineer

    Leidos (Arlington, VA)
    …multi-threaded software architectures + Designing, implementing, and testing high speed data transfer / Latency codes + Designing, implementing, and testing ... Experience with other programming languages such as Python and/or Java AWTLINC Come break things (in a good way)....abilities, as well as internal equity, alignment with market data , applicable bargaining agreement (if any), or other law.… more
    Leidos (11/12/25)
    - Related Jobs

  • Senior Test Engineer

    Highmark Health (Richmond, VA)
    …reviews of testing artifacts. Acquires, manipulates or creates all necessary test data needed for software quality assurance. Responsible for mentoring junior test ... Test engineers will work with a variety of QA Automation technologies including; Java programming, Selenium, Appium and our cloud build and delivery processes. Role… more
    Highmark Health (11/11/25)
    - Related Jobs

  • Portfolio Manager

    CACI International (Sterling, VA)
    …and interfaces for failures, irregularities, and performance issues + Monitor availability, data replication, exports, data synchronization, and scheduled jobs + ... by all portfolio teams + Report metrics, assess system data , analyze error logs, & capture user reports +...with a variety of technology stacks and platforms (.NET, Java , SQL, Oracle, PostGres, NoSQL) + Experience with configuration… more
    CACI International (11/07/25)
    - Related Jobs

  • GIS Application Developer - TS/SCI

    Xcellent Technology Solutions (Quantico, VA)
    …it easier for intelligence professionals to access, visualize, and share geospatial data . Your contributions will directly support MCIA's mission to provide a ... secure, centralized platform for geospatial data discovery, sharing, and collaboration across multiple classified networks. You will also assist in the continued… more
    Xcellent Technology Solutions (11/07/25)
    - Related Jobs

  • Senior Signal Processing Engineer

    Leidos (Arlington, VA)
    …and advanced algorithms, performance simulation, and analysis - using simulated and real data in both time series and spectral domains - Serve as Principal ... Mathematica, Python, Simulink - and languages such as C/C++, Java etc. - Working knowledge areas such as digital...abilities, as well as internal equity, alignment with market data , applicable bargaining agreement (if any), or other law.… more
    Leidos (11/06/25)
    - Related Jobs

  • Senior UiPath/RPA Developer

    General Dynamics Information Technology (Fort Belvoir, VA)
    …to Obtain:** Top Secret/SCI **Public Trust/Other Required:** None **Job Family:** Data Science and Data Engineering **Skills:** Application Development,Problem ... and management to define and create reports, dashboards, and data analysis products that provide insights to help drive...+ Programming experience in languages such as Python, C#, JAVA , C++ **Required Skills and Abilities:** + Understanding of… more
    General Dynamics Information Technology (11/06/25)
    - Related Jobs

  • Software Developer SME

    Leidos (Chantilly, VA)
    …Additional experience in lieu of degree. + Experience creating applications with Java , Springboot, and Amazon Web Services for backend components, focusing on ... on a team that used the Scrum agile framework + Experience manipulating data using XML, JSON and YAML formats **Desired Qualifications** + Certification - Amazon… more
    Leidos (11/05/25)
    - Related Jobs

  • Chief Modeler (M&s)- FAA Bnatcs

    Parsons Corporation (Centreville, VA)
    …and cybersecurity risks. Develop Interface Control Documents (ICDs) and define data schemas, message sets, and performance budgets for modeled systems. + ... reliability, and lifecycle costs. Ensure simulation outputs are calibrated to lab data from FAA facilities, including the William J. Hughes Technical Center (WJHTC).… more
    Parsons Corporation (11/04/25)
    - Related Jobs

  • Cloud Solutions Engineer/Administrator Senior

    Elevance Health (Richmond, VA)
    …to plan. + Responsible for delivery of application technology solutions and data information planning effort. + Coordinates and manages on-call support and owns ... with the following technical stack is strongly preferred: o _Programming Languages_ - Java , C#, JavaScript and Pythono _Web Developmen_ t - React.js, Node.js and… more
    Elevance Health (11/04/25)
    - Related Jobs