These positions are at the mathematics department at Stockholm University. Here follows some information from Anders Mörtberg, associate professor and member of the department’s logic group.
Please help spread the word to students who are interested in doing a PhD on type theory, HoTT, computer formalization of CS and math, constructive mathematics, etc. Note that PhD students here are employed with a salary and that the position comes with benefits. There are also no tuition fees.
If you are a student interested in doing a PhD with me you are welcome to apply to both positions above, just make sure you apply to the one in Computational Mathematics as that is the division I formally belong to. Please also specify clearly that you want me as an advisor in your application (e.g. in your cover letter). Please don’t hesitate to contact me if you have any questions.
]]>https://su.varbi.com/en/what:job/jobID:796743/where:4/
We are hiring an Assistant Professor in Mathematics with focus on Mathematical Logic in the Department of Mathematics at Stockholm University. The position is tenure track and the candidate will be part of the long standing tradition of logic research in Stockholm. Applicants from all areas of logic and related areas are very welcome to apply. Women and other underrepresented groups are strongly encouraged to apply.
Application deadline: April 15, 2025, 11:59 PM CEST
The Logic group in Stockholm currently consists of professor emeritus Per Martin-Löf and associate professors Peter LeFanu Lumsdaine and Anders Mörtberg with PhD students and postdocs. The Department is a vibrant place for logic research with a weekly seminar (https://logic.math.su.se/seminar/), advanced courses in logic, and close collaborations with other research groups in Sweden and internationally.
More information about the position and how to apply:
https://su.varbi.com/en/what:job/jobID:796743/where:4/
Feel free to contact Anders Mörtberg (anders.mortberg@math.su.se) and Peter LeFanu Lumsdaine (p.l.lumsdaine@math.su.se) if you have any questions about the position.
]]>https://su.varbi.com/en/what:job/jobID:790738/where:4/
The Department of Philosophy at Stockholm University is the largest in Sweden, with vibrant research groups in a wide range of philosophical disciplines. The department has a strong international profile: we frequently host internationally prominent colloquium speakers and other visitors, and we are involved in numerous international and national networks and research projects.
The thesis work will be conducted within theoretical philosophy. Theoretical philosophy includes epistemology, metaphysics, philosophy of mind, logic, philosophy of language, philosophy of science, as well as the history of philosophy.
]]>DTU (Technical University of Denmark) is offering a PhD scholarship in logic and AI within the research project Attention in Epistemic Planning. The project members are Gaia Belardinelli (Stanford University), Thomas Bolander (PI, DTU), Hans van Ditmarsch (IRIT Toulouse), Hermine Grosinger (Örebro University), Jens Ulrik Hansen (Roskilde University), Nir Lipovetzky (University of Melbourne), Rineke Verbrugge (University of Groningen) and Sebastian Watzl (University of Oslo). Your principal supervisor will by Thomas Bolander.
Short project description: The project takes departure in epistemic planning based on dynamic epistemic logic (DEL), a line of research within symbolic AI initiated by the PI in 2011. It allows agents, e.g. robots, to reason about other agents, e.g. humans, as part of their planning process. The crucial novelty of the proposed project is to develop and integrate logical models of attention with the aim of 1) achieving better computational complexity and practical efficiency; 2) allow robots to reason about the limited attention of humans. The project will take inspiration from theories of human attention from philosophy and cognitive science and build models of dynamic epistemic logic that represent crucial aspects of attention, including its boundedness, its selectiveness, and the distinction between top-down and bottom-up attention. The main formalisms and algorithms developed will be based on dynamic epistemic logic that will both be investigated theoretically and implemented in a robotic setup.
Your job will be to:
Mathematics education and research at Tampere University are hosted by the Computing Sciences unit and the Faculty of Information Technology and Communications. We conduct strong research in the areas of mathematics including
Our personnel consists of 5 professors, 15 lecturers/instructors, and roughly 30 research staff members including post-doctoral researchers and doctoral students. To complement and strengthen our research profile, we invite applications for an Assistant/Associate/Full Professor in Discrete Mathematics (Tenure Track). We are especially seeking candidates with an excellent track record in the area of mathematical logic. Expertise on applications is considered an additional strength.
The successful candidate is expected to lead world-class scientific research and to demonstrate their potential in securing substantial research funding. They will also participate in teaching and supervision of students in the area of mathematical logic. We are seeking an active member to our academic community and value potential for local research collaboration. The more detailed tenure-track objectives will be set based on the level and previous experience of the candidate.
]]>Application Deadline: 27th August 2024
Job Ad: Associate Senior Lecturer in Logic
Information about Gothenburg Logic Group: https://www.gu.se/en/flov/our-research/research-areas/research-in-logic
Contact: Bahareh Afshari, +46 31-786 49 65, bahareh.afshari@gu.se
The position is part of a research project funded by the Icelandic Research Fund, under the direction of Antonis Achilleos (Reykjavik University), Luca Aceto (Reykjavik University), and Anna Ingolfsdottir (Reykjavik University) in cooperation with Adrian Francalanza (University of Malta) and Karoliina Lehtinen (LIS, Aix-Marseille). The project develops the theoretical foundations of runtime verification, and its overarching goal is to better understand the properties and push the limits of monitorability in different settings. For more information on the project and the opening, please visit
]]>