• Software Engineer - Formal Methods

    Leidos (Arlington, VA)
    …R&D projects in formal methods, proof engineering, theorem proving, formalized mathematics , gaining hands-on experience developing and applying novel capabilities to ... extension of innovative approaches and solutions in automated reasoning applied research as well as supporting the engagement of...area and 4+ years of prior relevant experience or Masters with 2+ years of prior relevant experience +… more
    Leidos (11/13/25)
    - Related Jobs

  • (Remote) Senior Principal Data Scientist-…

    Oracle (Richmond, VA)
    …to make it a world class engineering center with the focus on excellence.As our Principal Applied Scientist, you will play a key role in shaping the future of AI at ... practices. * Lead and mentor both junior and senior applied scientists. * Develop production code and advocate for...modeling is a plus. Education: + PhD Computer Science, Mathematics , Statistics, Physics, Linguistics or a related field with… more
    Oracle (11/25/25)
    - Related Jobs

  • Instructor - Analytics

    Management Concepts (Tysons Corner, VA)
    …Required Skills + Masters degree in operations research or management, statistics, applied mathematics , or a related field, or a minimum of five years ... of experience as a practitioner + Applied experience in analysis and financial or other decision-making models + Understands and demonstrates engaging adult learning… more
    Management Concepts (10/12/25)
    - Related Jobs

  • Counter Space Payload Engineer

    SAIC (Chantilly, VA)
    …to physics, engineering, or mathematics and nine (14) years or more experience; Masters and seven (12) years or more experience; PhD and four (9) years or more ... of fielded and planned future technologies, including operational concepts, applied technologies, and system architectures, to facilitate the demonstration and… more
    SAIC (11/06/25)
    - Related Jobs