Post doc position in Copenhagen on categories and computational complexity