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.作者: 依米姐 时间: 2023-5-8 15:03:39