• Formal Methods Research Intern

    Leidos (Arlington, VA)
    …of a research plan. Primary Responsibilities -At the direction of the project lead , analyze and assess internal software projects and artifacts as part of developing ... Has experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python . - Coursework in formal methods. - US citizenship. - Ability to obtain… more
    Leidos (04/19/25)
    - Related Jobs

  • Technical Investigator, Integrity Operations

    Meta (Richmond, VA)
    …4. Partner with Product, Engineering, Data Science and Data Engineering Teams to lead or contribute to large scale cross-functional projects as well as solve ongoing ... with data querying languages (eg SQL), scripting languages (eg Python ), and/or statistical/mathematical software (eg R) 12. Experience explaining technical… more
    Meta (04/18/25)
    - Related Jobs

  • Sr Software Engineer, Amazon Ads Exchange

    Amazon (Arlington, VA)
    …peer code-reviews. Drive improvements to the code review process. (CDK, Java, Rust, Python ) - Deep-dive into client or server systems to optimize for performance, ... scaling) of new and existing systems experience - Experience as a mentor, tech lead or leading an engineering team Preferred Qualifications - 5+ years of full… more
    Amazon (04/18/25)
    - Related Jobs

  • Oracle Engineer- Mid

    Red River (VA)
    …Oracle cloud environments in accordance with DoD requirements. + Lead automation of integration processes, including CI/CD pipelines, containerization ... RESTful web services, and Linux/Unix operating systems. + Programming skills in Python , Java (Spring framework), C++, or ECMAScript. + Understanding of CI/CD tools… more
    Red River (04/18/25)
    - Related Jobs

  • Senior WW Specialist Solutions Architect - Amazon…

    Amazon (Herndon, VA)
    …Act as a trusted advisor to line of business and C-suite leaders. * Lead architectural reviews and workshops to advance your customer's technical objectives. * Act ... Experience developing solutions and passion for hands-on experience with scripting/coding (eg python , java, c#, .NET, or Node.js) - History of successful technical… more
    Amazon (04/18/25)
    - Related Jobs

  • Software Infrastructure Engineer (Onsite)

    RTX Corporation (Sterling, VA)
    …We Prefer:** + Experience with server-side scripting languages such as Python , Bash, and PowerShell. + Experience with continuous integration for real-time ... essential to the development of our products. At Collins, the paths we pave together lead to limitless possibility. And the bonds we form - with our customers and… more
    RTX Corporation (04/18/25)
    - Related Jobs

  • Senior Fraud Risk Manager

    Navient (Richmond, VA)
    …+ Partner with Fraud Operations to enhance fraud policies, procedures, and controls. + Lead , mentor, and develop a team of fraud prevention analysts. + Oversee fraud ... methodologies, and industry best practices. + Proficiency in SQL and Python for data analysis. + Excellent communication, problem-solving, and collaboration skills.… more
    Navient (04/17/25)
    - Related Jobs

  • Advertiser Promotion Integration Product Manager:…

    Capital One (Mclean, VA)
    …is right for the team + Proficiency in handling large data files using SQL, Python , and/or R + Own day to day operations of product, including identifying bugs or ... merchant focused products that drive revenue and customer value What you'll do: + Lead multiple teams of software and data engineers to design and deliver data… more
    Capital One (04/17/25)
    - Related Jobs

  • Director, Performance Analytics

    Evolent (Richmond, VA)
    …Operations, Product Strategy, and Client Finance. **What You'll Be Doing:** + Primary lead and focal point across business areas in the development of analytics to ... changes in data architecture + Experience with other languages/platforms such as Python , R, SAS, Hadoop, AWS, ArcGIS **Technical Requirements:** We require that all… more
    Evolent (04/16/25)
    - Related Jobs

  • Network Production Engineer, Network…

    Meta (Richmond, VA)
    …analyze data to diagnose and identify root causes to network issues 5. Lead projects to address hard technical challenges, directly contributing to roadmaps and ... reliable systems and/or networks 9. Experience coding in higher-level languages (eg, Python , C++, Go, Rust, etc) 10. Experience learning software, frameworks and… more
    Meta (04/16/25)
    - Related Jobs