Sr. Applied Scientist, AWS Automated Reasoning

Related jobs

• 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

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

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

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

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

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

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

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

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

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

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

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

  Columbia, MD, US

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

  Applied Research | Automated Reasoning | Scientific innovation

  Flexible work hours | Knowledge sharing | Learning resources | Work-life harmony
  Mid-level Full Time

  Boston, Massachusetts, USA

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

  AWS | Automated Reasoning | Machine Learning | Privacy | Research

  Flexible work hours | Mentoring | Work-life balance
  Mid-level Full Time

  Austin, Texas, USA

  28d ago
• 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 | Work-life balance
  Mid-level Full Time

  Seattle, Washington, USA

  28d ago
• Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226K

  Applied Research | Automated Reasoning | Privacy | Program analysis | Programming language

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

  Boston, Massachusetts, USA

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

  28d ago
• Applied Scientist, AWS Automated Reasoning USD 167K-260K

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

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

  Boston, Massachusetts, USA

  28d ago
• Applied Scientist, AWS Automated Reasoning USD 167K-226K

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

  DEI Events | Flexible work hours | Learning and career growth resources | Mentoring and knowledge sharing | Work-life balance
  Mid-level Full Time

  Austin, Texas, USA

  28d 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
• Computer Scientist L2 USD 140K-265K

  Algorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theory
  Senior-level Full Time

  Annapolis Junction, MD

  1mo ago
• Cryptologic Computer Scientist 2 USD 104K-119K

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

  Annapolis Junction, MD, USA, 20701

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

  Algorithm Analysis | Apache Spark | Attack attribution | Compiler Theory | Computer Architecture
  Mid-level Full Time

  Annapolis Junction, MD, USA, 20701

  1mo ago
• Senior Applied Scientist, Annapurna ML USD 167K-260K

  Artificial Intelligence | C++ | Compiler technology | Deep learning | JAX

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

  Seattle, Washington, USA

  1mo ago