Vacancies

I am always looking for self-motivated PostDoc/PhD/master/research assistants/research interns to work with me at ZJU. Feel free to drop me an email with CV if you are interested. Preferred PhD candidates should have a strong background in logic, mathematics or programming, and more importantly love doing research. For ZJU students, please walk in to my office at Lecture Building 9-350, if you wish to have a talk.

Currently, I am hiring multiple research assistants to work with the team on AI testing, verification and repair, especially for large language models (LLMs) or LLM-based systems. The salary is attractive and selected candidates will be recommended for a master or PhD program (either in ZJU or collaborative labs overseas). Please email me with CV asap if you are interested.