[TYPES/announce] Postdoc position at Colorado in program analysis and program synthesis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate in the area of

[TYPES/announce] PhD position available

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I am pleased to announce the following PhD position in a types-related area. --- A position is available for a PhD student at the University of Ljubljana in the general research area