[TYPES/announce] Vacancy Assistant Professor Software Technology Utrecht University (1, 0 fte)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Assistant Professor Software Technology Utrecht University (1,0 fte)Job descriptionThe division Software Systems of the Department of Information and Computing Sciences is looking for an

[TYPES/announce] Research position at Cornell

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for an {OCaml, Coq} programmer supporting the Frenetic Project. See the following URL or the text below for further details:

[TYPES/announce] Assistant Professor position at the University of Chicago

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Our search in systems this year includes formal definition, design, and implementation of programming languages (i.e., programming language foundations). The posting can be found at

[TYPES/announce] Modularity Visions - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** MODULARITY '14 Modularity Visions *** MODULARITY '14 13th International Conference on Modularity April 22-26,