Applied Scientist, AWS Science of Security
Seattle, Washington, USA
USD 142K-223K Mid-level Full Time
Tasks
- Design implement and deliver long term solutions
- Develop new solutions for business problems
- Influence cross organizational technical decisions
- Solve complex security problems
Perks/Benefits
- 401k matching
- Adoption reimbursement
- Dental insurance
- EAP
- Flexible spending accounts
- Flexible work hours
- Health insurance
- Medical Advice Line
- Mental health support
- Paid time off
- Parental leave
- Surrogacy reimbursement
- Training and career growth
- Vision insurance
Skills/Tech-stack
Mechanical theorem proving | Program analysis | Programming language | Programming language type systems | SAT | SMT | Symbolic simulation | Theorem Proving | Type Systems
Education
Roles
Language: en
Views: 3
Clicks: 0
Saves: 0
Related jobs
-
Applied Scientist, Automated Reasoning USD 192K-260KAutomated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic SearchMid-level Full TimeNew York, New York, USA12d ago
-
Cryptologic Computer Scientist 2 USD 102K-132KAlgorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theory401k match | Award Programs | Comprehensive benefits | Health savings account | Paid HolidaysMid-level Full TimeFort Meade, Maryland, United States14d ago
-
Cryptologic Computer Scientist 2 USD 103K-181KAlgorithm Analysis | Attack attribution | C++ | Compiler Theory | Computer Architecture401k match | Dental insurance | Disability insurance | Flexible spending plan | Health insuranceMid-level Full TimeFort Meade, MD17d ago
-
Cryptologic Computer Scientist 2 USD 119K-132KAgile methodology | Algorithm Analysis | Cloud Computing | Compiler Theory | Computer ArchitectureMid-level Full Time2701 Technology Drive, Annapolis Junction, MD, …19d ago
-
Cryptologic Computer Scientist (2026-0184) USD 160K-205KAlgorithm Analysis | Anomaly Detection | Apache Spark | Compiler Theory | Computer ArchitectureComprehensive benefits package | Continuing education | Family support benefits | Financial benefits | Health insuranceMid-level Full TimeAnnapolis Junction, MD R20d ago
-
Senior Computer Scientist USD 135K-237KAlgorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theoryPaid time off | Training supportSenior-level Full TimeMD, GA, TX; MD, DC; MD, …22d ago
-
Computer Scientist USD 110K-179KAlgorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theoryPTO | Training supportMid-level Full TimeMD, GA, TX; MD, GA, TX; …22d ago
-
Algorithm Analysis | Compiler Theory | Computer Architecture | Cryptography | Data StructuresCareer counseling | Career development plan | Dental insurance | Flexible work-life balance | Health insuranceMid-level Full TimeFort Meade, MD22d ago
-
Computer Scientist – Systems Security Research USD 95K-200KAFL | Assembly | C# | C++ | Compiler designMid-level Full TimeLexington, MA, United States1mo ago
-
Cryptologic Computer Scientist 4 USD 135K-216KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Cryptography401k match | Accident insurance | Bereavement leave | Critical illness insurance | Flexible spending planSenior-level Full TimeFort Meade, MD1mo ago
-
Applied Scientist II - AMZ9971140 USD 153K-193KAbstract interpretation | Bayesian Methods | C plus plus | Constraint Solving | Convex OptimizationMedical benefitsMid-level Full TimeSeattle, Washington, USA1mo ago
-
Cryptologic Computer Scientist USD 86K-151KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | CryptographyCareer counseling | Education and Training | Full health premium coverage | Paid retirement contributions | Paid time offMid-level Full TimeFort Meade, MD1mo ago
-
Cryptologic Computer Scientist-2 USD 87K-157KAlgorithm Analysis | Algorithm Design | Attack attribution | Compiler Theory | Computational Science401k match | Discounted stock purchase plan | Education and training support | Flexible schedules | Paid HolidaysMid-level Full Time3325 Fort George G. Meade MD, …1mo ago
-
Staff Quantum Algorithm Theorist USD 190K-290KComplexity Theory | Computational Complexity | Computational Complexity Theory | Error correction | Fault-tolerant401k plan | Dental coverage | Healthcare benefits | Life insurance | Mental health supportSenior-level Full TimeCambridge, US1mo ago