Senior Applied Scientist, AWS Science of Security
Tasks
- Develop strategic plans for new business solutions
- Lead design implementation and delivery of long term solutions
- Mentor team members and support technical community
- Share technical expertise across organizations
- Solve complex security research problems
Perks/Benefits
- 401k matching
- Career growth training
- Flexible work hours
- Health insurance
- Mentoring
- Paid time off
- Parental leave
- Work-life balance
Skills/Tech-stack
Privacy | Program analysis | Programming language | Programming language type systems | SAT | SMT | Security | Symbolic Execution | Symbolic simulation | Theorem Proving | Type Systems
Education
Roles
Related jobs
-
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, MD3d 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
-
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
-
Research Scientist USD 100K-300KAI for Code | AI for Code Reasoning | AI for code generation | Automated Reasoning | Automated testingSenior-level Full TimeSan Francisco, CA1mo 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