Two funded PhD positions, supervised by Thomas Forster and based in Wellington NZ are available. The broad area is in set theory and model theory, and in particular, the New Foundations system. For a list of possible thesis topics, see this page.
If interested, reach out to tef10@cam.ac.uk.