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