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

[招生] 路易斯安娜大学CS招PL方向的PhD(RA/TA) [复制链接]

Rank: 2

声望
50
寄托币
10
注册时间
2018-1-25
精华
0
帖子
2
跳转到指定楼层
楼主
发表于 2018-1-25 01:40:41 |只看该作者 |倒序浏览
本帖最后由 Keying08 于 2018-1-25 02:02 编辑

Several PhD positions are available for fall 2018 and spring 2019. Each RA/TA position comes with a full financial support, including a tuition waiver, a mostly paid health insurance, and a monthly stipend.  

The requirements to PhD applicants are as follows,

1 Have a real passion in programming languages, especially in functional programming
2 Self-motivated and hard working

Priority will be given to applicants with one or more of the following

a) Be good at formalizing problems, algorithms, and properties through logics, inference rules, etc.
b) Be proficient in some specific programming languages, such as Haskell, C/C++, Coq, and/or Python
c) Be able to efficiently prototype given ideas.
d) Be familiar with machine learning/data mining algorithms and have some experience of applying them

If you are interested in the openings, please contact Dr. Chen directly or send your application materials(including CV/resume, GPA, TOEFL and GRE scores, etc.) to Dr. Chen(chen@louisiana.edu or cskk08@gmail.com).

Dr. Chen is an assistant professor at the school of computing and informatics at the University of Louisiana at Lafayette. He received an NSF CAREER award in December 2017. Dr. Chen's research area is programming languages and software engineering, with a focus on improving type error debugging for functional languages, improving the usability of gradually typed languages, using machine learning (big data) to solve programming language problems, improving the safety and security of C/C++, scaling static analysis for highly configurable software systems, and increasing the dependability of big data applications written in dynamically-typed languages, such as Python. His research group has publications at top conferences/journals, including POPL, OOPSLA, ICFP, and TOPLAS. If you are interested in his research, please take a look at his webpage (www.ucs.louisiana.edu/~sxc2311/).

The programming language research community is very rigorous and vibrant, offering enormous training opportunities through Programming Language Mentoring Workshops and summer schools. All new students will be provided with such career development opportunities through the support from Dr.Chen and ACM SIGPLAN.
回应
0

使用道具 举报

RE: 路易斯安娜大学CS招PL方向的PhD(RA/TA) [修改]
您需要登录后才可以回帖 登录 | 立即注册

问答
Offer
投票
面经
最新
精华
转发
转发该帖子
路易斯安娜大学CS招PL方向的PhD(RA/TA)
https://bbs.gter.net/thread-2145525-1-1.html
复制链接
发送
报offer 祈福 爆照
回顶部