#MULCIA: Permanent position in applied formal methods at Swansea University. https://bit.ly/3ZbJNuO #Job #CompSci
#MULCIA: Fully funded PhD positions in combinatorics, random graphs, logic, complexity, and semantics at University of Sheffield. https://bit.ly/47RChci #PhD #CompSci
#MULCIA: Postdoctoral position in verification/robustness of AI at Oxford University. https://bit.ly/47BX4AE #PostDoc #CompSci
#MULCIA: Postdoc position, Logic and Semantics Group in Tallinn. https://bit.ly/4482Rv1 #PostDoc #CompSci
#MULCIA: PhD position in higher-order mathematical operational semantics at the Friedrich-Alexander-Universität Erlangen-Nürnberg.. https://bit.ly/456zV7G #PhD #CompSci
#MULCIA: PostDoc in Formal Analysis of Autonomous Systems at Chalmers University. https://bit.ly/440ebcv #PostDoc #CompSci
#MULCIA: Postdoctoral position in Orleans, France: Collaborative memory models for formal verification. https://bit.ly/45sujWb #PostDoc #CompSci
#MULCIA: Postdoctoral position on agent-based modelling and multi-agent learning. https://bit.ly/3osQGtE #PostDoc #CompSci
#MULCIA: Permanent Position S/SL in Applied Formal Methods at Swansea University. https://bit.ly/3ohKHrN #PostDoc #CompSci
#MULCIA: PhD position in theoretical computer science and/or combinatorial optimization at Lund University. https://bit.ly/40JANvW #PhD #CompSci
#MULCIA: 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield. https://bit.ly/41nwd7P #PostDoc #CompSci #ITP #IsabelleHOL
#IsabelleHOL #itp #compsci #postdoc #MULCIA
#MULCIA: PhD position on verification of efficient and secure parallel algorithms. https://bit.ly/3jtp3OS #PhD #CompSci #ITP #IsabelleHOL
#IsabelleHOL #itp #compsci #phd #MULCIA
#MULCIA: Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK. https://bit.ly/3Gb2yGj #PostDoc #CompSci
#MULCIA: PhD position in programming languages at KU Leuven https://bit.ly/40G1Zw2 #PhD #CompSci #Haskell #FunctionalProgramming
#functionalprogramming #haskell #compsci #phd #MULCIA