Applied Scientist, AWS Science of Security

Related jobs

• 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

  8h 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

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

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

  6d ago
• Cryptologic Computer Scientist 3 USD 133K-148K

  Algorithm Analysis | Apache Spark | Cloud technologies | Compiler Theory | Computer Architecture

  Hybrid work
  Mid-level Full Time

  Annapolis Junction, MD, USA, 20701

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

  Cloud Security | Dafny | Haskell | Kotlin | Language theory

  Flexible work hours | Mentorship | Paid time off | Parental leave | Training resources
  Senior-level Full Time

  Seattle, Washington, USA

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

  21d ago
• Cryptologic Computer Scientist 3 USD 133K-148K

  Algorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Data Structures
  Mid-level Full Time

  Annapolis Junction, MD, USA, 20701

  29d ago
• Applied Scientist, AWS Automated Reasoning USD 142K-193K

  AWS | Automated Reasoning | Program analysis | Programming language | Programming language type systems

  Flexible work hours | Training and career growth | Work-life balance
  Mid-level Full Time

  Austin, Texas, USA

  1mo ago
• Applied Scientist, AWS Automated Reasoning USD 142K-193K

  Automated Reasoning | Program analysis | Programming language | Programming language type systems | SAT

  Flexible work hours | Mentoring | Training and career growth | Work-life balance
  Mid-level Full Time

  Boston, Massachusetts, USA

  1mo ago
• Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226K

  Automated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systems

  Flexible work hours | Mentorship | Work-life balance
  Senior-level Full Time

  Boston, Massachusetts, USA

  1mo ago
• Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260K

  Automated Reasoning | Machine Learning | Program analysis | Programming language | Programming language type systems

  Flexible work hours | Mentorship | Training and career growth | Work-life balance
  Senior-level Full Time

  Seattle, Washington, USA

  1mo ago
• Applied Scientist, AWS Automated Reasoning USD 167K-260K

  Automated Reasoning | Cloud | Privacy | Program analysis | Programming language

  Career growth opportunities | Flexible work hours | Learning and training resources | Mentoring | Work-life harmony
  Mid-level Full Time

  Boston, Massachusetts, USA

  1mo ago
• Applied Scientist, AWS Automated Reasoning USD 167K-226K

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

  Flexible work hours | Learning and development resources | Mentoring | Work-life balance
  Mid-level Full Time

  Austin, Texas, USA

  1mo ago
• Applied Scientist, AWS Automated Reasoning USD 142K-222K

  Automated Reasoning | Mechanical theorem proving | Privacy | Problem Solving | Program analysis

  Flexible work hours | Mentoring | Training and career growth | Work-life balance
  Mid-level Full Time

  Boston, Massachusetts, USA

  1mo ago
• Applied Scientist, AWS Automated Reasoning USD 142K-193K

  Automated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systems

  DEI events and learning experiences | Flexible work hours | Mentoring | Training and career growth | Work-life balance
  Mid-level Full Time

  Seattle, Washington, USA

  1mo ago
• Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226K

  Automated Reasoning | Program analysis | Programming language | Programming language type systems | SAT

  Flexible work hours | Learning and training resources | Mentoring culture | Work-life harmony
  Senior-level Full Time

  Seattle, Washington, USA

  1mo ago
• Applied Scientist, AWS Automated Reasoning USD 142K-223K

  Automated Reasoning | Privacy | Program analysis | Programming language | Programming language type systems

  Flexible work hours | Inclusive culture | Learning and training resources | Mentoring | Work-life balance
  Mid-level Full Time

  Seattle, Washington, USA

  1mo ago
• Cryptologic Computer Scientist 3 USD 133K-148K

  Algorithm Analysis | Anomaly Detection | Apache Spark | Compiler Theory | Computer Architecture
  Mid-level Full Time

  Annapolis Junction, MD, USA, 20701

  1mo ago