[Question] Is MIRI actually hiring and does Buck Shlegeris still work for you?

I applied to MIRI software engineer position last year on 26 February 2020. The first stage of the interview was a Triplebyte quiz. Triplebyte said I passed it “particularly well” and qualify for Fast Track program. However, Buck Shlegeris said he’s not interested in proceding with an interview, with no explanation. Well, maybe my test score wasn’t good enough. Anyway, he provided me with a list of ways to impress him and get back on track, and I did one of them (solve 8 chapters of Lean exercises). Buck said that I’ve managed to impress him and he’ll get back to me about next steps. Two months later he said that MIRI is not hiring because of the pandemic. Buck promised to contact me when the hiring starts again.

I have recently learned from a friend that Buck doesn’t work for MIRI anymore, and his Linkedin page also says that he left in 2020. So I decided to reapply for the job, but I got back an automated reply from Buck Shlegeris with a link to the same Triplebyte quiz.

I am confused. Does Buck still work for MIRI? If you aren’t hiring, why are there job ads on your website?