Research Fellow in Formal Methods for Robotics and AI Safety - School of Computer Science - 107478 - Grade 7
Tasks
- Analyze and interpret data
- Collect research data via experimentation literature reviews and interviews
- Conduct research management and administration
- Contribute to writing research funding bids
- Develop new models, techniques, and methods
- Develop research objectives and proposals
- Disseminate research findings for publication
- Draft academic publications
- Present research outputs at seminars and posters
- Supervise students research work
Perks/Benefits
- N/A
Skills/Tech-stack
AI Safety | C++ | Computational tool development | Control Theory | Cyber-Physical Systems | Formal verification | Hybrid systems | Julia | Literature review | MATLAB | Mathematical Modeling | Optimization-based control | Physical systems | Python | Robotics | Safe Autonomy | Scientific Experimentation | Temporal logic | Tool Development
Education
Bachelor of Engineering | Bachelor of Science | Master of Science
Roles
Engineer | Fellow | Formal Methods Engineer | Methods Engineer | Research Fellow
Related jobs
-
Applied AI ML Lead- Agentic AI & Python GBP 81K-109KAgentic AI | CI/CD | Cloud Computing | Code review | ContainerizationSenior-level Full TimeGLASGOW, LANARKSHIRE, United Kingdom6h ago
-
AI Engineer III GBP 84K-115KAWS | Evaluation | GCP | GRPC | GoCareer development | Learning opportunities | MentorshipSenior-level Full TimeLONDON, United Kingdom6h ago
-
Senior AI Engineer I GBP 85K-120KAWS | Evaluation | GCP | GRPC | GoCareer development | Comprehensive health benefits | Learning opportunities | Wellbeing supportSenior-level Full TimeLONDON, United Kingdom7h ago
-
Senior AI Engineer II GBP 84K-120KAWS | Distributed Systems | Evaluation and monitoring | Event Driven | Event-driven architectureSenior-level Full TimeLONDON, LONDON, United Kingdom7h ago
-
Bash | Cloud platform | Data Processing | Docker | Google CloudAsynchronous culture | Career growth | Competitive salary | Friendly work environment | Impactful productMid-level Full TimeEdinburgh, United Kingdom14h ago
-
Bash | Data Pipelines | Data Processing | Docker | GCPAsynchronous work culture | Remote-friendly cultureMid-level Full TimeBirmingham, United Kingdom14h ago
-
Bash | Cloud platform | Data Processing | Docker | Google CloudMid-level Full TimeNottingham, United Kingdom14h ago
-
Bash | Cloud platform | Data Ingestion | Data Ingestion Pipelines | Data ProcessingAsynchronous work culture | Flexible work environment | Remote work opportunityMid-level Full TimeGlasgow, United Kingdom14h ago
-
Senior Machine Learning Engineer - AdTech GBP 75K-91KAerospike | Bayesian analysis | Decision Trees | Distributed Computing | ExperimentationCommuter benefits | Health and wellness benefits | Hybrid work schedule | Life and disability insurance | Paid time offSenior-level Full TimeCambridge, United Kingdom18h ago
-
Senior Machine Learning Engineer - AdTech GBP 75K-91KAerospike | Apache Spark | Bayesian analysis | Data Analysis | Decision TreesDisability insurance | Financial wellness support | Flexible remote work | Healthcare benefits | Life insuranceSenior-level Full TimeManchester, United Kingdom18h ago
-
Senior Data Engineer GBP 75K-90KAWS Glue | Airflow | BigQuery | Cloud services | DBTFlexible time off | Hybrid work | Medical insurance | Paid birthday off | Pension schemeSenior-level Full TimeKing's Cross, London, United Kingdom18h ago
-
Freelance Machine Learning Engineer USD 110KLangchain | Language Models | Large Language Models | MLOps | Machine LearningPart-time projects | Project based workMid-level FreelanceUnited Kingdom - Remote R18h ago
-
AI/ML Postdoctoral Fellow – F Rouhani lab GBP 47K-47KCloud Computing | Computational Biology | Data Analysis | Deep learning | Foundation Models28 days annual leave | Back up care for dependents | Bike to work scheme | Childcare support allowance | Discounted gym membershipsEntry-level Full TimeLondon, United Kingdom18h ago
-
Data Engineer GBP 36K-44KAPI | AWS | Airflow | Azure | BigQueryBlood donation time off | Counselling service | Extra paid leave | Flexible working hours | Free annual eye testsMid-level Full TimeLondon, England, United Kingdom - Remote R18h ago
-
Data Engineer GBP 69K-94KAirflow | Azure | Data Lake | Data Modeling | Data ValidationCritical illness cover | Hybrid work environment | Life insurance | Paid time off | Pension contributionSenior-level Full TimeManchester, United Kingdom18h ago
-
Resident Solutions Architect (Full Stack Engineer) GBP 78K-100KAWS | Apache Spark | Azure | CI/CD | Cloud ComputingOccasional travel to London office | Occasional travel to client sites | Remote workSenior-level Full TimeLondon, United Kingdom23h ago
-
AWS | Ansible | Azure | Cohesity | CommvaultSenior-level Full TimeLondon, United Kingdom1d ago
-
A/B | A/B Testing | AWS | B testing | Batch inferenceEquity | Group life assurance | Hybrid working | Income protection | Paid sabbaticalSenior-level Full TimeLondon1d ago
-
Senior AI Engineer - Knowledge Graphs GBP 78K-109KAWS | Clustering | Community Detection | Entity Disambiguation | Entity ResolutionEnhanced parental leave | Flexible working | Group life assurance | Hybrid working | Income protectionSenior-level Full TimeLondon1d ago
-
Embedded Software Engineer GBP 30K-34KAutomated testing | Bare Metal | Bluetooth | C plus plus | C#Annual leave | Community and charity initiatives | Company pension | Cycle to work scheme | Performance bonusMid-level Full TimeMelbourn, United Kingdom1d ago
-
Senior Data Engineer GBP 60K-70KAirflow | Amazon Redshift | Apache Kafka | CI/CD | DBTCareer development | Collaborative team environment | Health insurance | Modern office spaceSenior-level Full TimeLondon, UK1d ago
-
AWS | Airflow | CI/CD | Distributed Systems | DockerContinuous improvement culture | Hybrid work environment | Mentorship and knowledge-sharing | On-call rotation support | Professional development opportunitiesSenior-level Full TimeLondon, England, United Kingdom1d ago
-
Senior Lead Data Engineer GBP 72K-109KAWS | Cloud infrastructure | Data Governance | Data Processing | Data StreamingSenior-level Full TimeLONDON, LONDON, United Kingdom1d ago
-
Lead Machine Learning Engineer GBP 90K-115KAWS | Azure | Cloud Computing | Cloud platform | ContainerizationCoaching | Dental insurance | Enhanced parental leave | Flexible working | Hybrid workingSenior-level Full TimeLondon1d ago
-
Senior Machine Learning Engineer GBP 70K-86KAWS | AWS Step Functions | Airflow | Argo | AzureFinancial wellness support | Flexible remote work | Health benefits | Hybrid work | Mental health supportSenior-level Full TimeCambridge, United Kingdom1d ago