🎓 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: https://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!