Prof. Yu (https://ycunxi.github.io/cunxiyu/) has multiple immediate Ph.D. positions with full RA support in Computer Engineering (CS and ECE joint) at University of Utah. Expected starting date can be as early as Fall 2021 (other joining date can also be discussed). Currently, our group have 3 excellent PhD students, 1 postdoc, and one NSF funded undergrad researcher.
Yu's group is currently supported by NSF FMiTF Award, NSF SHF Core, NSF CAREER Award, Xilinx, and DOE Center for Integrated Nanotechnologies (CINT), in the fields of hardware acceleration, deep learning systems (compiler, infrastructure, etc.), and machine learning in electronic design automation.
Research topics for these positions:
• Formal Methods, Formal Verification
• Deep Learning System, e.g., compilers, programming language for heterogeneous computing systems
• Applied ML in Computer System Designs and Automation (electronic design automatio -- EDA)
Minimum Qualifications
Strong research interests and motivation
Solid programming skills in C/C++/python
CS/ECE/Math/Physics majors with a solid GPA record
Solid communication and writing skills (valid GRE/TOEFL test records are required for admin procedure)
Highly Preferred Qualifications
Exposure to Electronic Design Automation (high-level synthesis, logic synthesis, physical design, etc.), OR Formal Methods (Boolean SAT solving, SMT solving), OR programming language/compiler.
University of Utah & Salt Lake City
Ranking: CSRanking: #34; USNews CE: #49; USNews CS: #43
Prospective PhD students: Please send me your [CV, GRE, TOEFL and B.S./M.S. transcripts] and use [Ph.D. Application - Your Name] as the email subject. I will be very happy to talk more details of how I will work with you, research topics, and Salt Lake City Utah online.
Wish you all the best luck for your PhD applications!