José A. Alonso · @Jose_A_Alonso
874 followers · 1892 posts · Server mathstodon.xyz#MULCIA: Permanent position in applied formal methods at Swansea University. https://bit.ly/3ZbJNuO #Job #CompSci
José A. Alonso · @Jose_A_Alonso
864 followers · 1852 posts · Server mathstodon.xyz
José A. Alonso · @Jose_A_Alonso
856 followers · 1809 posts · Server mathstodon.xyz#MULCIA: Fully funded PhD positions in combinatorics, random graphs, logic, complexity, and semantics at University of Sheffield. https://bit.ly/47RChci #PhD #CompSci
José A. Alonso · @Jose_A_Alonso
845 followers · 1761 posts · Server mathstodon.xyz#MULCIA: Postdoctoral position in verification/robustness of AI at Oxford University. https://bit.ly/47BX4AE #PostDoc #CompSci
José A. Alonso · @Jose_A_Alonso
845 followers · 1740 posts · Server mathstodon.xyz#MULCIA: Postdoc position, Logic and Semantics Group in Tallinn. https://bit.ly/4482Rv1 #PostDoc #CompSci
José A. Alonso · @Jose_A_Alonso
845 followers · 1737 posts · Server mathstodon.xyz#MULCIA: PhD position in higher-order mathematical operational semantics at the Friedrich-Alexander-Universität Erlangen-Nürnberg.. https://bit.ly/456zV7G #PhD #CompSci
José A. Alonso · @Jose_A_Alonso
833 followers · 1706 posts · Server mathstodon.xyz#MULCIA: PostDoc in Formal Analysis of Autonomous Systems at Chalmers University. https://bit.ly/440ebcv #PostDoc #CompSci
José A. Alonso · @Jose_A_Alonso
833 followers · 1703 posts · Server mathstodon.xyz
José A. Alonso · @Jose_A_Alonso
734 followers · 1331 posts · Server mathstodon.xyz
José A. Alonso · @Jose_A_Alonso
726 followers · 1267 posts · Server mathstodon.xyz
José A. Alonso · @Jose_A_Alonso
726 followers · 1266 posts · Server mathstodon.xyz#MULCIA: Postdoctoral position in Orleans, France: Collaborative memory models for formal verification. https://bit.ly/45sujWb #PostDoc #CompSci
José A. Alonso · @Jose_A_Alonso
726 followers · 1262 posts · Server mathstodon.xyz#MULCIA: Postdoctoral position on agent-based modelling and multi-agent learning. https://bit.ly/3osQGtE #PostDoc #CompSci
José A. Alonso · @Jose_A_Alonso
726 followers · 1261 posts · Server mathstodon.xyz#MULCIA: Permanent Position S/SL in Applied Formal Methods at Swansea University. https://bit.ly/3ohKHrN #PostDoc #CompSci
José A. Alonso · @Jose_A_Alonso
709 followers · 1166 posts · Server mathstodon.xyz
José A. Alonso · @Jose_A_Alonso
708 followers · 1162 posts · Server mathstodon.xyz#MULCIA: PhD position in theoretical computer science and/or combinatorial optimization at Lund University. https://bit.ly/40JANvW #PhD #CompSci
José A. Alonso · @Jose_A_Alonso
694 followers · 1128 posts · Server mathstodon.xyz#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
José A. Alonso · @Jose_A_Alonso
694 followers · 1118 posts · Server mathstodon.xyz#MULCIA: PhD position on verification of efficient and secure parallel algorithms. https://bit.ly/3jtp3OS #PhD #CompSci #ITP #IsabelleHOL
#IsabelleHOL #itp #compsci #phd #MULCIA
José A. Alonso · @Jose_A_Alonso
683 followers · 1069 posts · Server mathstodon.xyz#MULCIA: Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK. https://bit.ly/3Gb2yGj #PostDoc #CompSci
José A. Alonso · @Jose_A_Alonso
667 followers · 1029 posts · Server mathstodon.xyz#MULCIA: PhD position in programming languages at KU Leuven https://bit.ly/40G1Zw2 #PhD #CompSci #Haskell #FunctionalProgramming
#functionalprogramming #haskell #compsci #phd #MULCIA