现今对于拥有高级计算机科学专业技能毕业生的需求日益增长，特别是在视软件安全为关键的行业，如制造业和核能源行业。在谢菲尔德大学高级计算机科学（验证与测试）理学硕士项目中，你将专注于软件的验证和测试，开发所需的专业知识。项目中的创新项目将教导你如何在现实世界中应用你的知识。谢菲尔德大学高级计算机（验证与测试）科学理学硕士项目中的创新项目将为你提供实践经验，以帮助你把知识运用于现实。谢菲尔德大学与高级雇主协商，以确保你拥有就业所需的技能和个人素质，因此在谢菲尔德大学高级计算机科学（验证与测试）理学硕士项目中，你将了解全球商业和产业中的重要议题。谢菲尔德大学高级计算机科学（验证与测试）理学硕士项目的毕业方向包括进行学术和行业研究，在软件行业、银行业和金融业就业，就业企业包括Logica、IBM、惠普、普华永道国际会计事务所、沃达丰、英国广播公司和汇丰银行。

1、Object Oriented Programming and Software Design

2、Research Methods and Professional Issues

3、Dissertation Project

4、Testing and Verification in Safety-critical Systems

5、Theory of Distributed Systems

6、Computer Security and Forensics

7、Software and Hardware Verification

8、Text Processing

9、Modelling and Simulation of Natural Systems

10、Speech Processing

11、3D Computer Graphics

12、Intelligent Web

13、Machine Learning and Adaptive Intelligence

14、Software Development for Mobile Devices

15、Speech Technology

1、面向对象的编程和软件设计

2、研究方法和专业议题

3、论文项目

4、安全关键系统测试和验证

5、分布式系统理论

6、计算机安全和取证

7、软件和硬件验证

8、文本处理

9、自然系统建模和仿真

10、语音处理

11、3D计算机图形学

12、智能网络

13、机器学习和自适应智能

14、移动设备软件开发

15、语音技术