4-Year PhD Position in Homotopy Theory, Topology and Higher Algebra at Utrecht University Utrecht University in Netherlands

Utrecht University in the Netherlands is offering a fully funded PhD position in homotopy theory within the Mathematical Institute’s Algebraic Topology Group. The doctoral research will contribute to the NWO XL consortium project “Symmetry on the interface of topology and higher algebra.” The thesis may address topology, higher algebra, stable and unstable homotopy theory, higher category theory, and derived algebraic geometry. The position is suited to applicants interested in advanced algebrai...

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...