Applied Scientist, Agentic Automated Reasoning
Tasks
- Apply interactive theorem proving to establish program properties
- Apply property based testing and model checking
- Collaborate with customer teams on software verification requirements
- Develop verification tools to operate at scale
- Find and repair program proofs
- Generate testing and model checking boilerplate
- Identify tools and methods for verification needs
- Use generative AI to formalize requirements and generate tests
Perks/Benefits
- N/A
Skills/Tech-stack
Automated Test | Automated Test Generation | C++ | Formal verification | Generative AI | Interactive theorem proving | Java | Language semantics | Model Checking | Programming language | Programming language semantics | Property-Based Testing | Python | Test generation | Theorem Proving
Education
Roles
Related jobs
-
Senior Metabolomics Bioinformatician GBP 57K-64KArtificial Intelligence | Bioinformatics | Compound Discoverer | Data Filtering | Data MiningAnnual leave | Bonus scheme | Learning culture | Life insurance | Pension schemeSenior-level Full TimeBracknell, EUROPE, United Kingdom1d ago
-
Senior Manager - Data Science (Martech/CRM) GBP 70K-81KAI Assisted Development | AI-native | AI-native engineering | AWS | Adobe ExperienceCoaching and mentoring | Hybrid work | Knowledge sharing culture | Professional developmentSenior-level Full TimeLondon, England, United Kingdom1d ago
-
Bloomberg Economics Data Scientist GBP 50K-70KData Pipelines | Deep learning | Hugging Face | Language Processing | Machine LearningMid-level Full TimeLondon1d ago
-
Agile | Data Analysis | Econometrics | Google Colab | JupyterAnnual leave | Flexible working | Health and wellbeing | Hybrid work | Income protectionMid-level Full TimeLondon, England, United Kingdom2d ago
-
Senior Data Scientist GBP 75K-80KDeep learning | Machine Learning | Machine learning deployment | Model Validation | Probabilistic ModelingSenior-level Contract Full TimeNottingham, GB2d ago
-
Senior-level Full TimeBrighton, Brighton and Hove, United Kingdom2d ago
-
AWS CLI | Agile | Command Line | Computer Vision | Deep learningBuy and sell holiday | Cycle to work | Dental plan | Early finish Fridays | Enhanced parental leaveSenior-level Full TimeGloucester, South Gloucestershire, United Kingdom2d ago
-
Senior Data Scientist GBP 51K-58KAzure Cloud | Azure Cloud Services | Azure Machine Learning | Cloud services | Decision Trees27 days annual leave | Flexible hybrid working | Income protection | Life assurance | Matched pension contributionsSenior-level Full TimeLondon / Hybrid - 37, United … R2d ago
-
Applied Scientist, Agentic Automated Reasoning GBP 100K-180KArtificial Intelligence | Assembly | Automated Test | Automated Test Generation | Cloud ComputingMid-level Full TimeLondon, England, GBR2d ago
-
Lead Applied Scientist - Computer Vision GBP 78K-109KActive Learning | Adversarial Machine Learning | Computer Vision | Distributed Training | Document UnderstandingFlexible work arrangements | Hybrid work optionSenior-level Full TimeUnited Kingdom - London (Onfido)2d ago
-
AI and Data Scientist GBP 48KAlteryx | Artificial Intelligence | Data Engineering | Data Science | Data VisualizationAdditional paid time off option | Annual company bonus | Compressed hours | Flexible working | Holiday buy/sell optionMid-level Full TimeSwindon, GB-WIL, GB2d ago
-
Motor Data Scientist GBP 35K-35KAnalytics | Data Analysis | Experimentation | Machine Learning | PythonAnnual company bonus | Buy as you Earn share scheme | Cashback | Dental insurance | Discounts on insurance productsEntry-level Full TimeLondon - Riverbank House, United Kingdom R2d ago
-
Managing Data Scientist GBP 70K-80KAmazon Web Services | Analytics | Apache Spark | Cloud Computing | Cloud platformSenior-level Full TimeGlasgow Campus, United Kingdom2d ago
-
Fraud Analytics - Data Scientist GBP 70K-80KData Pipelines | Data Transformation | Data Wrangling | Data cleaning | Fraud DetectionMid-level Full TimeGlasgow Campus, United Kingdom2d ago
-
Senior Data Scientist GBP 100K-115KAWS | Apache Spark | Behavioral heuristics | DBT | Data EngineeringSenior-level Full TimeLondon Office2d ago
-
Junior Data Scientist GBP 30K-32KData Modeling | Data pipeline | Excel | Git | Historical dataCommunity charity volunteering activities | Cycle to work scheme | Health cash plan coverage | One to one coaching | Online training accessEntry-level Full TimeLondon, United Kingdom2d ago
-
Country Risk Analytics- Data Scientist Associate GBP 57K-68KAnalytics | Dashboards | Data Governance | Data Management | Data ScienceEntry-level Full TimeLONDON, LONDON, United Kingdom2d ago
-
Senior Data Scientist - UK Cards GBP 50K-70KCredit Risk | Customer Management | Data Analysis | Machine Learning | PricingCycle to work scheme | Electric vehicle salary sacrifice | Employee referral program | Flexible working | Office meals and snacksSenior-level Full TimeLondon/Kent R3d ago
-
Senior Applied Scientist GBP 105K-135KBlack | Cloud Computing | Complex reasoning | Data Analysis | Deep learningHybrid work schedule | Learning opportunities | Remote work flexibility | Share optionsSenior-level Full TimeLondon3d ago
-
Staff Applied Scientist GBP 225K-325KBlack | Cloud Computing | Deep learning | GitHub | Hugging FaceGenerous share options | Hybrid work schedule | Mentoring and coaching culture | Team days with in person collaborationSenior-level Full TimeLondon3d ago
-
Manager Credit Analytics GBP 61K-73KA/B | A/B Testing | B testing | Dashboarding | Data ModelingFlexible-hybrid work | Healthcare coverage | Mental health resources | Paid time offMid-level Full TimeGBR - County London - London …3d ago
-
Senior Data Scientist I GBP 72K-80KA/B | A/B Testing | B testing | Chunking | Context ManagementFlexible working hours | Sabbaticals | Shared parental leave | Study assistance | Wellbeing initiativesSenior-level Full TimeUK - London (London Wall), United …3d ago
-
Senior Data Scientist GBP 70K-75KAI compliance | Data Analysis | Data Pipelines | Databricks | Language ModelsAdoption leave | Annual leave | Bank holidays | Compassionate leave | Flexible working hoursSenior-level Full TimeThe Acre, Covent Garden, United Kingdom3d ago
-
Lead Data Scientist GBP 72K-80KData Visualization | Data analytics | GenAI | Language Processing | Machine LearningHybrid working | Mental health champions community | Wellbeing programsSenior-level Full TimeBirmingham, GB3d ago
-
Cloud Data | Cloud Data Platforms | Cloud platform | Customer Analytics | Data AnalysisDiscounted shopping | Flexible working | Hybrid work | Job share | Paid HolidaysSenior-level Contract Full Time TemporaryChester Cawley House, United Kingdom3d ago