• Software Engineer - Formal Methods

    Leidos (Arlington, VA)
    …programs working at the direction of a principal investigator or task lead , supporting the development, adaptation, and extension of innovative approaches and ... 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… more
    Leidos (11/13/25)
    - Related Jobs
  • Senior ServiceNow Developer, Amazon Leo Enterprise…

    Amazon (Arlington, VA)
    …- Utilize knowledge of development and service delivery best practices to lead design and development efforts for a team with a security, scalability, ... programming with at least one modern language such as Python, Ruby, Golang, Java , C++, C#, Rust - Experience with Linux/Unix - Experience with CI/CD pipelines… more
    Amazon (11/13/25)
    - Related Jobs
  • Software Engineer - Frontend

    Guidehouse (Mclean, VA)
    …closely with architects and backend engineers. **What You Will Do** + Lead design and development of responsive, accessible, and secure front-end applications using ... financial systems or government-regulated environments + Exposure to backend development ( Java , Spring Boot) + Experience with accessibility standards (WCAG, Section… more
    Guidehouse (11/13/25)
    - Related Jobs
  • Senior Software Programmer

    CGI Technologies and Solutions, Inc. (Reston, VA)
    …responsibilities:** We are seeking a highly skilled Senior Software Programmer to lead the design and development of innovative software solutions. This role ... Angular, TypeScript, Webpack, and PrimeNG. * Solid understanding of Java /J2EE technologies including Spring and Spring Boot. * Experience...and Well-being programs **Skills:** + Angular + Cucumber + Java + SCRUM + Selenium + Terraform **What you… more
    CGI Technologies and Solutions, Inc. (11/13/25)
    - Related Jobs
  • Senior Manager, AI Engineering (People Leader)

    Capital One (Mclean, VA)
    …professional development through mentoring and coaching. You are hands-on when necessary and lead by example. + You adapt quickly and thrive on bringing clarity to ... LLM Inference, Similarity Search and VectorDBs, Guardrails, Memory) using Python, C++, C#, Java , or Golang + Passion for staying abreast of the latest AI research… more
    Capital One (11/12/25)
    - Related Jobs
  • Senior Data Engineer

    Steampunk (Mclean, VA)
    …service skills and a passion for data and problem solving. **Contributions** + Lead and architect migration of data environments with performance and reliability. + ... tools: Solr, Lucene, Elasticsearch + Object-oriented/object function scripting languages: Python, Java , C++, Scala, etc. + Advanced working SQL knowledge and… more
    Steampunk (11/12/25)
    - Related Jobs
  • AMR/AGV Architect - Remote

    Cognizant (Richmond, VA)
    …safety standards, and integration with industrial systems. **Key Responsibilities** + Lead the design of comprehensive hardware, software, and controls architecture ... and perception systems. + Proficiency in programming languages (Python, C++, Java ), simulation tools, and AI/ML concepts for navigation. + Experience integrating… more
    Cognizant (11/12/25)
    - Related Jobs
  • Senior Software Engineer

    Confluent (Richmond, VA)
    …A self starter with the ability to work effectively in teams + Proficiency in Java , Scala, C/C++, Go or other statically typed languages **What Gives You an Edge:** ... best ideas come from different perspectives. And we make space for everyone to lead , grow, and challenge what's possible. We're proud to be an equal opportunity… more
    Confluent (11/12/25)
    - Related Jobs
  • Data Sciences Research Intern

    Leidos (Arlington, VA)
    …of a research plan. Primary Responsibilities -At the direction of the project lead , analyze and assess internal projects and artifacts as part of developing ... a related technical field. - Has experience with programming languages such as Java , Scala, C/C++, Ruby, Rust, or Python. - Coursework in artificial intelligence… more
    Leidos (11/11/25)
    - Related Jobs
  • Software Engineer (Multiple Levels)

    Noblis (Chantilly, VA)
    …to design, build, and deploy applications at the direction of lead architects, including large-scale data processing, computationally intensive statistical modeling, ... environments + Proficiency with: + One or more programming languages: Java , .NET(C#), Python + Software architecture principles and patterns + Object-oriented… more
    Noblis (11/11/25)
    - Related Jobs