• 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. - US citizenship. - Ability to obtain and maintain a DoD security clearance. Preferred Qualifications - Hands-on experience working with a formal methods tool - Demonstrable experience applying formal methods tools and techniques to software… more
    Leidos (04/19/25)
    - Related Jobs

  • Principal Software Scientist

    Leidos (Arlington, VA)
    …executing Contract R&D + At least 4 years of experience with programming languages such as Java , Scala, C / C ++, Ruby, Rust, or Python + Experience with test ... and evaluation, software analysis and software specification + Strong verbal and written communication skills, with experience engaging with senior leadership and technical teams as well as ability to present complex software solutions in a clear,… more
    Leidos (04/18/25)
    - Related Jobs

  • Software Engineer

    Systems Technologies, Inc. (Lorton, VA)
    …findings and recommendations to senior leadership and stakeholders. + Programming Languages: Proficiency in Java , C #, C , C ++, JavaScript, or other ... related languages. + Service Architecture and APIs: Experience with REST, Open API, and service architectures. + Virtualization and Containers: Knowledge of virtualization and container technologies (eg, Docker, Kubernetes), and databases. + Linux Scripting:… more
    Systems Technologies, Inc. (04/18/25)
    - Related Jobs

  • Senior Research Scientist - 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 (04/09/25)
    - Related Jobs

  • Chief Data Architect

    TekSynap (Reston, VA)
    …leading and managing cross-functional technology + Experience leading major programming/scripting languages like Java , Linux, C + +, PHP, Ruby, Python and/or R. + ... Experience working with ETL tools such as Informatica, Talend, and/or + Experience designing solutions for multiple large data warehouses with cluster and parallel architecture as well as high-scale or distributed platforms. + Experience in the research and… more
    TekSynap (04/09/25)
    - Related Jobs

  • Senior Software Engineer II, Kora Compute

    Confluent (Richmond, VA)
    …etc) + A self starter with the ability to work effectively in teamsProficiency in Java , Scala, C / C ++, Go or other statically typed languages **What Gives ... You an Edge:** + In-depth familiarity with the JVM + A strong background in distributed storage systems or databases + Experience in the areas of resource management and QoS + Experience/knowledge with public clouds (AWS, Azure or GCP) + Interest in evangelism… more
    Confluent (03/27/25)
    - Related Jobs

  • Senior Software Developer

    Leidos (Lorton, VA)
    …SQLite). + Experience with iOS and Android mobile development languages, including Java , Objective- C , or Swift. + Experience leading collaborative Python ... development projects and familiarity with issue tracking software, such as Jira, as part of a software development team and experience with the git version control system. **Favorable if you have:** + Relevant certifications such as Certified Scrum Developer… more
    Leidos (03/26/25)
    - Related Jobs

  • Software Engineer, Systems

    Meta (Richmond, VA)
    …in the following: 16. 1. One or more of the following industry-standard languages: C , C ++, C #, Python, Java , JavaScript, PHP, R, Go, or Haskell 17. 2. ... Development of data processing pipelines with SQL 18. 3. Building geo-mapping solutions, including interpreting GIS (Geographic Information System) data with standard format: GeoJSON or Shapefiles, and using R 19. 4. Building large-scale graph databases… more
    Meta (03/11/25)
    - Related Jobs

  • Chief Data Architect

    SAIC (Reston, VA)
    …and managing cross-functional technology team. + Experience leading major programming/scripting languages like Java , Linux, C + +, PHP, Ruby, Python and/or R. + ... Experience working with ETL tools such as Informatica, Talend, and/or Pentaho. + Experience designing solutions for multiple large data warehouses with cluster and parallel architecture as well as high-scale or distributed platforms. + Experience in the… more
    SAIC (03/04/25)
    - Related Jobs

  • In-Vehicle Cyber Security Engineer

    Ford Motor Company (Richmond, VA)
    …design principals + Experience with at least one modern software programming language ( C , C ++, C #, Python, Java , etc.) + CISSP, GSEC, etc. are a plus ... This description outlines the general nature and scope of work typically performed in this job. It is not intended to be an exhaustive list of all duties, responsibilities, knowledge, skills, work requirements, etc. It may vary slightly based on business or… more
    Ford Motor Company (03/04/25)
    - Related Jobs