[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Innsbruck invites applications for a 6 year position as
postdoctoral researcher
at the Computational Logic research group.
Candidates must hold a PhD degree in comp
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Innsbruck invites applications for a 4 year position as
postdoctoral researcher
at the Computational Logic group of the Institute of Computer Science.
Depending on