Applied Scientist, AWS Automated Reasoning
Tasks
- Deliver solutions
- Design solutions
- Develop technical plans
- Implement solutions
- Mentor engineers
- Share technical knowledge
- Solve complex problems
Perks/Benefits
Skills/Tech-stack
Automated Reasoning | Dafny | Haskell | Kotlin | Lean | OCaml | Programming | Rust | Scala | Scientific Computing
Education
Roles
Related jobs
-
Senior Data Scientist USD 135K-196KArtificial Intelligence | Data Analysis | Data Mining | Data Modeling | Data TransformationPTO | Training supportSenior-level Full TimeMD, TX; MD, DC; MD, GA, …23h ago
-
A/B | A/B Testing | B testing | Classification | Data MiningVirtual workSenior-level Full TimeSunnyvale, CA; San Bruno, CA; San …1d 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
-
Scientist II/Senior Scientist, Computational Biophysics USD 140K-217KABFE | Absolute Binding Free Energy | Binding free energy | Distributed Scientific Computing | EquilibrationCommuter benefits | Disability insurance | Educational assistance | Life insurance | Medical/Dental/VisionSenior-level Full TimeCambridge, MA USA; London, UK; San …2d ago
-
Mid-level Full TimeMcLean, VA, United States2d ago
-
AWS | Apache Spark | Classification | Clustering | CondaHealth benefitsSenior-level Full TimeMcLean, VA, United States2d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCoq | Dafny | Formal verification | Haskell | IsabelleFlexible work hoursSenior-level Full TimePortland, Oregon, USA2d 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
-
AWS | Big Data | Data Analysis | Data Modeling | Data ScienceSenior-level Full TimeVienna, VA, United States5d 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
-
Data Scientist USD 83K-139KBayesian Networks | Clustering | Component analysis | Data Analysis | Data MiningCareer development | Disability insurance | Health insurance | Holiday pay | Learning and developmentSenior-level Full TimeUSA-VA-Ashburn7d ago
-
Algorithms | Cryptanalysis | Cryptography | Data Analysis | High Performance10 paid holidays | Employee assistance plan | Flexible work environment | Generous paid time off | Paid parental leaveMid-level Full TimeBowie, Maryland, US7d ago
-
Data Scientist 2 USD 112K-188KAlgorithms | Artificial Intelligence | Data Curation | Data Management | Data Mining401k match | Accident insurance | Critical illness insurance | Dental insurance | Flexible leave programsMid-level Full TimeFort Meade, MD7d ago
-
STEM Researcher - Computational Fields USD 120K-180KData Analysis | Experimental Design | Git | Google Colab | Hypothesis TestingFlexible working hours | Fully remote | Weekly paymentsMid-level Full TimeUnited States - Remote R7d ago
-
Lead Data Scientist USD 92K-153KDashboard Development | Data Governance | Data Modeling | Data Pipelines | Data Quality401k matching | Dental insurance | Disability benefits | Employee assistance program | Health insuranceSenior-level Full TimeHouston, United States7d ago
-
AWS Bedrock | AWS Bedrock AgentCore | AWS Cloud | Agent systems | Bedrock AgentCoreSenior-level Full TimeNew York, NY, United States7d ago