Doctoral research in set theory and non-standard logics, focusing on modal logic of forcing and inner models from extended logics. Includes mentorship, funding for conferences and research visits, teaching (10%) and a collaborative research environment.