#MULCIA: PhD position in AI4Math at Chalmers. https://1pt.co/t8fd7 #PhD #AI4Math #CompSci

#MULCIA: PhD position in number theory and formalization at the Vrije Universiteit Amsterdam. https://is.gd/ALjsq2 #PhD #PostDoc #CompSci

#MULCIA: Postdoctoral Researcher in Safe AI (AI4KIDS Project), University of Luxembourg. https://is.gd/OtD3yq #PostDoc #CompSci #AI

#MULCIA: Postdoctoral position in proof automation and theoretical computer science at MPI-SWS, in collaboration with TU Wien. https://tinyurl.com/267wakyn #PostDoc #CompSci #ITP #LeanProver

#MULCIA: Post-doc position at Inria Rennes on AI and formal methods. https://is.gd/OKXP8D #PostDoc #CompSci #AI #FormalMethods

#MULCIA: Postdoctoral position in formal methods and verification, University of Konstanz (Germany). https://is.gd/4hsF3X #PostDoc #CompSci

#MULCIA: Fully funded PhD position in Theoretical Computer Science (Category & Type Theory), University of Birmingham (UK). https://is.gd/H1qiDk #PhD #PostDoc

#MULCIA: Two PhD positions in symbolic AI at TU Wien. https://is.gd/danbNW #PhD #CompSci #AI

#MULCIA: PhD position in formal verification in Leiden, Netherlands. https://is.gd/XZOnPO #PhD #CompSci

#MULCIA: PhD positions in automated and foundational verification at the Institute of Science and Technology Austria (ISTA). https://is.gd/VbhEov #PhD #CompSci