在英国留学，暑假三个月的假期做什么？UCL能实习还有薪水拿

（留学SoEasy）英国大学一般有三个学期，暑假这个假期一般是最长的。以伦敦大学学院（UCL）为例，暑假假期从6月9日开始，一直持续到9月24日，总共108天（见下图，好幸福啊^_^）。如果回国发送确实是个不错的选择，但是如果结合自己所学的专业去实习，不仅能够为自己毕业求职增添一份履历和丰富的工作经验，更能够为自己赚取一些Money，两全其美，何乐而不为呢？

伦敦大学学院计算机科学系这方面做得格外体贴。这个部门执行一项有偿暑期实习计划，让学生有机会与该部门世界领先的研究团队一起在真正的大学环境中进行研究。

计算机系的实习计划只为中等年级（即不是第一或最终学年）的学生服务，提供了获得该部门世界领先研究小组之一的研究经验的机会。实习在暑假期间举行。学生将在该部门的一名或多名工作人员的监督下进行一个项目，项目持续8到10周，可在考试结束和新学年开始之间进行（由学生和主管之间沟通安排）。实习工作将为学生提供必要的软件和设备。

实习生将按照UCL实习政策（www.ucl.ac.uk/hr/docs/internships.php）领取薪水，累计年假，并有权享受法定病假工资和其他工资。目前，每小时薪酬（伦敦生活工资）为每小时10.2英镑，预计暑假期间每周工作时间不会超过36.5小时。实习生在英国要求符合UKVI工作权利。

计算机系计划2018年资助多达5个实习。

1. 用于连接决策支持系统的Chatbot工具包

主管：安东尼亨特教授。该项目正在开发用于连接决策支持系统的chatbot工具包。使用该工具包构建的每个聊天机器人都打算在相关的领域中工作。此外，人们期望用户输入的每条语句与chatbot已经知道的语句相同或相似。所以一个关键的研究挑战是chatbot决定输入对应的语句。来自计算语言学的技术将用于解决这一挑战。因此，整体而言，该项目将涉及实施该工具包的模块，并解决研究挑战。

2. 将分离逻辑引入集成开发环境

主管：Ilya Sergey博士

Facebook Infer是一款快速、精确的模块化分析工具，用于在C和Java中实施的大型软件项目。最初由UCL、玛丽皇后学院和帝国理工的研究人员开发。

伦敦，Infer现在已经公开发布，并被全世界数百名开发者使用。Infer的核心是分离逻辑——用于以自然和可扩展的方式制定和验证命令式堆栈操作程序的逻辑框架。

尽管在大型软件代码库（如Android SDK）中发现错误方面取得了成功，但Infer仍然被认为是工作Java程序员的标准工具箱之外的独立工具。该项目的目标是将Infer带入现代集成开发环境（IDE），并在IntelliJ IDEA之上实现对基于Infer的静态代码分析的支持。该项目将结合工程工作，以及为了逐步分析不断变化的Java代码而调整基于分离逻辑的规范所需的大量研究任务。

先决条件：学生要有良好的Java / Scala / Kotlin编程能力，渴望了解程序分析和验证。

3. 面向智能合同的认证编译器

主管：Ilya Sergey博士

智能合约是一种将可执行代码与某些区块链交易相关联的机制，为可信的分散仲裁提供了一种机制，由于其在以太坊的高度影响力实施，因此获得了很多关注。由于区块链协议的性质，智能合约的可执行代码一旦部署，就会在多个参与共识的节点上复制，并且不能更改或撤销。在这种情况下，拥有正确合同的挑战变得尤为突出。

该项目将解决从智能合约的模型有状态语言到EVM和迈克尔逊等一系列现有合同后端实施认证编译器的问题。将使用用于认证编程和交互式定理证明的最先进的工具，如Coq和Isabelle，并将采用CompCert和CakeML等经过验证的编译器的成功工作。

4. 分解分布式协议

主管：Ilya Sergey博士

分布式系统在现代生活的许多方面无处不在，例如医疗保健，在线商务，交通运输，娱乐和基于云计算的应用程序。鉴于分布式软件及其复杂性的重要性，现在认为拥有严格的验证方法来确定其正确性属性至关重要，从而确保一旦分布式系统启动并运行，就不会出错并最终完成其目标。

在这个项目中，我们将探讨使用交互式证明助手作为建立分布式协议正确性属性的一种方法。本研究实习的目标是实施可重用的验证分布式组件库，如故障检测，恢复和状态复制，从而实现可扩展，健壮和正确的分布式协议的构建。

先决条件：实习生应理解分布式计算的基本原理，函数式编程和逻辑。

5. 学习手术场景的外观，照明和阴影模型

主管：Dan Stoyanov博士

该项目正在使用机器学习（深度学习），以训练估计物体外观的模型。重点在于通常暴露于强卤素照明并且由于湿润而表现出有趣的反射特性的手术物体（器官和器械）。手动模拟这种反射行为是困难的并且通常不现实。通过使用CNN / GAN和其他神经网络体系结构来避免这种情况是一种有趣的机会，它们是当前计算机视觉中许多问题的选择方法。因为我们有机器人和手术相机数据丰富的训练这样的系统。如果候选人对此感兴趣，则场景中也可能出现烟雾等影响，进一步增加复杂性。

6. 学生申请程序

希望申请研究奖学金的学生应查阅以上职员的项目建议清单。如果对项目感兴趣，应联系有关工作人员安排初步讨论。每位主管将通过“公平和公开”的程序，选择一名或多名学生参与实习。一旦学生和主管就一个项目达成一致意见，主管将接管申请流程。

留学花费不菲，如果适当的参加实习，不仅会为自己积累工作经验，为今后的求职增添砝码，更能带来一些经济效益。关于大学实习，小伙伴们你怎么看（留学SoEasy）？