一亩三分地

 找回密码 注册账号

扫描二维码登录本站

微信公众号
扫码关注公众号
留学申请号
扫码关注留学申请公众号
查看: 960|回复: 0
收起左侧

[CS/CE] PhD Openings in CS at Rutgers University (PL, FM, ML)

[复制链接] |只看干货 |cs/ce, 招生
我的人缘0

升级   0%


分享帖子到朋友圈
rowanhezhu | 显示全部楼层 |阅读模式
本楼: 👍   100% (1)
 
 
0% (0)   👎
全局: 👍   100% (3)
 
 
0% (0)    👎

注册一亩三分地论坛,查看更多干货!

您需要 登录 才可以下载或查看,没有帐号?注册账号

x
We are looking for ~2 motivated Ph.D. students to join the RU Automated Reasoning group! herowanzhu.github.io
Please drop me an email (he.zhu.cs AT rutgers.edu) with your CV if you are interested. Application deadline is Jan. 1st. 2021 for Ph.D. students.

Our research is under the broad umbrella of automated reasoning, formal methods, and programming languages. Our current interest lies at the intersection of deep learning and symbolic (program) reasoning. We are investigating how to make deep learning systems, especially deep reinforcement learning systems, more data-efficient, reliable, and trustworthy by applying formal program reasoning techniques (verification & synthesis). The long-term research goal is to build intelligent and explainable neural-symbolic systems that allow the tight integration of deep learning and symbolic reasoning and that can be formally certified correct and reliable.

罗格斯大学靠近纽约,交通便利,美食丰富,相信会是同学们求学的好地方:)

上一篇:马里兰大学招21年秋季入学的CS/EE Master和Ph.D(都有全奖)
下一篇:西弗吉尼亚大学诚招2021年秋季增材制造方向全奖博士研究生
您需要登录后才可以回帖 登录 | 注册账号

本版积分规则

隐私提醒:
■拉群请前往同学同事飞友|拉群结伴版块,其他版块拉群,帖子会被自动删除
■论坛不能删帖,为防止被骚扰甚至人肉,不要公开留微信等联系方式,请以论坛私信方式发送。
■特定版块可以超级匿名:https://tools.1point3acres.com/thread
■其他版块匿名方法:http://www.1point3acres.com/bbs/thread-405991-1-1.html

手机版|||一亩三分地

Powered by Discuz! X3

© 2001-2013 Comsenz Inc. Design By HUXTeam

Some icons made by Freepik from flaticon.com

快速回复 返回顶部 返回列表