The Graduate School Hub
4.4K posts

The Graduate School Hub
@Grad_School_Hub
Do you need Graduate School Mentorship? Please send an email to [email protected] | August 2026 cohort is on! https://t.co/Z2ZC9ERIJx

🎓 I will join Imperial College London, Department of Computing, as an Assistant Professor in late 2026 🎉 I’m looking for highly self-motivated students who enjoy building agentic systems and solving hard problems. Looking for: - 2–3 fully funded PhD students - Self-funded / visiting PhD students - Remote RAs/interns Research: - 🤖 AI for Software Engineering - 📐 AI for Formal Verification - 🛠️ Coding & Testing Agents Preferred Experience: - 🤖 AI agents development (able to build working systems) - 🧩 AI infrastructure / large-scale systems - 🧪 Software testing/program analysis in large systems - 📐 Formal verification (theorem proving, model checking, etc.) Support: - 💼 DeepMind / Meta / Anthropic internship connections - ☁️ API + compute support - 🚀 demo → research → product deployment pipeline 👩 About Me: I am currently a Research Assistant Professor in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology (HKUST). I received my PhD from HKUST and my Master’s degree from the Chinese Academy of Sciences (CAS). My research has been published in ICSE / FSE / ASE / CAV / USENIX Security / ICML / ACL / AAAI, etc. Awards include: - 🏆 ACM SIGSOFT Outstanding Doctoral Dissertation Award 2025 - 🏆 2025 Young Scientist Award in Engineering Science - 🏆 ACM Distinguished Paper Award @ ASE 2024 🛜Homepage: jialuncao.github.io 📩 Contact: Send CV + 1~2 representative works + research plan to: jialuncao [at] ust [dot] hk Let's do something interesting and impactful!




























