Hiring: Applied Scientist, Prime Air Company: Amazon Location: Seattle, WA Job Posted Time: 2026-09-09 17:58:26 Employment Type: Full-time Target Skills & Keywords: Formal Methods, Software Verification, Model Checking, Symbolic Execution, AI-Guided Test Generation, Automated Reasoning, Program Analysis, Constraint-Solving, Theorem Proving, Algorithms & Data Structures, Parsing, Numerical Optimization, Data Mining, Parallel & Distributed Computing, High-Performance Computing, Java, C++, Python Experience: - 3+ years of building models for business application experience - PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience - Experience in patents or publications at top-tier peer-reviewed conferences or journals Required Skills: - Programming in Java, C++, Python or related language - Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing - Deep expertise in formal methods and software verification - Ability to take research techniques from prototype to production Qualifications: - Experience in professional software development - Master's degree, or a PhD and experience in patents or publications at top-tier peer-reviewed conferences or journals - Experience carrying design concepts through exploration, development, and into deployment or mass production - Experience communicating with customers, technical, regulatory, business teams, and management to collect requirements, describe product features, and technical designs - Experience in formal verification, program analysis, constraint-solving, or theorem proving (academic or professional work) - Knowledge of software test techniques and strategy - Previous experience in formal methods, program analysis, or software verification Compensation: Not specified Interested candidates, please apply directly through the job posting on company's career page or try via AI auto apply on this platform. Don’t miss this opportunity to join a forward-thinking team!