• Formal Methods Research Intern

    Leidos (Arlington, VA)
    …test case artifacts such as test scripts, scoring code to support the analysis and interpretation of experimental results by senior researchers and ... test cases that entail the application of formal methods analysis techniques and tools. - Integrate and adapt formal...or a related technical field. - Has experience with programming languages such as Java , Scala, C/C++,… more
    Leidos (12/05/25)
    - Related Jobs
  • Lead Systems Engineer - (Hybrid)

    CareFirst (Reston, VA)
    …+ Strong skills are desired in each of the following areas. + Development: Experience programming with one or more languages: Python, Java , Groovy, Go, etc. + ... **PURPOSE:** Defines, designs and develops system requirements. Performs trade-off analysis of performance, life-cycle cost, risk, producibility, and other system… more
    CareFirst (12/05/25)
    - Related Jobs
  • Data Analyst 3

    New York State Civil Service (Albany, NY)
    …Oracle database administration and SQL development. .?Proficiency in several popular programming languages, including Java , Perl, PowerShell, Python, Standard ... section, the Data Analyst 3, SG-27, will be responsible for providing senior strategic and technical leadership within the enterprise data architecture project… more
    New York State Civil Service (12/03/25)
    - Related Jobs
  • Apartments.com - Technical Manager, Mobile…

    CoStar Realty Information, Inc. (Orange County, CA)
    …Android and/or iOS development tools, SDK, and related languages (Objective C/Swift/ Java ). **PREFERRED QUALIFCATIONS AND SKILLS** + Proficient in writing Unit Tests ... development tools; TFS/Jira, C#, SQL Server, Crashlytics + Strong computer system analysis and design skills in current methodologies and patterns including object… more
    CoStar Realty Information, Inc. (11/22/25)
    - Related Jobs
  • Principal Engineer Software (DLP Life Cycle (SDLC)

    Palo Alto Networks (Santa Clara, CA)
    …+ **Security Hardening:** Embed security into the SDLC. Integrate and manage **Static Analysis (SAST)** and other security tools within the build process to harden ... bug detection and remediation. + AI-powered pipeline optimization and security analysis . **Your Experience** + **10+ years** of experience in software engineering,… more
    Palo Alto Networks (11/15/25)
    - Related Jobs
  • Principal Applied Scientist, Stores Ads…

    Amazon (Seattle, WA)
    …into problem definitions, dealing with ambiguity and competing objectives - Experience programming in Java , C++, Python or related language - Experience ... authority for the Amazon Stores Advertising team with Amazon senior leaders and other science organizations - Help craft...5+ years of hands-on work in predictive modeling and analysis experience - PhD in Electrical Engineering, Computer Science,… more
    Amazon (11/14/25)
    - Related Jobs
  • Solution Architect III- Customer Platforms (US)

    TD Bank (Mount Laurel, NJ)
    …of solving the problem. The Solution Architect will: * Take direction from Senior Architects within the team. * Work closely with other enterprise architects, ... procedures and broader business issues and relevant technologies. Familiarity with Java , Angular, Azure, OIDC, REST, Kafka/Events, relational and non-SQL databases… more
    TD Bank (11/13/25)
    - Related Jobs
  • Cyber Sys Secur Engr Sr Stf

    Lockheed Martin (Fort Worth, TX)
    …code analysis , STIG/SRG hardening, etc\.\) as applied to high\-level programming languages \(C, C\+\+, Java \) Experience with engineering change processes ... members Experience with creating and presenting technical information to senior \-level executives and customers Demonstrated problem\-solving and troubleshooting skills… more
    Lockheed Martin (11/09/25)
    - Related Jobs
  • Sr. Applied Scientist, Sales AI

    Amazon (Sunnyvale, CA)
    …- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java , C++, Python or related language - Experience with neural ... to a variety of stakeholders and customers. As a senior lead, you will have the excitement to take...teams delivering on demanding projects - Conduct deep data analysis to derive insights to the business, and identify… more
    Amazon (11/07/25)
    - Related Jobs
  • Group 04-46 | SRP Intern | Homeland Protection…

    MIT Lincoln Laboratory (Lexington, MA)
    …to analyze and understand existing codebases + Coursework or experience in statistical analysis or machine learning + MATLAB programming experience + Strong ... specialize in algorithm and hardware prototyping, systems integration, systems analysis , and field testing, especially as related to air...is required: + Project or work experience with C/C++, Java , or Python + Familiarity with GIT or other… more
    MIT Lincoln Laboratory (10/24/25)
    - Related Jobs