Sr. Applied Scientist, AWS Automated Reasoning

Related jobs

• Senior Data Scientist USD 130K-160K

  A/B | A/B Testing | B testing | Causal Inference | Data Visualization

  401k match | Company provided housing for 90 days | Company-Provided Technology Package | Flexible vacation | Health savings account
  Senior-level Full Time

  San Francisco R

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

  8d 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
• Applied Machine Learning Scientist - Vice President USD 107K-160K

  A/B | A/B Testing | AdaLoRA | Agent Orchestration | B testing

  Backup childcare | Financial coaching | Health and wellness programs | Health insurance | Mental health support
  Executive-level Full Time

  Palo Alto, CA, United States

  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
• Senior People Data Scientist USD 161K-204K

  Access Control | Business Intelligence | Causal Inference | Cohort Analysis | Data Architecture
  Senior-level Full Time

  United States - Remote R

  27d ago
• Genome Editing Pipeline Data Scientist USD 94K-141K

  AI Model Deployment | AI model | Analytics | Bias Mitigation | Business Intelligence

  Dental insurance | Health insurance | Paid time off | Retirement plan | Sick leave
  Mid-level Full Time

  Chesterfield, Missouri, US

  1mo 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
• 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

  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
• Staff Data Scientist – ML, Gen AI & Agentic AI USD 136K-198K

  Agent Frameworks | Azure ML | Bias Mitigation | CI/CD | Databricks

  401k with company match | Dental insurance | Flexible spending accounts | Health savings account with company match | Medical insurance
  Senior-level Full Time

  Corp-Main - Diamond Bar, CA, United …

  1mo ago