Logic List Mailing Archive

PhD student position in mathematical logic, Barcelona (Spain), Deadline: 7 Nov 2020

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@gmail.com<mailto:tommaso.moraschini@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@gmail.com<mailto:tommaso.moraschini@gmail.com>
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam