[Closed] Hiring a mathematician to work on the learning-theoretic AI alignment agenda — AI Alignment Forum