Sr. Applied Scientist, AWS Automated Reasoning

Related jobs

• Applied Scientist, Automated Reasoning USD 192K-260K

  Automated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic Search
  Mid-level Full Time

  New York, New York, USA

  11d ago
• Applied Scientist, Amazon Customer Service USD 171K-222K

  Algorithms | Artificial Intelligence | Automated Reasoning | Big Data | Data Mining

  401k matching | Dental insurance | EAP | Flexible spending accounts | Health insurance
  Mid-level Full Time

  Santa Clara, California, USA

  11d ago
• Cryptologic Computer Scientist 2 USD 102K-132K

  Algorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theory

  401k match | Award Programs | Comprehensive benefits | Health savings account | Paid Holidays
  Mid-level Full Time

  Fort Meade, Maryland, United States

  12d ago
• Cryptologic Computer Scientist 2 USD 103K-181K

  Algorithm Analysis | Attack attribution | C++ | Compiler Theory | Computer Architecture

  401k match | Dental insurance | Disability insurance | Flexible spending plan | Health insurance
  Mid-level Full Time

  Fort Meade, MD

  16d ago
• Cryptologic Computer Scientist 2 USD 119K-132K

  Agile methodology | Algorithm Analysis | Cloud Computing | Compiler Theory | Computer Architecture
  Mid-level Full Time

  2701 Technology Drive, Annapolis Junction, MD, …

  18d ago
• Cryptologic Computer Scientist (2026-0184) USD 160K-205K

  Algorithm Analysis | Anomaly Detection | Apache Spark | Compiler Theory | Computer Architecture

  Comprehensive benefits package | Continuing education | Family support benefits | Financial benefits | Health insurance
  Mid-level Full Time

  Annapolis Junction, MD R

  19d ago
• Senior Computer Scientist USD 135K-237K

  Algorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theory

  Paid time off | Training support
  Senior-level Full Time

  MD, GA, TX; MD, DC; MD, …

  20d ago
• Computer Scientist USD 110K-179K

  Algorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theory

  PTO | Training support
  Mid-level Full Time

  MD, GA, TX; MD, GA, TX; …

  20d ago
• Cryptologic Computer Scientist A USD 133K-160K

  Algorithm Analysis | Compiler Theory | Computer Architecture | Cryptography | Data Structures

  Career counseling | Career development plan | Dental insurance | Flexible work-life balance | Health insurance
  Mid-level Full Time

  Fort Meade, MD

  20d ago
• Computer Scientist – Systems Security Research USD 95K-200K

  AFL | Assembly | C# | C++ | Compiler design
  Mid-level Full Time

  Lexington, MA, United States

  1mo ago
• Cryptologic Computer Scientist 4 USD 135K-216K

  Algorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Cryptography

  401k match | Accident insurance | Bereavement leave | Critical illness insurance | Flexible spending plan
  Senior-level Full Time

  Fort Meade, MD

  1mo ago
• Applied Scientist II - AMZ9971140 USD 153K-193K

  Abstract interpretation | Bayesian Methods | C plus plus | Constraint Solving | Convex Optimization

  Medical benefits
  Mid-level Full Time

  Seattle, Washington, USA

  1mo ago
• Cryptologic Computer Scientist USD 86K-151K

  Algorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Cryptography

  Career counseling | Education and Training | Full health premium coverage | Paid retirement contributions | Paid time off
  Mid-level Full Time

  Fort Meade, MD

  1mo ago
• Cryptologic Computer Scientist-2 USD 87K-157K

  Algorithm Analysis | Algorithm Design | Attack attribution | Compiler Theory | Computational Science

  401k match | Discounted stock purchase plan | Education and training support | Flexible schedules | Paid Holidays
  Mid-level Full Time

  3325 Fort George G. Meade MD, …

  1mo ago
• Staff Quantum Algorithm Theorist USD 190K-290K

  Complexity Theory | Computational Complexity | Computational Complexity Theory | Error correction | Fault-tolerant

  401k plan | Dental coverage | Healthcare benefits | Life insurance | Mental health support
  Senior-level Full Time

  Cambridge, US

  1mo ago