• Formal Methods Research Intern

    Leidos (Arlington, VA)
    …a research plan. Primary Responsibilities - At the direction of the project lead , analyze and assess internal software projects and artifacts as part of developing ... to support the analysis and interpretation of experimental results by senior researchers and decision-makers. - Communicate plans and results effectively through… more
    Leidos (12/05/25)
    - Related Jobs
  • Platform Automation Engineer

    Oracle (Richmond, VA)
    …+ Excellent test script automation, object-oriented coding skills in either Python, Java , C++, TypeScript, or equivalent preferred. + Experience in writing and ... to deployment to our internal cloud and engineered systems customers. May lead specialized area which may have diverse functional elements. Frequent interactions… more
    Oracle (11/25/25)
    - Related Jobs