Applied Scientist, Automated Reasoning
Tasks
- Apply machine learning for automated reasoning
- Build production automated reasoning systems
- Collaborate with customer teams on verification needs
- Conduct original research and publish findings
- Design algorithms for automated reasoning
- Develop constraint solving and model checking
- Develop decision procedures heuristics search strategies
- Develop techniques for safety and alignment verification
- Implement formal methods for verification
- Mentor scientists and engineers
- Perform static analysis and theorem proving
- Verify correctness of AI generated code
Perks/Benefits
- N/A
Skills/Tech-stack
Automated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic Methods | Interactive theorem proving | Machine Learning | Model Checking | Neurosymbolic Reasoning | Optimization | Program synthesis | Satisfiability Solving | Search Algorithms | Static Analysis | Theorem Proving
Education
Roles
Related jobs
-
Campus AI Researcher, PhD/Postdoc (Intern) GBP 50K-60KC++ | CUDA | Data Mining | Deep learning | Distributed TrainingEntry-level InternshipLondon11h ago
-
Staff Data Scientist, Pricing GBP 91K-149KA/B | A/B Testing | Algorithmic Pricing | B testing | Causal InferenceFully remote | Permanent full-time roleSenior-level Full TimeUnited Kingdom R1d ago
-
IFC - Data Scientist GBP 115K-130KAWS | Data workflows | Databricks | Machine Learning | Model DevelopmentExecutive-level Full TimeGlasgow Campus, United Kingdom1d ago
-
Data Scientist GBP 72K-80KArtificial Intelligence | Cloud Data | Cloud Data Platforms | Cloud platform | Data PreparationBike4Work scheme | Continuous learning | Flexible benefits | Gym benefits | Hybrid workingEntry-level Full TimeLondon, 21 Moorfields, United Kingdom R1d ago
-
Senior-level Full TimeLondon1d ago
-
AI Consultant GBP 50K-70KA/B | A/B Testing | AI Act | AI Agent framework | AI Governance25 days annual leave | Away days with the team | Birthday leave | Charity leave | Discretionary annual bonus schemeMid-level Full TimeUnited Kingdom, United Kingdom R1d ago
-
Applied Scientist - Forecasting GBP 50K-60KCausal Inference | Data Processing | Deep learning | Distributed data | Distributed data processingEmployee discount | Employee sample sales | Paid annual leave | Personalised learning | Private medical careMid-level Full TimeLondon, England, United Kingdom2d ago
-
Senior Applied Scientist GBP 70K-80KCausal Inference | Data Processing | Deep learning | Distributed data | Distributed data processingDiscretionary bonus scheme | Employee discount | Employee sample sales | Flexible benefits | Flexible benefits allowanceSenior-level Full TimeLondon, England, United Kingdom2d ago
-
Balance Analysis | Biochemistry | Bioinformatics | Computational Biology | Computer ScienceBonus | Coaching and Therapy services | Cycle to work scheme | Electric car scheme | Employee discountsMid-level Full TimeOxford, England, United Kingdom2d ago
-
Associate Data Scientist GBP 53K-63KCloud platform | Data Analysis | Exploratory Data Analysis | Google Cloud | Google Cloud PlatformMid-level Full TimeLondon, England, United Kingdom2d ago
-
Senior Applied Data Scientist GBP 72K-82KAWS | Automated testing | Azure | CI/CD | DevOpsCareer growth and skill development | Healthcare | Paid volunteering days | Retirement planning | Wellbeing initiativesSenior-level Full TimeGBR-London-10 Paternoster Square, United Kingdom2d ago
-
Senior Machine Learning Scientist GBP 72K-80KAPI serving | Automated testing | Batch inference | CI/CD | Data PipelinesSenior-level Full TimeLondon, GB, E14 5HQ2d ago
-
Data Scientist-Manager GBP 55K-68KAgile | Amazon Web Services | Azure | Cloud platform | Data StorytellingPrivate medical cover | Virtual GP access | Volunteering daysMid-level Full TimeLondon - 1 Embankment Place, United …2d ago
-
Data Visualization | Data analytics | Machine Learning | Operations Research | Project ManagementClient exposure | Internship experience | Thought leadership publishing opportunityEntry-level InternshipLondon, United Kingdom2d ago
-
Staff Applied Scientist GBP 190K-230KCloud Computing | Data Analysis | Deep learning | Git | GitHubFlexible remote work | Hybrid work scheme | Mentoring and coaching | Team daysSenior-level Full TimeLondon3d ago
-
Senior Applied Scientist GBP 100K-160KBlack | Cloud Computing | Data Analysis | Deep learning | GitHybrid workSenior-level Full TimeLondon3d ago
-
Data Scientist GBP 40K-50KData Aggregation | Data cleaning | Data extraction | Machine Learning | PythonMid-level Full TimeLondon4d ago
-
Principal Data Scientist GBP 80K-100K3D Computer Vision | Bayesian Methods | CUDA | Cloud processing | Computer VisionAnnual leave | Bike2work scheme | EV salary sacrifice | Employee assistance programme | Employer pension contributionSenior-level Full TimeLondon, United Kingdom R4d ago
-
Data Scientist (Drug Discovery), London GBP 73K-80KData Analysis | Key Performance Indicators | Machine Learning | NumPy | PandasHybrid workMid-level Full TimeLondon4d ago
-
Senior Data Scientist GBP 63K-80KA/B | A/B Testing | Anomaly Detection | Azure | B testingHybrid work options | Mentorship culture | Onsite client site flexibility | Remote work option | Work flexibilitySenior-level Full TimeLondon, United Kingdom R4d ago
-
Mid-level Full TimeBristol, UK R4d ago
-
Lead Data Scientist - Customer Onboarding GBP 90K-127KData Science | Deep learning | Fraud Detection | Image Processing | KYCDevelopment opportunities | Flexible working | Generous parental leave | Paid sabbatical | Pension schemeSenior-level Full TimeLondon, United Kingdom R5d ago
-
Data Scientist GBP 55K-60KA/B | A/B Testing | Attribution Modeling | B testing | Data VisualizationDental insurance | Medical insurance | Mental Health Awareness Days | Paid time off | Partner discountsMid-level Full TimeLondon, United Kingdom5d ago
-
Senior Data Scientist GBP 63K-80KA/B | A/B Testing | Anomaly Detection | Azure | B testingDay 1 onboarding | Hybrid work options | Mentoring culture | Remote work | Work flexibilitySenior-level Full TimeManchester, LEVEL 4, United Kingdom R5d ago
-
Artificial Intelligence | Automation | Data Governance | Data Quality | Data ScienceFlexible working | Hybrid work | Insurance plans | Paid parental leave | Retirement plansSenior-level Full TimeLondon (The Westworks), United Kingdom R5d ago