Senior Applied Scientist, AWS Science of Security
Tasks
- Develop strategic plans for new business solutions
- Lead solution design implementation and delivery
- Mentor others on advanced technical topics
- Provide technical influence across organizations
- Share technical knowledge to improve productivity
- Solve complex security problems
Perks/Benefits
Skills/Tech-stack
Coq | Dafny | Formal verification | Haskell | Isabelle | Kotlin | Lean | Mathematical logic | Mechanical theorem proving | Model Checking | OCaml | Program analysis | Proof assistants | Rust | SAT | SMT | Satisfiability Solving | Scala | Software development | Theorem Proving
Education
Roles
Applied Scientist | Scientist | Security | Security Scientist
Related jobs
-
Senior-level Full TimeUnited States, Washington, Redmond; United States, …22h ago
-
A/B | A/B Testing | B testing | Classification | Data MiningVirtual workSenior-level Full TimeSunnyvale, CA; San Bruno, CA; San …1d ago
-
Data Scientist USD 100K-145KData Mining | Data Visualization | Graph Algorithms | MATLAB | Machine LearningMid-level Full TimeFort Meade, MD1d ago
-
Computer scripting | Data Modeling | Data Visualization | Python | Software developmentComprehensive health insurance | Direct 401k Contributions | Over 5 weeks PTO | Remote work options | Stable supportive environmentSenior-level Full TimeAurora, CO1d ago
-
Computer scripting | Data Modeling | Data Visualization | Python | SQL401k contributions | Health insurance | Paid time off | Remote workEntry-level Full TimeAurora, CO1d ago
-
AWS | Cassandra | Compliance | Data Governance | Data SecuritySenior-level Full TimeColumbia, MD; Columbia, MD; Columbia, MD; …1d ago
-
Anomaly Detection | Artificial Intelligence | Behavior Based Analysis | Big Data | CorrelationSenior-level Full TimeBoston, MA; Boston, MA; Boston, MA; …1d ago
-
Compliance - Applied AI/ML Data Scientist - Associate USD 160K-185KAWS | Agentic Solution Development | Agile | Alteryx | AutomlBackup childcare | Financial coaching | Health insurance | Mental health support | Onsite health and wellness centersMid-level Full TimeJersey City, NJ, United States1d ago
-
Senior Manager, Data Scientist - Card DFS Integration USD 229K-262KAWS | Classification | Clustering | Conda | Deep learningSenior-level Full TimeMcLean, VA, United States1d ago
-
Agentic AI | Benchmarking | BioFormats | Cellpose | Cloud ComputingSenior-level Full TimeMemphis, TN, United States1d ago
-
Mid-level Full TimeMcLean, VA, United States2d ago
-
Senior Applied Measurement & Data Scientist USD 119K-258KCausal Inference | Containerization | Dash | Data Engineering | Data PipelinesBackground Investigation required | DoD security clearance required | Travel opportunitiesSenior-level Full TimePittsburgh, United States2d ago
-
AWS | Apache Spark | Classification | Clustering | CondaHealth benefitsSenior-level Full TimeMcLean, VA, United States2d ago
-
Data Scientist / AI Engineer USD 115K-130KAPI Development | Amazon Web Services | Apache Airflow | Apache Kafka | Apache SparkDental insurance | Medical insurance | Paid leave | Professional development | Retirement benefitsSenior-level Full TimeNorfolk, VA2d ago
-
Risk Data Scientist USD 73K-115KAdobe Analytics | Agile Software Development | Agile software | Classification | Clustering401k company match | Disability insurance | Employee assistance program | Employee volunteer program | Flexible spending accountMid-level Full TimeHoover, AL - Riverchase North Building …2d ago
-
Data Scientist USD 99K-164KAutomated classification | Data Analysis | Data Mining | Data categorization | Data disambiguationFlexible schedule | Hybrid work | Pre-employment screeningEntry-level Full TimeAshburn, VA, USA, 201482d ago
-
Artificial Intelligence | Computational Text Analysis | Data Activism | Data Curation | Data ManagementMid-level Full TimeLewiston, Maine4d ago
-
AWS | Big Data | Data Analysis | Data Modeling | Data ScienceSenior-level Full TimeVienna, VA, United States5d ago
-
Entry-level Full TimeLas Vegas, NV, United States5d ago
-
Assessments Data Scientist (Temporary) USD 103K-125KBig Data | C++ | Data Analysis | Data Modeling | Data PreprocessingHealth insurance | Paid leave | RetirementMid-level TemporaryAiea, HI5d ago
-
Staff Engineer - Data Scientist USD 127K-166KA/B | A/B Testing | AWS | Airflow | Anomaly DetectionOnsite work four days per weekSenior-level Full TimeGrand Prairie, Texas, United States5d ago
-
Mid-level Full TimeMcLean, VA, United States5d ago
-
Sr Data Scientist - Global Supply Chain and Logistics USD 118K-211KAlgorithms | Clustering | Component analysis | Data Structures | Deep learning401k | Comprehensive health benefits | Employee discount | Long-term disability | Paid national holidaysSenior-level Full Time100 Mathilda Place,Ste 100 Sunnyvale,CA 94086-6017, …5d ago
-
Data Science Platform Developer USD 90K-150K*nix | Agentic Workflows | Apache Spark | C++ | Dash401k match | Commuter benefits | Employee discounts | Employee stock purchase plan | Flexible time offMid-level Full TimeChicago - 555 West Adams St, …5d ago
-
AIML - Data Scientist, Evaluation USD 165K-293KApache Spark | Causal Inference | Data Analysis | Data Quality | Data quality controlSenior-level Full TimeSeattle5d ago