Applied Scientist, AWS Automated Reasoning

Related jobs

• 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

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

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

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

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

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

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

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

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

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

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

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

  26d ago
• Cryptologic Computer Scientist USD 150K-190K

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

  Columbia, MD, US

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

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

  Career growth and training | Flexible work hours | Mentorship
  Senior-level Full Time

  Seattle, Washington, USA

  1mo ago
• Cryptologic Computer Scientist 3 USD 69K-151K

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

  401k company match | Disability insurance | Life insurance | Maternity & paternity leave | Medical insurance
  Mid-level Full Time

  Annapolis Junction, MD

  1mo ago