官网 爱丁堡大学
职位描述
计算机科学、数据库、软件和系统建模的理论与基础
计算机科学基础实验室（LFCS）继续引领数学模型、算法、理论和工具的发展，探索计算和通信的可能性。作为世界上规模最大、实力最强的理论计算机科学家团体之一，我们的学生受益匪浅。我们的研究旨在深入了解各种形式的计算。我们利用先进的数学原理，创建理论和软件工具，探索计算的基本能力，并设计可用于构建安全有效程序的语言。LFCS 的研究领域包括：算法与复杂性、密码学、数据库、逻辑、编程语言与语义、性能建模、量子计算、安全与隐私、软件建模与测试以及验证。