Re: type theory postdoc at Dalhousie University