I am always interested to recruit self-motivated and bold students to join my group as (online or offline) interns. I also have opennings for full-time {Researchers, Research Assistants, PhD Students} as of 2025-05. A more detailed description can be found at this post, and its funny version is at xhs. The project description is here.
I’m particularly looking for candidates that are familiar with or determined to spend considerable time learning: 1. formal verification1, or 2. deep RL2. Note that decent/strong coding skills3 are also preferred.
Able to solve exercises in Software Foundations (Volume 1) or Lean4 (first 5 sections). ↩︎
Or, able to solve exercises in RL Intro (first 8 chapters) or math foundation (first 5 chapters). ↩︎
e.g., can learn to develop RL variants based on verl quickly ↩︎
I feel honored to be able to work, and grow together, with young students having unlimited talent.
These are excellent students who I advised and worked with when I worked as an independent researcher
These are amazing students who I mentored and worked with when I was still a junior researcher