• Software Engineer - Formal Methods

    Leidos (Arlington, VA)
    …or 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 experience: + Applying formal methods, using technologies such as theorem provers for first-order logic and higher-order logic, proof assistants, solvers, or other automated reasoning tools and/orconducting applied research areas of CPS such as… more
    Leidos (11/13/25)
    - Related Jobs

  • AI Research Intern

    Leidos (Arlington, VA)
    …Mathematics, or a related technical field. - Has experience with programming languages such as Java , Scala, C / C ++, Ruby, Rust, or Python. - Coursework in ... artificial intelligence and/or machine learning. - Ability to obtain and maintain a DoD security clearance. - US citizenship required. Preferred Qualifications - Hands-on experience working with AI technologies - Demonstrable experience and curiosity in AI. If… more
    Leidos (11/11/25)
    - Related Jobs

  • DevSecOps Engineer, Argon ST (Associate…

    The Boeing Company (Fairfax, VA)
    …(Required Skills/ Experience):** + 3+ years of experience designing and developing software using Python, C / C ++, C # and/or Java + 3+ years of experience ... working under a Linux/Unix environment + 2+ years of experience working with Virtualized Systems (ie VMWare) design and implementation + Experience with application DevOps tools, such as GitLab (CI/CD), Git Bash, Gradle, Maven, Jenkins, and Artifactory… more
    The Boeing Company (11/07/25)
    - Related Jobs

  • Formal Methods Research Intern

    Leidos (Arlington, VA)
    …Mathematics, or a related technical field. - Has experience with programming languages such as Java , Scala, C / C ++, Ruby, Rust, or Python. - Coursework in ... formal methods. - Ability to obtain and maintain a DoD security clearance. - US citizenship required. Preferred Qualifications - Hands-on experience working with a formal methods tool - Demonstrable experience applying formal methods tools and techniques to… more
    Leidos (11/06/25)
    - Related Jobs

  • Engineer Software

    Northrop Grumman (Mclean, VA)
    …related technical experience. + Current DoD Secret Clearance. + Demonstrated experience developing software using Java , Rust, C , C ++, C #, or Python. + ... Demonstrated experience with debugging existing software and correcting defects. + Demonstrated experience with the SDLC and agile methodologies. + Development experience in Linux environment, preferably RHEL. **Preferred Qualifications:** + Experience using… more
    Northrop Grumman (11/06/25)
    - Related Jobs

  • AI/ML Solutions Development SME

    World Wide Technology (Chantilly, VA)
    …Frameworks:** + Experience coding in one or more general purpose languages (eg, Python, Java , Go, C or C ++) including data structures, algorithms, and ... software design. + Experience with Machine Learning model development and deployment. + Experience with frameworks for deep learning (eg, PyTorch, TensorFlow, Jax, etc.) and using machine learning APIs. + **Specialized Domain Expertise:** + Experience working… more
    World Wide Technology (10/23/25)
    - Related Jobs

  • Cloud Infrastructure Engineer, Google Public…

    Google (Reston, VA)
    …integration/delivery. + Experience coding in one or more general purpose languages (eg, Python, Java , Go, C or C ++) including data structures, algorithms, ... and software design. + Experience with standard IT security practices such as identity and access management, data protection, encryption, certificate and key management. + Must possess an active Top Secret/SCI security clearance. **Preferred qualifications:**… more
    Google (10/18/25)
    - Related Jobs

  • Software Engineer - Ford Pro

    Ford Motor Company (Richmond, VA)
    …5+ years of experience with Object-oriented development languages, such as but not limited to: + Java + JavaScript + C / C ++ TypeScript + Kotlin + Python + ... C # + Modern databases (Relational and non-relational) 4+ years of experience developing and deploying to cloud platforms, such as Google Cloud Platform, Amazon Web Services, and Microsoft Azure Experience in developing web-based UI using Vue.js, React,… more
    Ford Motor Company (10/09/25)
    - Related Jobs

  • Software Engineer- Systems

    Meta (Richmond, VA)
    …60 months of experience must include the following: 14. 1. Coding in C , C ++, C #, Python, Java , or Javascript 15. 2. Python, PHP, or Haskell 16. 3. ... Relational databases and SQL 17. 4. Software development tools: Code editors (VIM or Emacs), and revision control systems (Subversion. GIT, or Perforce) 18. 5. Linux, UNIX, or other "nix-like OS including file manipulation and simple commands 19. 6. Core web… more
    Meta (10/01/25)
    - Related Jobs

  • Research Intern, PhD, Summer

    Google (Reston, VA)
    …or journals. + Experience with one or more general purpose programming languages (eg, Python, Java , JavaScript, C / C ++, etc.). **About the job** Join us for a ... full-time, 12-14 week paid internship that offers personal and professional development, an executive speaker series, and community-building. Research happens across Google everyday, in many different teams. Our research has already impacted user-facing… more
    Google (10/01/25)
    - Related Jobs