香港科技大学（广州）数字电路前端/体系结构方向博士招生

导师信息

张弘策，香港科技大学（广州）功能枢纽微电子学域助理教授，中国计算机学会形式化方法专委会通信委员，IEEE Council on EDA Guangzhou Chapter Chair，2021年于美国普林斯顿大学电子与计算机工程系取得博士学位。主要研究方向：数字电路的形式化验证方法。

网站：https://hongcezh.people.ust.hk/

选择要求

计划招收1-2名2024年秋季入学博士生，研究面向处理器和缓存微架构的符号仿真验证方法，期望申请人：

1、在本科或硕士阶段修过计算机体系结构（或计算机组成原理）和数字逻辑设计（能够熟练使用Verilog，能够通过阅读其他人的Verilog从中梳理出电路的微架构）

2、具有一定的Python或C++编程能力

3、本科或硕士生皆可申请

4、无需形式化方法的背景知识

申请

有意向者可将简历和成绩单发送至邮箱：hongcezh@ust.hk

转自：“科研doge”微信公众号

如有侵权，请联系本站删除！