PhD Position in Mathematical Logic - University of Barcelona

[Tommaso Moraschini]

PhD POSITION IN MATHEMATICAL LOGIC
*Tentative deadline: November 7th, 2020

Project: The geometry of non-classical logics
Host institutions: University of Barcelona, Spain
Supervisors: Tommaso Moraschini, Ramon Jansana, Joan Gispert
Duration: April 2021 - March 2024
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200710/0a203fac/attachment.html>