"Non-Classical Analysis" PhD position open in Christchurch

Along with the Models project here at Otago, another Marsden project on paraconsistent real analysis is starting up at the University of Canterbury: Applications are invited for a PhD student on the Marsden-funded project Non-classical Foundations of Analysis. The project seeks new mathematical models of the continuum, using paraconsistent logics to prove theorems that are classically hidden by inconsistency. The successful applicant will carry out doctoral study at the University of Canterbury in New Zealand. The topic of the thesis is flexible within the parameters of the project; the appointment is for three years. For details, see the project website.