José A. AlonsoFeb 19
#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
Dynamical and Arithmetical Model Checking

José A. AlonsoJan 19
#MULCIA: Post-doc position at Inria Rennes on AI and formal methods. https://is.gd/OKXP8D #PostDoc #CompSci #AI #FormalMethods
José A. AlonsoDec 22
#MULCIA: Postdoctoral position in formal methods and verification, University of Konstanz (Germany). https://is.gd/4hsF3X #PostDoc #CompSci
José A. AlonsoDec 22
#MULCIA: Fully funded PhD position in Theoretical Computer Science (Category & Type Theory), University of Birmingham (UK). https://is.gd/H1qiDk #PhD #PostDoc
José A. AlonsoDec 17
#MULCIA: Two PhD positions in symbolic AI at TU Wien. https://is.gd/danbNW #PhD #CompSci #AI
José A. AlonsoDec 4
#MULCIA: PhD position in formal verification in Leiden, Netherlands. https://is.gd/XZOnPO #PhD #CompSci
José A. AlonsoNov 27
#MULCIA: PhD positions in automated and foundational verification at the Institute of Science and Technology Austria (ISTA). https://is.gd/VbhEov #PhD #CompSci
José A. AlonsoNov 14
#MULCIA: Postdoc positions in formal methods and programming languages (The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark). https://tinyurl.com/25blteat #PostDoc #CompSci
Postdoc Positions in Formal Methods and Programming Languages

Application deadline: 11 January 2025 at 23:59 hours local Danish time

SDU Career Site
José A. AlonsoNov 14
#MULCIA: 4 PhD positions in automated reasoning at TU Wien, Austria. https://tinyurl.com/25xb5u39 #PhD #CompSci
FORSYTE.at

José A. AlonsoNov 9
#MULCIA: Postdoc Position in AI Theorem Proving (ProofBench Project), TU Freiberg (Germany). https://tinyurl.com/29e3o7dh #PostDoc #CompSci #AI
CfA: Postdoc Position in AI Theorem Proving (ProofBench Project), TU Freiberg (Germany), Deadline: 1 Dec 2025