帮朋友发全奖PL Ph.D.招生(与普度team长期合作) ,Augusta University

al3xliuUID: 4061470

朋友在这所大学做AP, 人不错, 方向是PL, 正处在需要多发paper的阶段, 所以paper work方面不用太担心, 目前在招full-time phd, 联系方式和详情如下:


Full-funded Ph.D. openings are available in Dr. Yuyan Bao’s group (https://yuyanbao.github.io/research/) 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 in https://www.augusta.edu/ccs/phd-ccs.php.

al3xliuUID: 4061470

顶一下.

al3xliuUID: 4061470

顶顶

al3xliuUID: 4061470

顶顶

al3xliuUID: 4061470

顶一下, 还在招生