Applied Scientist, AWS Automated Reasoning
Tasks
- Apply property based testing
- Find and repair program proofs
- Generate boilerplate for testing and model checking
- Generate tests for verification
- Identify verification tools and methods
- Understand customer software properties
- Use generative AI for requirement formalization
- Use interactive theorem proving
- Use model checking
Perks/Benefits
- N/A
Skills/Tech-stack
Algorithms | Amazon Web Services | C++ | Data Mining | Distributed Computing | Generative AI | High Performance | High-Performance Computing | Interactive theorem proving | Java | Language semantics | Machine Learning | Model Checking | Numerical Optimization | Parallel Computing | Parsing | Performance Computing | Programming language | Programming language semantics | Property-Based Testing | Python | Theorem Proving | Unix | Web Services
Education
Related jobs
-
Research Scientist - Computer Vision (Perm) GBP 31K-31KComputer Vision | Context modeling | Data Pipelines | Data Versioning | Deep learningAdditional time off for learning and development | Annual leave | Company sports club and social events | Cycle to work scheme | Employee assistance programEntry-level Full TimeLondon, United Kingdom13h ago
-
Junior Data Scientist I GBP 28K-31KAPIs | Automated testing | CI/CD | Cloud Computing | Data PipelinesAnnual leave | Bank holidays | Enhanced maternity pay | Flexible schedule | Pension matchEntry-level Full TimeLONDON, London, United Kingdom; READING, Reading, …16h ago
-
Data Scientist / Deep Learning Practitioner GBP 57K-66KDeep learning | Hugging Face | LSTM | Language Models | Language ProcessingHybrid work | Learning funding | Paid time off | Parental leave | PensionMid-level Full TimeLondon, UK, United Kingdom23h ago
-
Data Scientist / Deep Learning Practitioner GBP 57K-68KData Preprocessing | Deep learning | Hugging Face | Hugging Face Transformers | LSTMAnnual leave | Learning funding | Parental leave | Pension | Private medical insuranceMid-level Full TimeLondon, UNITED KINGDOM; Nottingham, England, UNITED …23h ago
-
AI Consultant GBP 57K-65KArtificial Intelligence | BQM L | Big Data | Cloud Computing | Data AnalysisContributory pension | Credit checks | Discounted travel options | Flexible benefits | Gym membershipMid-level Full TimeGBR - London, United Kingdom23h ago
-
Advanced Data Analytics GBP 30K-34KAlgorithm Development | Big Data | Cloud Computing | Data Analysis | Data EngineeringAnnual leave | Community and charity initiatives | Company pension scheme | Cycle to work | Give as you earnMid-level Full TimeLondon, United Kingdom1d ago
-
Data Scientist (Credit Risk) GBP 30K-40KClassification | Data Engineering | Data Modelling | Gini | Gradient boostingCompetitive pay | Continuous improvement support | Hybrid working | Inclusion-focused culture | Potential bonusMid-level Full TimeCrewe, England, United Kingdom1d ago
-
Data Scientist GBP 40K-40KAI coding | AI coding tools | Coding Tools | Data Visualization | Data integrationAnnual leave | Flexible contracts | Free parking | Hybrid working | Internal trainingMid-level Full TimeSouth West, Gloucestershire, Rosehill - Hybrid R1d ago
-
Data Scientist (Portfolio Analytics) GBP 57K-68KAutomation | Business Objects | Data Modeling | Data Quality | Data VisualizationBenefit allowance | Diversity and inclusion training | Employee discount schemes | Employee recognition scheme | HealthcareMid-level Full TimeLloyd's UK: London, United Kingdom1d ago
-
Sports Quantitative Analyst - Graduate Level GBP 30K-35KData Analysis | Machine Learning | Probability theory | Series analysis | Statistical modelingAnnual leave | Enhanced pension match | Health insurance | Hybrid working | Life assuranceEntry-level Full TimeHammersmith, England, United Kingdom1d ago
-
AI/ML Engineer GBP 72K-80KAWS SageMaker | Agent Framework | Apache Airflow | Azure Data | Azure Data FactoryCompetitive Salary Increase | Flexible working hours | Paid parental leave | Remote work option | Training and development programsMid-level Full TimeLondon - Shell Centre, United Kingdom1d ago
-
Senior Data Scientist (Fraud) GBP 86K-103KAnomaly Detection | Experimentation | Feature Engineering | Machine Learning | Model EvaluationInternal technical talks | Knowledge sharing | Learning and development | Training | Well-beingSenior-level Full TimeRemote, London, United Kingdom R2d ago
-
Manager, Data Science GBP 57K-68KBayesian statistics | Cloud platform | Data Preparation | GCP | Google CloudMid-level Full TimeUnited Kingdom2d ago
-
Data Scientist – GenAI & AI Engineering GBP 50K-60KCloud Computing | Containerization | Data Analysis | Error Analysis | Experiment designAnnual leave | Discretionary bonus plan | Healthcare | Hybrid working | PensionMid-level Full TimeLondon, England, United Kingdom2d ago
-
Data Scientist GBP 100K-130KA/B | A/B Testing | B testing | Batch inference | Bias MitigationAnnual training budget | Dental insurance | Employer pension contribution | Group life assurance | Health insuranceMid-level Full TimeLondon, United Kingdom2d ago
-
Principal Data Scientist GBP 78K-108KData Science | Data Science Leadership | Deep learning | MLOps | Machine LearningCoaching | Dental | Enhanced parental leave | Flexible working | Hybrid workingSenior-level Full TimeUK - London2d ago
-
Data Scientist GBP 34K-44KData Analysis | Data Preparation | Data Visualization | Feature Engineering | Generative AIDiscounts | Electric car scheme | Family leave | Flexible working options | Healthcare planMid-level Full TimeBrighton and Hove, England, United Kingdom2d ago
-
Data Scientist GBP 34K-44KAI Studio | Agent-based | Agent-based systems | Azure AI | Azure AI StudioDiscounts | Electric car scheme | Family leave | Flexible working options | Healthcare planEntry-level Full TimeCardiff, Wales, United Kingdom2d ago
-
Senior Data Scientist – Statistical Genetics GBP 71K-71KAssociation studies | Colocalisation | Fine-mapping | Functional annotation | Genome wide associationSenior-level Full TimeLondon2d ago
-
Data Scientist II GBP 68K-80KArtificial Intelligence | Data Science | Data Visualization | Forecasting | Machine LearningFlexible work schedule | Hybrid work options | Remote work optionsMid-level Full TimeManchester2d ago
-
Staff Applied Scientist GBP 110K-160KCloud Computing | Complex Planning | Data Analysis | Deep learning | Explainable AIEMI share option scheme | Generous share options | Hybrid work schedule | Mentoring and coaching cultureSenior-level Full TimeLondon2d ago
-
Senior Applied Scientist GBP 100K-120KBlack | Cloud Computing | Deep learning | Git | GitHubEMI share option scheme | Remote work hybrid scheme | Share options | Tax efficient equity scheme | Team days in personSenior-level Full TimeLondon2d ago
-
Senior Data Scientist - Pricing GBP 50K-50KAzure | Azure ML | Git | Machine Learning | PythonAnnual leave | Disability Confident support | Flexible working | Income protection | Life assuranceSenior-level Full TimeLondon - 37, United Kingdom2d ago
-
Lead AI Scientist GBP 90K-131KAI Ops | Agentic AI | Artificial Intelligence | Bias Mitigation | Cloud platformAnnual bonus | Discounted shopping | Flexible working | Job share | Paid time offSenior-level Full TimeBristol Harbourside, United Kingdom2d ago
-
Data Scientist GBP 45K-55KClassification | Clustering | Data Manipulation | Data Visualization | Experimental DesignRemote workMid-level Full TimeRemote, Remote, United Kingdom R5d ago