寄托家园留学论坛

查看: 152|回复: 0

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

Rank: 2

声望
50
寄托币
10
注册时间
2018-1-25
精华
0
帖子
2
发表于 2018-11-9 09:04:50 |显示全部楼层
Several PhD positions are available for fall 2019 and spring 2020.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.

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

关闭

站长推荐

版主"Lina"对比香港美国的学习生活
版主
留学选香港还是美国?了解在港生活,以及local必备app!还能在群内与版主互动!
【分享时间】
11月21日 晚上21点30

查看 »

报offer 祈福 爆照
回顶部 我要纠错