Applied Scientist, AWS Automated Reasoning
Tasks
- Deliver long term quantifiable impact
- Develop strategic plans for new solutions
- Lead solution design and implementation
- Mentor others on advanced technical issues
- Provide cross organizational technical influence
- Solve complex domain problems
Perks/Benefits
- DEI events and learning experiences
- Flexible work hours
- Mentoring
- Training and career growth
- Work-life balance
Skills/Tech-stack
Automated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systems | Satisfiability Modulo Theories | Satisfiability Testing | Symbolic simulation | Theorem Proving | Type Systems
Education
Roles
Related jobs
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KPrivacy | Program analysis | Programming language | Programming language type systems | SAT401k matching | Career growth training | Flexible work hours | Health insurance | MentoringSenior-level Full TimeSeattle, Washington, USA1d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCloud Security | Dafny | Haskell | Kotlin | Language theoryFlexible work hours | Mentorship | Paid time off | Parental leave | Training resourcesSenior-level Full TimeSeattle, Washington, USA1d ago
-
Cryptologic Computer Scientist USD 100K-185KAlgorithm Analysis | Apache Spark | Compiler Theory | Computational Science | Computer ArchitectureSenior-level Full TimeAnnapolis Junction, MD, Laurel, MD2d ago
-
Cryptologic Computer Scientist 3 USD 133K-148KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Data StructuresMid-level Full TimeAnnapolis Junction, MD, USA, 2070111d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAWS | Automated Reasoning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeAustin, Texas, USA22d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA22d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA22d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Machine Learning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Training and career growth | Work-life balanceSenior-level Full TimeSeattle, Washington, USA22d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Cloud | Privacy | Program analysis | Programming languageCareer growth opportunities | Flexible work hours | Learning and training resources | Mentoring | Work-life harmonyMid-level Full TimeBoston, Massachusetts, USA22d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and development resources | Mentoring | Work-life balanceMid-level Full TimeAustin, Texas, USA22d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-222KAutomated Reasoning | Mechanical theorem proving | Privacy | Problem Solving | Program analysisFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA22d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and training resources | Mentoring culture | Work-life harmonySenior-level Full TimeSeattle, Washington, USA23d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-223KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsFlexible work hours | Inclusive culture | Learning and training resources | Mentoring | Work-life balanceMid-level Full TimeSeattle, Washington, USA23d ago
-
Cryptologic Computer Scientist 3 USD 133K-148KAlgorithm Analysis | Anomaly Detection | Apache Spark | Compiler Theory | Computer ArchitectureMid-level Full TimeAnnapolis Junction, MD, USA, 2070129d ago
-
Cryptologic Computer Scientist USD 150K-190KAlgorithm Analysis | Algorithms | Compiler Theory | Computer Architecture | Data StructuresMid-level Full TimeColumbia, MD, US1mo 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, USA1mo 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, USA1mo 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, MD1mo ago