The theory group in the Department of Computer Science invites applications for a postdoctoral fellow position. The initial appointment period for the position is for one year, with the possibility of extension for a second year.