PhD position in Saint-Étienne&Paris

Stream: job postings

[Filippo A. E. Nuccio]

Dear All, @Riccardo Brasca and I (Filippo Nuccio) are looking for a PhD student to work on formalization of advanced number theory or some functional analysis (either nonarchimedean or aspects of $p$-Banach spaces that showed up in the LTE). The position will be based at the University of Saint-Étienne and it will include collaboration with the Université Paris Cité, will start in Fall 2025 and last 3 years. Please contact one of us if you are interested, either here via Zulip DM or at filippo.nuccio@univ-st-etienne.fr or riccardo.brasca@gmail.com. The deadline for application is April 18th, but we'd like to get in touch with interested candidates as soon as possible.