Senior Applied Scientist, AWS Science of Security
Tasks
- Design implement and deliver long term solutions
- Develop strategic plans for new solutions
- Influence cross organizational technical decisions
- Lead strategic problem solving
- Mentor individuals and community
- Solve complex security problems
Perks/Benefits
Skills/Tech-stack
Dafny | Haskell | Kotlin | Lean | Mechanical theorem proving | OCam | Program analysis | Programming language | Programming language type systems | Python | Rust | SAT | SMT | Scala | Symbolic simulation | Theorem Proving | Type Systems
Education
Related jobs
-
Applied Scientist, Sponsored Products and Brands USD 142K-223KA/B | A/B Testing | Ads Ranking | B testing | C++Mid-level Full TimeSeattle, Washington, USA7h ago
-
Applied Scientist, AWS Science of Security USD 142K-223KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SAT401k matching | Adoption reimbursement | Dental insurance | EAP | Flexible spending accountsMid-level Full TimeSeattle, Washington, USA7h ago
-
Senior Data Scientist, Strategy & Insights USD 125K-205KA/B | A/B Testing | AI | B testing | Causal InferenceFlexible work hybrid work schedule | Health and wellness programs | Time away from workSenior-level Full TimeSunnyvale, CA, United States7h ago
-
Data Operations & Analytics Associate USD 100K-130KAutomation | DBT | Data Modeling | Data Pipelines | Data WarehousingMid-level Full TimeBoston13h ago
-
ArcGIS | Dataverse | Geospatial analysis | Matched Comparisons | Microsoft PowerCity of Philadelphia residency within six months of hire | Comprehensive health coverage | Free public transportation | Paid Holidays | Paid parental leaveSenior-level Full TimePhiladelphia, PA, United States18h ago
-
Bioanalytical Scientist USD 63K-75KCell sorters | Cell-based assays | Data Visualization | Deviation Management | Documentation Practices401k company match | Comprehensive medical coverage | Dental insurance | Disability insurance | Life insuranceMid-level Full TimeSpring House, PA, United States18h ago
-
Data Scientist (Multiple Positions) USD 106K-220KA/B | A/B Testing | B testing | Causal Inference | Data MiningEntry-level Full TimeSeattle, Washington, United States19h ago
-
Data Scientist (Multiple Positions) USD 144K-296KData Visualization | Experimentation | Machine Learning | Probability | PythonMid-level Full TimeSan Jose, California, United States19h ago
-
Lead Data Scientist, Ads (Multiple Positions) USD 199K-340KA/B | A/B Testing | Analytics | B testing | DashboardingSenior-level Full TimeSan Jose, California, United States19h ago
-
Data Scientist (Multiple Positions) USD 144K-240KClassification | Data Analysis | Data Visualization | Machine Learning | Predictive ModelingEntry-level Full TimeSan Jose, California, United States19h ago
-
Research Scientist, Machine Learning - Audio USD 143K-208KAcoustics | Audio signal processing | Beamforming | C++ | Co-designMid-level Full TimeRedmond, WA20h ago
-
Business Data Scientist, gTech Users and Products USD 138K-198KArtificial Intelligence | Data Modeling | Data Pipelines | Data Querying | Machine LearningHealth insurance | Paid time off | Retirement planMid-level Full TimeBoulder, CO, USA; Atlanta, GA, USA20h ago
-
Product Data Scientist, Payments Platform Experience USD 138K-198KCausal Inference | Data Validation | Experiment design | Key Performance Indicators | Performance indicatorsMid-level Full TimeMountain View, CA, USA20h ago
-
Business Data Scientist, Applied Machine Learning, GCS USD 138K-198KA/B | A/B Testing | B testing | Causal Inference | Causal MLMid-level Full TimeMountain View, CA, USA; New York, …20h ago
-
Staff Product Data Scientist, Merchant Shopping USD 192K-279KA/B | A/B Testing | Artificial Intelligence | B testing | Data PipelinesSenior-level Full TimeMountain View, CA, USA20h ago
-
Senior Data Scientist USD 127K-170KA/B | A/B Testing | B testing | Causal Inference | Data PipelinesDisability benefits | Equity awards | Health insurance | Life insurance | Paid time offSenior-level Full TimeNew York, New York23h ago
-
Senior Data Scientist USD 148K-190KA/B | A/B Testing | Advertising Technology | B testing | Causal InferenceSenior-level Full TimeSan Jose, California23h ago
-
Architect, Data Visualization USD 51K-86KAlteryx | Big Data | C# | Classification | Data Mining401k program | Car discounts | Cruise discounts | Dental benefits | Employee assistance programSenior-level Full TimeFort Worth, TX, US1d ago
-
Director Real World Data Scientist (Billerica MA) USD 174K-262KBias Mitigation | Biostatistics | Causal Inference | Confounding adjustment | Control DesignHealth insurance | Paid time off | Retirement contributionsExecutive-level Full TimeBillerica, Massachusetts, US, 018211d ago
-
Attention | Batching | C++ | CoreML | Fine TuningSenior-level Full TimeSanta Clara, California, United States1d ago
-
Marketing Data Scientist Vice President - Consumer Bank USD 215K-285KA/B | A/B Testing | B testing | Data Visualization | Experimental DesignBackup childcare | Financial coaching | Health care coverage | Mental health support | Onsite health and wellness centersExecutive-level Full TimeColumbus, OH, United States1d ago
-
Data Scientist - Level 2 USD 100K-200KAnsible | Bash | DSC | Desired State | Desired State Configuration401k company match | Employer paid disability | Flexible work schedules | Life insurance | Long-term disabilityMid-level Full TimeAnnapolis Junction, MD, US1d ago
-
Data Scientist, Analytics and Modelling USD 169K-180KAWS Glue | AWS Lambda | AWS S3 | Agile | Amazon RedshiftMid-level Full TimeNew York, 745 7th Avenue, United …1d ago
-
Senior Scientist, AI Computational Structural Biology USD 141K-179KAlphaFold-Multimer | AlphaFold2 | Biopython | Chemoproteomics | Co-folding401k plan | Employee assistance program | Flexible time off | Paid time offSenior-level Full TimeCambridge Crossing, United States1d ago
-
Data Scientist- Clinical Decision Support- LLMs USD 92K-148KAI Search | APIs | Azure AI | Azure AI Search | Azure Kubernetes401k matching | Bereavement leave | Caregiver leave | Holiday pay | Parental leaveMid-level Full TimeUS345 MA Danvers - 22 Cherry …1d ago