24小时热门版块排行榜    

查看: 697  |  回复: 0

明天吃豆包

新虫 (初入文坛)

[交流] 香港科技大学(广州)数字电路前端/体系结构方向博士招生

导师信息:张弘策,香港科技大学(广州)功能枢纽微电子学域助理教授,中国计算机学会形式化方法专委会通信委员,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
回复此楼

» 猜你喜欢

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 明天吃豆包 的主题更新
普通表情 高级回复 (可上传附件)
信息提示
请填处理意见