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
-
Automation | Data Engineering | Data analytics | Derivatives pricing | Financial optimizationBackup childcare | Financial coaching | Health care coverage | Mental health support | On-site health and wellnessSenior-level Full TimeNew York, NY, United States1d ago
-
Director I, Data Science, People, Purpose & Brand USD 132K-211KAPIs | Agentic Systems | Bias Mitigation | CI/CD | Cloud ComputingEmployee resource groups | Professional development | Remote work | Telecommuting | Travel up to 10%Executive-level Full TimeRemote, Remote, United States R2d ago
-
Cryptologic Computer Scientist USD 100K-185KAlgorithm Analysis | Apache Spark | Compiler Theory | Computational Science | Computer ArchitectureSenior-level Full TimeAnnapolis Junction, MD, Laurel, MD2d ago
-
Data Scientist USD 140K-166KA/B | A/B Testing | Amazon Redshift | Amplitude | Apache AirflowComprehensive benefits | Flexible work environment | Leadership visibilitySenior-level Full TimeSAN FRANCISCO, CA, USA3d ago
-
Senior-level Full TimeRemote, United States R4d ago
-
Senior Data Scientist - Power BI & AI USD 109K-174KCI/CD | DAX | Data Governance | Data Warehousing | Dimensional ModelingSenior-level Full TimeUS017 NJ New Brunswick - 1 …7d ago
-
Senior Data Scientist USD 130K-160KA/B | A/B Testing | B testing | Causal Inference | Data Visualization401k match | Company provided housing for 90 days | Company-Provided Technology Package | Flexible vacation | Health savings accountSenior-level Full TimeSan Francisco R8d 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
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsDEI events and learning experiences | Flexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeSeattle, Washington, USA23d 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
-
Applied Machine Learning Scientist - Vice President USD 107K-160KA/B | A/B Testing | AdaLoRA | Agent Orchestration | B testingBackup childcare | Financial coaching | Health and wellness programs | Health insurance | Mental health supportExecutive-level Full TimePalo Alto, CA, United States23d ago
-
Senior Data Scientist - AI & People Analytics USD 89K-183KArtificial Intelligence | Automation | Bias Mitigation | Chroma | Dash401k employer contribution | Career advancement opportunities | Dental insurance | Flexible work environments | Generous PTOSenior-level Full TimeChattanooga, Tennessee, USA, United States28d 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
-
Senior People Data Scientist USD 161K-204KAccess Control | Business Intelligence | Causal Inference | Cohort Analysis | Data ArchitectureSenior-level Full TimeUnited States - Remote R30d ago
-
Genome Editing Pipeline Data Scientist USD 94K-141KAI Model Deployment | AI model | Analytics | Bias Mitigation | Business IntelligenceDental insurance | Health insurance | Paid time off | Retirement plan | Sick leaveMid-level Full TimeChesterfield, Missouri, US1mo ago
-
Cryptologic Computer Scientist USD 150K-190KAlgorithm Analysis | Algorithms | Compiler Theory | Computer Architecture | Data StructuresMid-level Full TimeColumbia, MD, US1mo ago