I saw this posting on the Lean Zulip forum. I was thinking about emailing the Prof with some questions and then applying. If I do this, will I get interviewed/video call Dr. Grosser within a month of doing so?

Close date updated to 2023-02-18 11:59 pm

Update: I applied, this will resolve in a month.

Jan 18, 10:56am: If I apply to this postdoc, will I get interviewed? → I applied to this postdoc, will I get interviewed?