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
-
Data Science Lead - AML Risk GBP 75K-115KData Pipelines | Experiment design | Generative AI | Machine Learning | Model retrainingSenior-level Full TimeLondon, United Kingdom20h ago
-
Quantitative Developer GBP 120K-200KC++ | Distributed Systems | Low Latency | Low-Latency Systems | ObservabilityMid-level Full TimeLondon, United Kingdom, Singapore1d ago
-
Staff Engineer (ML Engineer) GBP 70K-108KAttention Mechanisms | Benchmarking | Debugging | Distributed Computing | InferenceCollaborative office spaces | Dental plan | Flexible work | Free food | Health cash planSenior-level Full TimeCambridge, UK1d ago
-
Staff Engineer (ML Engineer) GBP 70K-108KAttention Mechanisms | Distributed Computing | JAX | Linux | Machine LearningCollaboration Focused Office Space | Flexible work arrangement | Free food | Health cash plan | Income protectionSenior-level Full TimeLondon, UK1d ago
-
Staff Engineer (ML Engineer) GBP 70K-108KAttention Mechanisms | Distributed Computing | JAX | Linux | Machine LearningCollaboration focused office spaces | Flexible remote work | Free food and barista | Health cash plan | Income protectionSenior-level Full TimeBristol, UK1d ago
-
Senior Engineer (ML Engineer) GBP 70K-108KAttention Mechanisms | Automation | Debugging | Distributed execution | JAXCollaboration-focused office | Flexible work | Free food | Health cash plan | Income protectionSenior-level Full TimeCambridge, UK1d ago
-
Senior Engineer (ML Engineer) GBP 70K-108KAttention Mechanisms | Distributed Computing | JAX | Linux | Machine LearningDental plan | Flexible work arrangement | Free food | Health cash plan | Income protectionSenior-level Full TimeLondon, UK1d ago
-
Senior Engineer (ML Engineer) GBP 70K-108KAttention Mechanisms | Distributed Computing | JAX | Linux | Machine LearningCollaboration Focused Office Space | Dental plan option | Flexible work arrangement | Free food | Health cash planSenior-level Full TimeBristol, UK1d ago
-
APIs | Agent systems | Cloud platform | Cost Optimization | Data readinessSenior-level Full TimeLondon, UK1d ago
-
Senior Staff Engineer (LLM) GBP 90K-120KAgent systems | Anthropic API | Authentication | Event Driven | Event-driven architectureSenior-level Full TimeRemote, United Kingdom R1d ago
-
Full Stack Engineer / Applied AI GBP 80K-120KAI coding | AI coding assistant | AI workflows | API Design | Agentic AIAI-first engineering culture | Access to Product Leadership | Experimentation freedom | Fully remoteSenior-level Full TimeLondon, United Kingdom R1d ago
-
Senior-level Full TimeBedford, New York, United States1d ago
-
Agentic AI Engineer (life sciences) GBP 88K-103KAgent Orchestration | Evaluation | Knowledge graphs | LLM | Model APIsAnnual leave | Employee assistance programme | Employer pension contributions | Flexible working | Home office setup allowanceSenior-level Full TimeCambridge1d ago
-
AWS DMS | Amazon Bedrock | Amazon Kinesis | Amazon QuickSight | Amazon SageMakerCommunity forums | Documentation and transparency culture | Flexible shifts | Mentorship | No weekend workSenior-level Contract Full TimeLondon R1d ago
-
APIs | Azure Data | Azure Data Factory | Azure Synapse | CSVSenior-level Full TimeCardiff1d ago
-
Data Engineer Lead GBP 86K-106KAWS | Cloud Architecture | Data Lakes | Data Pipelines | Data SecuritySenior-level Full TimeGlasgow Campus, United Kingdom1d ago
-
Managing Data Scientist GBP 70K-80KAWS | Apache Spark | Cloud platform | Data Processing | DatabricksSenior-level Full TimeGlasgow Campus, United Kingdom1d ago
-
Embedded Systems / Firmware Engineering Intern-2 GBP 30K-30KC# | C++ | CAN | Embedded Linux | FreeRTOSHands-on technical experience | MentorshipEntry-level Full Time InternshipStafford, United Kingdom1d ago
-
Automation | Continuous Improvement | Conveyance systems | Material Handling | Operating proceduresTravel opportunitiesMid-level Full TimeLondon, England, GBR1d ago
-
C++ | Differential Equations | Hardware acceleration | Market Data | Monte CarloEmployee assistance program | Employee discounts | Generous holiday allowance | Hybrid work | Learning and development resourcesExecutive-level Full TimeLocation(s): London, England, United Kingdom1d ago
-
Junior Data Engineer GBP 24K-24KCloud Platforms | Data Governance | Data Modeling | Data Quality | Data WarehousingPersonal development opportunities | Staff discountEntry-level Full TimeBury, GB-BUR, BL9 8RR, GBR1d ago
-
Bash | Cloud platform | Data Ingestion | Data Processing | DockerAsynchronous culture | Friendly work environmentMid-level Full TimeLondon, United Kingdom1d ago
-
Senior Data Engineer - Data Science Platform GBP 60K-70KApache Spark | Azure Data | Azure Data Factory | Azure Data Lake | Azure Data Lake StorageEmployee discount | Employee sample sales | Flexible benefits allowance | Flexible work rhythm | Paid annual leaveSenior-level Full TimeLondon, England, United Kingdom1d ago
-
Bash | Cloud platform | Data Processing | Docker | Google CloudAsynchronous culture | Flexible work environment | Remote friendly settingMid-level Full TimeBristol, United Kingdom1d ago
-
Bash | Cloud platform | Data Processing | Docker | Google CloudMid-level Full TimeLeeds, United Kingdom1d ago