Sr. Applied Scientist, AWS Automated Reasoning
Tasks
- Deliver long term impact solutions
- Develop strategic plans for new solutions
- Lead design and implementation
- Mentor engineers and scientists
- Share technical knowledge
- Solve complex problems
Perks/Benefits
Skills/Tech-stack
Applied Research | Automated Reasoning | Privacy | Program analysis | Programming language | Programming language type systems | SAT | SMT | Symbolic simulation | Theorem Proving | Type Systems
Education
Regions
Countries
States
Cities
Related jobs
-
Sr. Applied Scientist, Special Projects USD 167K-226KApplied Research | Life Sciences | Machine Learning | Model EvaluationSenior-level Full TimeSeattle, Washington, USA5d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KApplied Research | Automated Reasoning | Scientific innovationFlexible work hours | Knowledge sharing | Learning resources | Work-life harmonyMid-level Full TimeBoston, Massachusetts, USA6d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAWS | Automated Reasoning | Machine Learning | Privacy | ResearchFlexible work hours | Mentoring | Work-life balanceMid-level Full TimeAustin, Texas, USA6d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and training resources | Work-life balanceMid-level Full TimeSeattle, Washington, USA6d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsCareer growth and training | Flexible work hours | MentorshipSenior-level Full TimeSeattle, Washington, USA6d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA6d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATDEI Events | Flexible work hours | Learning and career growth resources | Mentoring and knowledge sharing | Work-life balanceMid-level Full TimeAustin, Texas, USA6d ago
-
Cryptologic Computer Scientist 3 USD 69K-151KAlgorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theory401k company match | Disability insurance | Life insurance | Maternity & paternity leave | Medical insuranceMid-level Full TimeAnnapolis Junction, MD15d ago
-
Senior Data Scientist - AI & People Analytics USD 89K-183KArtificial Intelligence | Automation | Bias Mitigation | Dash | Data Engineering401k employer contribution | Career advancement opportunities | Dental insurance | Flexible work environments | Generous PTOSenior-level Full TimeChattanooga, Tennessee, USA, United States15d ago
-
Staff Data Scientist – ML, Gen AI & Agentic AI USD 136K-198KAgent Frameworks | Azure ML | Bias Mitigation | CI/CD | Databricks401k with company match | Dental insurance | Flexible spending accounts | Health savings account with company match | Medical insuranceSenior-level Full TimeCorp-Main - Diamond Bar, CA, United …15d ago
-
Applied Research | Computer Vision | Contextual targeting | Generative AI | Language ModelsSenior-level Full TimeSeattle, Washington, USA19d ago
-
Computer Scientist L2 USD 140K-265KAlgorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theorySenior-level Full TimeAnnapolis Junction, MD28d ago
-
Cryptologic Computer Scientist 2 USD 104K-119KAlgorithm Analysis | C++ | Compiler Theory | Computer Architecture | Data StructuresMid-level Full TimeAnnapolis Junction, MD, USA, 2070129d ago
-
Cryptologic Computer Scientist 3 USD 133K-148KAlgorithm Analysis | Apache Spark | Attack attribution | Compiler Theory | Computer ArchitectureMid-level Full TimeAnnapolis Junction, MD, USA, 2070129d ago
-
Data Scientist II USD 104K-176KAUC | Agile | Anomaly Detection | Azure | CI/CDHealthcare benefits | Hybrid work | Occasional travel for training | Public trust clearance eligibilityMid-level Full TimeColumbia, MD, US1mo ago
-
Senior Applied Scientist, Annapurna ML USD 167K-260KArtificial Intelligence | C++ | Compiler technology | Deep learning | JAXCareer growth | Flexible work | Mentorship | Work-life balanceSenior-level Full TimeSeattle, Washington, USA1mo ago
-
Algorithm Development | Cloud Architecture | Continuous Integration and Deployment | Continuous integration | Data VisualizationSenior-level Full TimeCharlottesville, VA1mo ago
-
Senior Applied Scientist, Amazon Q Developer Science USD 167K-226KApplied Research | Artificial Intelligence | Cloud Computing | Machine Learning | Machine learning modelingCareer growth | Inclusive culture | Mentorship | Work-life balanceSenior-level Full TimeSeattle, Washington, USA1mo ago
-
Sr Researcher - Data Science USD 168KApache Spark | Big Data | Caching | Data Management | Data MiningChallenging projects | Collegial culture | Flex work | Flexible work scheduleSenior-level Full TimeAtlanta, US1mo ago