[TYPES/announce] Postdoctoral Positions on Ensemble Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoctoral Positions on Ensemble Programming (further details at www.qatar.cmu.edu/iliano/projects/ripple) The School of Computer Science at Carnegie Mellon University seeks applications

[TYPES/announce] summer REU at CMU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I am looking for undergraduate students for a type systems-related Research Experience for Undergraduates (NSF REU) this summer at Carnegie Mellon University. Due to NSF eligibility requir