Sr. Applied Scientist, AWS Automated Reasoning

Related jobs

• 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, …

  3d ago
• Applied Scientist, Neuron ARG, Annapurna ML USD 171K-222K

  Accelerator design | Artificial Intelligence | Compiler design | Deep learning | Intermediate representation

  401k matching | Adoption and surrogacy reimbursement | Employee assistance program | Flexible spending accounts | Health insurance
  Mid-level Full Time

  Seattle, Washington, USA

  4d ago
• Senior Applied Scientist, Annapurna ML USD 192K-260K

  Artificial Intelligence | Compiler | Deep learning | Generative AI | Intermediate representation

  401k matching | Dental insurance | Employee assistance program | Flexible spending accounts | Health insurance
  Senior-level Full Time

  Seattle, Washington, USA

  4d 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

  4d 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, …

  5d 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; …

  5d 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

  5d ago
• Senior Applied Scientist, AWS Science of Security USD 167K-226K

  Coq | Dafny | Formal verification | Haskell | Isabelle

  Flexible work hours
  Senior-level Full Time

  Portland, Oregon, USA

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

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

  Lexington, MA, United States

  16d 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

  23d ago
• Senior Applied Scientist, AWS Science of Security USD 167K-248K

  Dafny | Haskell | Kotlin | Lean | Mechanical theorem proving

  Flexible work hours | Paid time off | Parental leave | Work-life balance
  Senior-level Full Time

  Seattle, Washington, USA

  26d ago
• Applied Scientist, AWS Science of Security USD 142K-223K

  Mechanical theorem proving | Program analysis | Programming language | Programming language type systems | SAT

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

  Seattle, Washington, USA

  26d 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

  27d 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

  28d 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
• Cryptologic Computer Scientist USD 100K-185K

  Algorithm Analysis | Apache Spark | Compiler Theory | Computational Science | Computer Architecture
  Senior-level Full Time

  Annapolis Junction, MD, Laurel, MD

  1mo ago