Post Doc in Type Theory for Mathematics and Computer Science (University of Gothenburg Department of Computer Science and Engineering)