• Formal Methods Research Intern

    Leidos (Arlington, VA)
    …or a related technical field. - Has experience with programming languages such as Java , Scala, C/C++, Ruby, Rust, or Python. - Coursework in formal methods. - ... Ability to obtain and maintain a DoD security clearance . - US citizenship required. Preferred Qualifications - Hands-on experience working with a formal methods tool… more
    Leidos (11/06/25)
    - Related Jobs
  • Systems Architect

    Eliassen Group (Huntsville, AL)
    …testing, and deployment. **Location:** Full-time/Onsite at Huntsville, AL **Security Clearance :** Secret required **Pay Rate:** $115,000 - $130,000 Direct hire ... and associated solutions. + Familiarity with Software development and Java -based software. + Familiarity with DevSecOps and/or Digital Engineering Transformation… more
    Eliassen Group (11/06/25)
    - Related Jobs
  • Computational Machine Learning Engineer Staff

    Lockheed Martin (Grand Prairie, TX)
    …and tools * Proficiency in programming languages such as Python, C\+\+, or Java * Experience with production\-grade ML pipelines and probabilistic modeling * Strong ... * Familiarty with tools liek SmartUQ, Dakota, or similar UQ platforms ** Clearance Level:** None **Other Important Information You Should Know** **Expression of… more
    Lockheed Martin (11/06/25)
    - Related Jobs
  • Senior Embedded Software Engineer

    Carnegie Mellon University (Arlington, VA)
    …Who you are + Candidates must possess an active TS/SCI DoD security clearance issued by the US government. A counterintelligence polygraph is required or must ... in one or more of the following: C and C++, Python, MATLAB, C#, or JAVA . + You've worked with modern RTOSes, such as VxWorks and Integrity, and developed and… more
    Carnegie Mellon University (11/06/25)
    - Related Jobs
  • Sr. Embedded Software Engineer

    Carnegie Mellon University (Pittsburgh, PA)
    …in one or more of the following: C and C++, Python, MATLAB, C#, or JAVA . + You've worked with modern RTOSs, such as VxWorks and Integrity, and developed and ... a background check and obtain and maintain an active Department of Defense security clearance . + You're willing to travel (25%) outside your office location to other… more
    Carnegie Mellon University (11/06/25)
    - Related Jobs
  • Real-Time Embedded Software Engineer

    Carnegie Mellon University (Pittsburgh, PA)
    …peripheral driver. + You have experience in one or more of the following: Java , Go, Rust, Ada, MATLAB + You have experience with FPGAs and/or heterogenous computing ... background check and obtain and maintain an active Department of Defense (DoD) security clearance . + You have a willingness to travel (25%) outside of your office… more
    Carnegie Mellon University (11/06/25)
    - Related Jobs
  • Senior System Tester

    Competitive Range Solutions, LLC (Fort Meade, MD)
    …of testing methodologies and best practices. Required Qualifications: + Active Secret Clearance : TS preferred. + Education: + Bachelor's Degree in Computer Science, ... within Agile Scrum methodologies. + Technical Expertise: + Strong proficiency in Java and scripting languages such as Python. + Extensive experience in debugging,… more
    Competitive Range Solutions, LLC (11/06/25)
    - Related Jobs
  • Modernization Software Engineer - SWE0

    Lockheed Martin (Hanover, MD)
    …and micro\-service architecture development * C\+\+20 or newer based on Boost * Java * Front End Development with Javascript and/or React or other frameworks * ... to Human\-Language Translation tools and techniques * RF algorithm development ** Clearance Level:** TS/SCI w/Poly SP **Other Important Information You Should Know**… more
    Lockheed Martin (11/05/25)
    - Related Jobs
  • DevOps Engineer-TS/SCI with Poly

    CACI International (Annapolis Junction, MD)
    …Engineer-TS/SCI with Poly Job Category: Engineering Time Type: Full time Minimum Clearance Required to Start: TS/SCI with Polygraph Employee Type: Regular Percentage ... load balancing (HAproxy, httpd) + Knowledge of web servers (Tomcat, Nginx, Java ) + Database expertise (MongoDB, Postgres, MySQL) + AWS experience or certification… more
    CACI International (11/05/25)
    - Related Jobs
  • Software Engineer

    CACI International (VA)
    Software Engineer Job Category: Information Technology Time Type: Full time Minimum Clearance Required to Start: NACI Employee Type: Regular Percentage of Travel ... TypeScript, JavaScript, or ActionScript. * Proficient in multiple computing languages such as Java , C++, C#, or Visual Basic. * Experience with basic SQL, stored… more
    CACI International (11/05/25)
    - Related Jobs