Applied Scientist, AWS Automated Reasoning
Tasks
- Design implement deliver long term solutions
- Develop plans for new solutions
- Lead strategic technical problem solving
- Mentor engineers on advanced technical issues
- Share technical knowledge across organizations
- Solve complex scientific problems
Perks/Benefits
Skills/Tech-stack
AWS | Automated Reasoning | Program analysis | Programming language | Programming language type systems | SAT | SMT | Symbolic simulation | Theorem Proving | Type Systems
Education
Roles
Related jobs
-
Featured Feat. Associate Director, Data Labs USD 167K-167KAWS | Cloud Computing | Compute Infrastructure | Data Analysis | LLM GovernanceConference speaking opportunities | Hybrid work schedule | Media appearancesSenior-level Full TimeWashington, District of Columbia, 20004, United … R21d ago
-
Entry-level Full TimeCincinnati, OH19h ago
-
Sr. Principal Applied Scientist- AI USD 122K-306KAI Agents | AWS | Adversarial Generation | Agentic Workflows | Azure401(k) plan match | Adoption Assistance | Health insurance | Life insurance | Paid HolidaysSenior-level Full TimeUnited States1d 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, USA1d 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, USA1d ago
-
AWS | Agentic AI | Code review | Deep learning | Foundation ModelsDisability benefits | Hybrid work schedule | Life insurance | Paid time off | Tuition reimbursementSenior-level Full Time141753-NC-Three Wells Fargo Center, Charlotte, United …1d ago
-
Scientist, Oncology Bioinformatics USD 142K-256KAWS | Bulk RNA sequencing | Cloud Computing | DNA Sequencing | PythonFertility and adoption support | Healthcare benefits | Mental health support | Paid time off | Savings and investmentsEntry-level Full Time325 Binney St - Cambridge - …1d ago
-
Data Scientist USD 114K-160KAWS | Agile | Excel | Geospatial Analytics | Git401k match | Career growth opportunities | Paid time off | Wellness creditsMid-level Full TimeCharleston - 997 Morrison Drive, Suite …1d ago
-
Sr Data Scientist - Payment Integrity USD 129K-194KAWS | Agile | Azure | Cloud Computing | Continuous ImprovementMedical, dental, and vision coverage | Paid time off | Retirement plans | Tuition program | Well-being benefitsSenior-level Full TimeCanton MA Office, United States1d ago
-
API Integration | AWS | Ansible | AutoGPT | CI/CDSenior-level Full Time2586 Fort Meade MD, United States1d ago
-
AWS | Algorithm Design | Artificial Intelligence | Data Analysis | Data Preprocessing401k | Annual discretionary bonus | Dental insurance | Holiday pay | Medical insuranceEntry-level Full TimeChicago - One North Wacker Drive, …1d ago
-
Data Science, Finance & Strategy USD 270K-320KAWS | Benchmarking | CI/CD | DBT | Data ModelingFlexible working hours | Generous vacation | Hybrid work policy | Optional equity donation matching | Parental leaveSenior-level Full TimeSan Francisco, CA1d ago
-
Sr. Bioinformatics Scientist USD 175K-190KAWS | AWS Batch | AWS Lambda | Analytical validation | AutomationSenior-level Full TimeSouth San Francisco, California, United States1d ago
-
Senior Bioinformatics Scientist USD 162K-207KAWS | AWS Batch | AWS Lambda | Analytical validation | Background error modelingSenior-level Full TimeRemote ; San Diego, California, United … R1d ago
-
Transportation Data Scientist USD 107K-140KAWS | Artificial Intelligence | Geopandas | Huggingface | Language Processing401k match | Commuter benefits | Dental insurance | Free snacks | Medical insuranceMid-level Full TimeWashington, D.C.2d ago
-
Principal Data Scientist (LLM/Agentic AI Experience) USD 76K-159KAI Foundry | AI guardrails | APIs | AWS | Azure AISenior-level Full TimeVienna, VA, United States2d ago
-
Senior-level Full TimeNew York City2d ago
-
AI Engineer - FDE (Forward Deployed Engineer) USD 152K-210KAWS | Agent systems | Apache Spark | Apache Spark SQL | AzureConference speaking opportunities | Remote work options | Travel for customer engagementsSenior-level Full TimeUnited States2d ago
-
AI Developer USD 120K-158KAWS | Azure | CI/CD | Computer Vision | Data Privacy401k matching | Education assistance program | Employee recognition | Employer Paid Short-term Disability | Employer paid long term disability coverageMid-level Full TimeWashington, DC, US R2d ago
-
Artificial Intelligence Senior Data Scientist USD 134K-139KAPI Management | AWS | Alerting | Amazon Bedrock | Amazon ComprehendComputer reimbursement | Dental insurance | Disability insurance | Employee assistance program | Exercise reimbursementSenior-level Full TimeWashington, DC, United States2d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-248KDafny | Haskell | Kotlin | Lean | Mechanical theorem provingFlexible work hours | Paid time off | Parental leave | Work-life balanceSenior-level Full TimeSeattle, Washington, USA2d 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, USA2d ago
-
Mid-level Full TimeNew York, New York, United States …2d ago
-
Data Scientist Lead Consultant - Remote USD 90K-153KAWS | Azure | Machine Learning | Predictive Modeling | PythonConnectivity reimbursement | Equipment provided | Remote workSenior-level Full TimeUSA - NJ (Remote), United States R2d ago
-
AI | AWS | Anndata | Apache Airflow | BAMCRAMSenior-level Full TimeSouth San Francisco, United States2d ago