香港科技大学（广州）全奖博士招生
2023/9/11 9:25:18 阅读：38 发布者：
香港科技大学（广州）数字电路前端/体系结构方向博士招生
导师信息
张弘策，香港科技大学（广州）功能枢纽微电子学域助理教授，中国计算机学会形式化方法专委会通信委员，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”微信公众号
如有侵权，请联系本站删除！
