I'm looking for up to three motivated Ph.D. students to join my research group at Auburn University starting Fall 2025. Our research focuses on AI4SE and SE4AI.
Currently, two lines of works are being pursued in my lab: (1) quality assurance of DNNs via mutation analysis; (2) proof synthesis in Rocq/Coq.
There are two positions available for Topic 1 and one position available for Topic 2.
Desired background for the positions available for Topic 1 are:
Position 1: Proficient in C++ and familiar with OpenCL/CUDA.
Position 2: Proficient in Python, with experience in Keras, TensorFlow, and DNN testing.
Desired background for the position available for Topic 2 are:
Position 3: Background in Rocq/Coq, theory of programming languages, and interest in LLMs and formal verification.
Due to the high volume of applications that we have received, the hiring process will proceed as follows.
- Students who showed interest and sent the relevant documents, must fill out this form to provide additional documents for a more thorough off-line evaluation.
- After short listing, a subset of those students will be invited for an approximately 1 hour Zoom interview.
- After careful consideration, I will select 3 most qualified applicants for further processing, which will involve a background check by Auburn University, doing paperwork for admission, and immigration (if needed).