Fully Funded PhD Position in Homotopy Theory, Higher Algebra and Higher Category Theory Utrecht University in Netherlands

Utrecht University is recruiting a PhD researcher in homotopy theory within the Mathematical Institute and Algebraic Topology group. The successful candidate will join the NWO XL consortium project “Symmetry on the interface of topology and higher algebra,” in collaboration with Radboud University Nijmegen and Vrije Universiteit Amsterdam. The research will focus on the interplay of topology and higher algebra, with flexible project goals tailored to the candidate’s strengths and interests. Rela...

Radboud University is advertising a PhD position in Algebraic Topology within the Department of Mathematics, Faculty of Science. The project is centered on homotopy theory , especially equivariant stable homotopy theory and research on commutativity in the setting of the NWO-XL project “Symmetry on the Interface of Topology and Higher Algebra.” The position is supervised by Dr. Magdalena Kedziorek and is also associated with Dr. Steffen Sagave . The department highlights a supportive research en...

Postdoctoral research position at Delft University of Technology (TU Delft) in the Programming Languages group , Department of Software Technology, working on the interface between category theory , computer proof assistants , and computer algebra systems . The project aims to connect a proof assistant such as Rocq, Lean, or Agda with CAP (Categories, Algorithms, Programming) , a software system for computational category theory implemented in GAP and part of the homalg project. The goal is to m...

PhD Position in Formal Languages, Category Theory, and Type Theory at Delft University of Technology (TU Delft) This PhD project explores how to systematically derive formal languages from their mathematical semantics, with correctness proofs connecting syntax and meaning. The research sits at the intersection of computer science and mathematics , especially category theory , type theory , programming language semantics , and formal verification using the Agda proof assistant. You will work unde...

The Institute of Mathematics of the Polish Academy of Sciences is advertising an open call for up to two postdoctoral positions in the NCN SONATA BIS 15 research project "Geometry and Topology of Non-Archimedean Manifolds" , led by Professor Piotr Achinger . The project sits at the intersection of algebraic geometry and algebraic topology , with a particular focus on non-archimedean geometry . Successful candidates will join a mathematically rigorous research environment and contribute to a theo...