Computer Science Postdoc — Germany

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