寄托天下
查看: 1563|回复: 1
打印 上一主题 下一主题

[全奖] 美国Augusta University招收博士 - PL/Verification/Compiler 方向 [复制链接]

Rank: 1

声望
10
寄托币
81
注册时间
2008-5-5
精华
0
帖子
2
跳转到指定楼层
楼主
发表于 2023-5-4 05:25:46 |只看该作者 |倒序浏览
Full-funded Ph.D. openings are available in Dr. Yuyan Bao’s group in the School of Computer and Cyber Science at Augusta University, Augusta, GA, USA.  

The group has long-term collaboration with Dr. Tiark Rompf at Purdue University, West Lafayette, IN. Ongoing collaborative research includes
  - designing and implementing cutting-edge programming models and tools with the goal of generating efficient programs with safety and correctness guarantees;
  - designing and implementing compiler tool chains for building secure-multi-party applications
  - building automatic deductive program verification tools.

The group is looking for highly motivated Ph.D. students with reach interests in the areas of programming languages, compilers, verification and building tools.
   
The graduate applications are reviewed all year long, and the students can start in the fall, spring, or summer semesters.
     
If you are interested, please feel free to email your CV with a brief self-introduction (e.g., research/engineering experience and interests) with the subject line "Ph.D. Application -- your name" to yubao@augusta.edu. More information about admissions and applications can be found at University's website.
已有 1 人评分寄托币 声望 收起 理由
依米姐 + 20 + 10 感谢分享

总评分: 寄托币 + 20  声望 + 10   查看全部投币

1
添加回应
回应
0

举报

Rank: 15Rank: 15Rank: 15Rank: 15Rank: 15

声望
220
寄托币
4619
注册时间
2021-10-13
精华
0
帖子
157

23Offer 美国offer勋章 欧洲offer勋章 商学院 新加坡offer勋章 英国offer勋章 法学offer勋章 建筑offer勋章 加拿大offer勋章 23fall【寄托社群】 CS offerl勋章 24offer

沙发
发表于 2023-5-8 15:03:39 |只看该作者
感谢分享???? ???? ????

举报

RE: [全奖] 美国Augusta University招收博士 - PL/Verification/Compiler 方向 [修改]
您需要登录后才可以回帖 登录 | 立即注册

问答
Offer
投票
面经
最新
精华
报offer 祈福 爆照
进群抱团
25fall申请群
微信扫码
小程序
寄托留学租房小程序
微信扫码
寄托Offer榜
微信扫码
公众号
寄托天下
微信扫码
服务号
寄托天下服务号
微信扫码
申请遇疑问可联系
寄托院校君
发帖
提问
报Offer
写总结
写面经
发起
投票
回顶部