• Formal Methods Research Intern

    Leidos (Arlington, VA)
    …engineers in research projects focused on developing high-assurance software and systems . Tasks involved in this research include adapting and extending automated ... field. - Has experience with programming languages such as Java , Scala, C/C++, Ruby, Rust, or Python. - Coursework...formal methods tools and techniques to software projects and/or systems . **Original Posting:** February 5, 2025 For US Positions:… more
    Leidos (04/19/25)
    - Related Jobs

  • Full-Stack Software Engineer

    Ford Motor Company (Richmond, VA)
    …**You'll have ** + Bachelor's degree in Computer Science, Computer Engineering, Systems Engineering or related field or a combination of education and equivalent ... years of experience in software development with skills including Java , HTML, CSS, JavaScript and Python + 3+ years...** + Master's Degree in Computer Science, Computer Engineering, Systems Engineering or related field + Experience with SQL… more
    Ford Motor Company (04/17/25)
    - Related Jobs

  • Senior Data Engineer

    Steampunk (Mclean, VA)
    …services: EC2, EMR, RDS, Redshift (or Azure equivalents) + Data streaming systems : Storm, Spark-Streaming, etc. + Search tools: Solr, Lucene, Elasticsearch + ... Object-oriented/object function scripting languages: Python, Java , C++, Scala, etc. + Advanced working SQL knowledge and experience working with relational… more
    Steampunk (04/16/25)
    - Related Jobs

  • Software Engineer - Full Stack

    Nightwing (Sterling, VA)
    Nightwing provides technically advanced full-spectrum cyber, data operations, systems integration and intelligence mission support services to meet our customers' ... the path while being mission focused. * Developer with Angular, Spring Boot, and Java skills * Experience working in an agile environment with their development team… more
    Nightwing (04/15/25)
    - Related Jobs

  • Senior Manager, Solution Architecture (Data…

    Capital One (Mclean, VA)
    …of data models to standardize data definitions, relationships and semantics across systems + Collaborate with extended teams and stakeholders to establish data ... frameworks + Design scalable architectures that integrate various data sources, systems , and platforms while minimizing duplication + Partner with engineering, data… more
    Capital One (04/13/25)
    - Related Jobs

  • Calling all Top Secret Cleared Software…

    Northrop Grumman (Dulles, VA)
    …Northrop Grumman, our employees have incredible opportunities to work on revolutionary systems that impact people's lives around the world today, and for generations ... + Applications will span languages and toolsets including Python, C++, Java , Postgres, Ansible, cloud infrastructure provisioning, PKI, and static code analysis… more
    Northrop Grumman (04/08/25)
    - Related Jobs

  • Senior Principal Consultant (Exempt)

    Progress Software Corporation (Vienna, VA)
    …+ Experience with at least one of the programming languages such as: JavaScript, Java , Python, or other + Experience with JSON or XML data modeling + Familiarity ... Deep Learning algorithms + Experience working with content or knowledge management systems , geospatial systems , or semantic technology + Experience with Kafka,… more
    Progress Software Corporation (04/05/25)
    - Related Jobs

  • Senior Delivery Consultant - Cloud Application…

    Amazon (Herndon, VA)
    …enterprise-scale cloud solutions, with deep expertise in microservices and distributed systems . - 3+ years of consulting experience working with enterprise ... - 5+ years of experience with microservices and distributed systems implementation on cloud and one or more programming...implementation on cloud and one or more programming languages ( Java , Python, Node.js, .NET) - 4+ years of experience… more
    Amazon (04/02/25)
    - Related Jobs

  • Senior Signal Processing Engineer

    Leidos (Arlington, VA)
    …for research, design, and development of signal collection, processing and dissemination systems . Duties may include designing, developing, and analyzing systems ... as MATLAB, Linux, Mathematica, Python, Simulink - and languages such as C/C++, Java etc. - Working knowledge areas such as digital filtering, spectral estimation,… more
    Leidos (04/02/25)
    - Related Jobs

  • Software Development Architect

    Steampunk (Mclean, VA)
    …**Responsibilities include:** + Design, develop, and deploy modular micro-services and cloud-based systems + Understand the needs of stakeholders and convey this to ... Leverage virtualization and containerization to optimize and modernize software systems + Act as an individual contributor and mentor...Years of experience with one Ruby; other programming languages ( Java , react, C++, C) a plus + 8 Years… more
    Steampunk (04/01/25)
    - Related Jobs