Sr. Applied Scientist, AWS Automated Reasoning

Related jobs

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

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

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

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

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

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

  Lexington, MA, United States

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

  19d ago
• Applied Scientist, AWS Automated Reasoning USD 142K-223K

  Automated Reasoning | Dafny | Haskell | Kotlin | Lean

  401k matching | Flexible work hours | Health insurance | Paid time off | Parental leave
  Mid-level Full Time

  Seattle, Washington, USA

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

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

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

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

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

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

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