[TYPES/announce] Tenure-track PL faculty position at Tufts University

position open for mid-career faculty (see job description below). I really enjoy being at Tufts, and I strongly encourage you to apply if you are interested in joining us! Please feel free to reach out to me with any questions or to discuss the search further. Thanks, Jeff Foster https

[TYPES/announce] Postdoc position at Tufts in Program Synthesis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Tufts University Department of Computer Science invites applications for a postdoctoral research position. The candidate will work with Prof. Jeff Foster on a DARPA-funded project

[TYPES/announce] Postdoc in PL/SE and security at the University of Maryland, College Park

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The programming languages group in the Department of Computer Science and UMIACS at the University of Maryland, College Park is offering a post doctoral position. We are looking for a

[TYPES/announce] Postdoc in programming languages and security at the University of Maryland, College Park

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The programming languages group in the Department of Computer Science at the University of Maryland, College Park is offering a post doctoral position in programming languages, with an

[TYPES/announce] Postdoctoral position in program analysis and security at the University of Maryland, College Park

emailed to the same addresses. Additional information -- Questions about this position should be directed to Jeff Foster (jfos...@cs.umd.edu) and Michael Hicks (m...@cs.umd.edu). For more information about the Maryland PL group, please visit http://www.cs.umd.edu/projects/PL

[TYPES/announce] PASTE 2011 Call for Participation, Lightning Talks, and Posters

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [PASTE welcomes submissions for lightning talks and posters on topics related to types.] 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)