PhD position in mathematical logic, Barcelona (Spain)

Project: The geometry of non-classical logics Host institution: University of Barcelona, Spain
Supervisors: Tommaso Moraschini, Ramon Jansana, Joan Gispert
Duration: April 2021 - March 2024
Tentative deadline: November 7th, 2020
Contact: tommaso.moraschini at gmail.com

We offer one four-year fully-funded PhD position in logic that includes travel funds. The position is related to the research project "the geometry of non-classical logics" that explores generalizations of Esakia duality for Heyting algebras, based on the methods of algebraic logic and universal algebra. Familiarity with intuitionistic and modal logic as well as with basic universal algebra is desirable. Successful candidates are expected to enrol into the PhD program in logic of the University of Barcelona.

The logic group of the university of Barcelona offers four weekly seminars in algebraic logic, model theory, set theory, and proof theory. Moreover, successful candidates will be given the opportunity of attending some of the advanced courses of the Master of Pure and Applied Logic of the University of Barcelona, to strengthen their background in the various areas of logic.

Interested candidates are encouraged to express their interest as soon as possible, by sending an email to tommaso.moraschini at gmail.com