项目简介
自动驾驶汽车等自动系统, 无人驾驶飞机, 自治的船, 无人水下航行器, 可能有助于降低成本并保护人类免受危险情况的影响.
在需要跨不同操作领域的多个资产之间进行密切协作的情况下, 确保复杂的多组件系统的安全性对于允许不同资产成功完成其各自的任务至关重要.
必须尽早考虑可能影响特派团安全以及其他安全条件的安全通信.
邀请申请一个全额资助的博士研究生，以分析和开发框架，以确保协作自主任务的可信度.
这项工作将涉及应用分析技术以及验证和验证方法，以确保自主系统的可信度及其符合安全和安全要求. 这项研究将解决自主和智能系统固有的挑战，包括:
- 合作行为
- 发展的任务
- 与工业伙伴的合作
这项工作可能会导致新的方法和技术，可以应用于依赖自主系统和需要安全和保障的不同领域.
成功的候选人需要有很强的计算机科学背景, 数学, 物理或工程, 对软件设计和自治系统之间的相互作用感兴趣.
您将加入一个充满活力和领先的研究团队，并得到他们的支持 电子与计算机科学学院 有机会与世界领先的工业伙伴合作. 九游会在线官网是罗素集团的一员，是排名前100的大学.
