Applied Scientist, Automated Reasoning
Tasks
- Apply generative AI and machine learning to enhance automated reasoning
- Collaborate with customer teams on verification needs
- Design and implement automated reasoning algorithms and formal methods
- Develop decision procedures heuristics and search strategies for verification
- Develop production automated reasoning systems
- Develop safety and alignment techniques for autonomous software agents
- Mentor scientists and engineers on formal methods and neurosymbolic techniques
- Publish research in peer-reviewed venues
- Solve complex problems in automated reasoning
- Translate verification capabilities into production systems
- Verify correctness of AI generated code
Perks/Benefits
- N/A
Skills/Tech-stack
Automated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic Search | Interactive theorem proving | Machine Learning | Mathematical logic | Model Checking | Neural Networks | Neurosymbolic Reasoning | Program analysis | Program synthesis | Proof assistants | SAT | SMT | Satisfiability Solving | Search Algorithms | Static Analysis | Theorem Proving
Education
Roles
Regions
Countries
States
Cities
Related jobs
-
Research Scientist II/Senior, Computational Chemistry USD 124K-172KAffinity prediction | Binding Affinity Prediction | Cheminformatics | Co-folding | Computational Chemistry401k matching | Company paid healthcare | Flexible spending accounts | Onsite gym | Remote work optionSenior-level Full TimeSan Diego HQ R9h ago
-
Lead Data Scientist USD 175K-195KCausal Inference | Data Analysis | Data Manipulation | Deep learning | Language Processing401k plan | Caregiver referral network | Commuter program | Dental insurance | Disability insuranceSenior-level Full TimeAustin; Aventura; Boston; Dallas; Los Angeles; …13h ago
-
Senior Lead Data Scientist USD 204K-226KArchitectural Design | Best practices | Clean Code | Code standards | Data Manipulation401k plan | Commuter program | Dental insurance | Disability insurance | Employee assistance programSenior-level Full TimeAustin; Aventura; Boston; Dallas; Los Angeles; …13h ago
-
Senior Data Scientist, Web/Marketing Analytics USD 121K-161KA/B | A/B Testing | B testing | BigQuery | CSSSenior-level Full TimeManhattan, New York, United States14h ago
-
Senior Machine Learning Engineer USD 150K-225KAIOps | AWS | Azure | Data Analysis | Data Visualization401k match | Career growth opportunities | Dental insurance | Employee resource groups | Flexible paid time offSenior-level Full TimeRemote, United States16h ago
-
Data Scientist, Marketing Effectiveness & Testing USD 102K-153KA/B | A/B Testing | B testing | Causal Inference | Data VisualizationHealth and wellness | Learning and development | Life and family support | Time off | Volunteer and community initiativesEntry-level Full TimeRenton, Washington, United States17h ago
-
AI Services | APIs | ArcGIS API | ArcGIS API for Python | ArcGIS EnterpriseCampus facilities | Mentorship support | Onsite work | Possible project extensions | Relocation supportSenior-level Full TimeJuno Beach, FL17h ago
-
Data Scientist, Market Analytics USD 105K-145KAI | Business Intelligence | Data Pipelines | Data Visualization | DatabasesAdoption Assistance | Dental insurance | Disability insurance | Educational assistance | Flexible spending accountMid-level Full TimeHouston, Texas20h ago
-
Data Scientist, AI & Analytics Strategy USD 105K-140KAWS | Agile | Cloud Platforms | Data Governance | Data PipelinesAdoption Assistance | Educational assistance | Health savings account | Paid parental leave | Paid vacationMid-level Full TimeHouston, Texas20h ago
-
Computational Research Scientist, Simmons Cancer Center USD 108K-136KAlgorithm Design | Cell analysis | Cloud Computing | Computational Proteomics | Data VisualizationOn-site childcare | PPO medical plan | Paid parental leave | Paid time off | Preventive healthcare no copaySenior-level Full TimeTexas-Dallas-5323 Harry Hines Blvd21h ago
-
AI Research Scientist, VLM (vision language models) USD 153K-260KComputer Vision | Generative AI | Language Models | Language Processing | Large Language ModelsEntry-level Full TimeMenlo Park, CA22h ago
-
AI Research Scientist, CoreML - Monetization AI USD 135K-180KAutoml | Causal Inference | Causal Learning | Co-design | Cold StartEntry-level Full TimeSunnyvale, CA | Menlo Park, CA …22h ago
-
Data Scientist, Product Analytics USD 173K-204KAgent Orchestration | Bias Mitigation | Data Mining | Experimentation | Machine LearningCareer growthMid-level Full TimeBellevue, WA | Menlo Park, CA … R22h ago
-
Staff Data Scientist, Product USD 192K-278KData Visualization | Machine Learning | Python | R | SQLSenior-level Full TimeKirkland, WA, USA; Sunnyvale, CA, USA23h ago
-
Senior Data Scientist, Search AI Mode USD 174K-252KA/B | A/B Testing | AI Feedback | B testing | Behavior ModelingSenior-level Full TimeMountain View, CA, USA23h ago
-
Senior Data Scientist, Engine Systems USD 221K-263KA/B | A/B Testing | B testing | Causal Inference | ConcurrencySenior-level Full TimeSan Mateo, CA, United States R1d ago
-
Data Scientist USD 140K-165KA/B | A/B Testing | Amazon Redshift | Apache Spark | B testingFlexible working hours | Product-driven culture | Vacation policyMid-level Full TimeRemote US R1d ago
-
Global Supply Chain Analytics Specialist USD 95K-149KDashboarding | Data Modeling | Data Quality | Data Visualization | ForecastingInclusive work environment | Professional developmentMid-level Full TimeUtica, NY, US, NY 135021d ago
-
Zantech USD 135K-215K800-53 | AI Governance | Automated retraining | Batch Data Processing | Batch dataCompetitive compensation | Health benefits | Onsite role | Vacation packageSenior-level Full TimeArlington, VA1d ago
-
Data Scientist – Analytics USD 120K-180KA/B | A/B Testing | Airflow | Anomaly Detection | B testing401k retirement plan | Dental insurance | Disability insurance | Life insurance | Medical insuranceMid-level Full TimePalo Alto, CA1d ago
-
Senior-level Full TimeAMER - United States - California …1d ago
-
Lead Data Scientist USD 38K-38KAsynchronous task processing | Computer Vision | Containerization | Continuous Monitoring | Data Engineering401k plans | Dental insurance | Health insurance | Life insurance | Paid time offSenior-level Full TimeTyson Emma - Springdale, Arkansas, United …1d ago
-
Senior Principal Data Scientist, AEC USD 159K-285KA/B | A/B Testing | B testing | Causal Inference | Causal analysisFinancial benefits | Health benefits | Time away | Wellness benefitsSenior-level Full TimeAMER - United States - Washington …1d ago
-
Mid-level Full TimeSan Jose, United States R1d ago
-
Principal Applied Scientist, Agentic AI USD 191K-305KAblation Studies | Agent architecture | Agentic AI | Artificial Intelligence | BenchmarkingSenior-level Full TimeRemote-USA, United States R1d ago