Applied Scientist, AWS Identity
Tasks
- Analyze customer systems using in house tools
- Apply theorem proving for constraint solving
- BDD based analysis for formal verification
- Build tools to find security problems or prove absence
- Create software prototypes
- Implement SAT
- Integrate prototypes into production systems
- Interact with teams to gather security and safety requirements
- Mentor and train research scientists
- Present and defend technical decisions
- Represent company at technical conferences
- Verify and validate solutions methodologies
Perks/Benefits
Skills/Tech-stack
Automated Reasoning | Automated testing | BDD | Constraint Solving | Dafny | Formal verification | Haskell | Kotlin | Lean | OCaml | Programming Languages | Rust | SAT | SMT | Scala | Theorem Proving
Education
Roles
Related jobs
-
Applied Scientist, AWS Automated Reasoning USD 142K-223KAutomated Reasoning | Cloud | Dafny | Haskell | KotlinFlexible work hours | Mentoring community | Training and career growth resources | Work-life harmonyMid-level Full TimeArlington, Virginia, USA6h ago
-
Senior-level Full TimeHuntsville, United States17h ago
-
Senior Principal Scientist, Biostatistics USD 210K-331KAdaptive trial design | Automated testing | Automation | Biostatistics | C plus plusSenior-level Full TimeUSA - Pennsylvania - North Wales …1d ago
-
Senior Data Scientist USD 170K-220KA/B | A/B Testing | Anomaly Detection | B testing | BigQuery401k savings plan | Biannual performance reviews | Catered lunches | Commuter benefits | Employee assistance programSenior-level Full TimeNew York, NY1d ago
-
Data and Insight Analyst USD 75K-110KAgile | CI/CD | Data Governance | Data Modeling | Data Quality401k | Dental insurance | Disability insurance | Health insurance | Life insuranceMid-level Full TimeRemote, United States R2d ago
-
Data Scientist - AI Platform USD 123K-219KC++ | Cassandra | Churn analysis | Customer Segmentation | Deep learningFlexible work schedule | Hybrid work optionSenior-level Full TimeUSA, GA, Atlanta, United States2d ago
-
Applied Data Solutions Program (Full-Time Opportunities) USD 107K-171KAutomation | Data Pipelines | Data Science | Forecasting | Fraud DetectionCareer development | Project based rotations | Supportive teamEntry-level Full TimeAustin; Cupertino2d ago
-
Applied Data Solutions Program (Full-Time Opportunities) USD 107K-171KAutomation | Data Engineering | Data Pipelines | Data Science | DataikuEntry-level Full TimeAustin; Cupertino2d ago
-
Senior Associate, Data Scientist - Card Intelligence USD 135K-168KAmazon Web Services | Apache Spark | Classification | Clustering | CondaSenior-level Full TimeMcLean, VA, United States3d ago
-
Sr Data Scientist USD 134K-181KAPI Development | AWS | Agent systems | Automated testing | AzureCareer development opportunities | Discretionary annual bonus program | Flexible spending accounts | Flexible work models | Health, dental and vision coverageSenior-level Full TimeUS - California - Thousand Oaks … R3d ago
-
Lead Consultant Data Scientist USD 130K-172KAgile Scrum | Apache Spark | Cloud Computing | Data Governance | Deep learningCare Com Membership | Discounted pet insurance | Employee wellness events | Hardware upgrade program | Headspace membershipSenior-level Full TimeArlington, Virginia, United States, Remote Flexible R3d ago
-
Senior-level Full TimeAugusta, GA, United States4d ago
-
Data Scientist I/II (Remote - US) USD 93K-175KAgile | Cloud Computing | Data Pipelines | Data Visualization | Generative AI401k | Annual bonus | Counseling services | Dental insurance | Disability insuranceMid-level Full TimeREMOTE, US, US, 76131 R4d ago
-
Senior Associate, Data Scientist - Bureau Data Strategy USD 135K-168KAWS | Classification | Clustering | Conda | Confusion matrixSenior-level Full TimeMcLean, VA, United States4d ago
-
Marketing Data Scientist, Measurement & Experimentation USD 117K-193KA/B tests | Attribution calibration | Bayesian Modeling | Bayesian Structural Time Series | Brand LiftMid-level Full TimeNew York, NY, United States4d ago
-
Research Engineer USD 180K-300KAWS | Agent training | Automated testing | Cloud Computing | Cloud platformEquity | Health coverage | Work with leading AI research labsMid-level Full TimeMountain View5d ago
-
Analytics AVP US USD 110K-155KData Preprocessing | Data Visualization | Data cleaning | Databases | Entity ResolutionExecutive-level Full TimeNew York, 745 7th Avenue, United …5d ago
-
Senior-level Full TimeMountain View, California; San Francisco, California7d ago
-
CCB Risk Program Associate USD 164K-215KAWS | Clustering | Deep learning | Drift Detection | HadoopBackup childcare | Financial coaching | Health care coverage | Mental health support | On-site health and wellness centersSenior-level Full TimeWilmington, DE, United States7d ago
-
Sr. Data Scientist (AWS, AI, ML) USD 153K-190KAWS Lambda | AWS SageMaker | Amazon Bedrock | Amazon Kendra | Apache SparkMostly remote | Onsite once per month | Travel expenses not coveredSenior-level Full TimeReston, Virginia, United States7d ago
-
Data Scientist USD 138K-145KAPI Design | Agile Scrum | Amazon Web Services | Automated testing | Data Modeling401k plan | Dental insurance | Disability insurance | Hybrid work schedule | Life insuranceSenior-level Full TimeWhippany, NJ, United States8d ago
-
Senior Manager, Data Scientist - Card DFS Integration USD 209K-238KAWS | Apache Spark | Classification | Clustering | CondaSenior-level Full TimeMcLean, VA, United States8d ago
-
Lead Consultant Data Scientist USD 130K-172KAgile Scrum | Apache Spark | Cloud Computing | Data Governance | Data QualityCare Com Membership | Dental benefits | Emergency child care days | Floating holidays | Headspace membershipSenior-level Full TimeArlington, Virginia, United States, Remote Flexible R9d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-223KAutomated Reasoning | Dafny | Haskell | Kotlin | Lean401k matching | Flexible work hours | Health insurance | Paid time off | Parental leaveMid-level Full TimeSeattle, Washington, USA9d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hoursSenior-level Full TimeSeattle, Washington, USA9d ago