[TYPES/announce] faculty positions in PL & formal verification at Stevens (NYC area)

David Naumann naumann at stevens.edu
Mon Dec 19 10:01:25 EST 2016

We seek to fill four tenure-track faculty positions.  Formal verification is 
one of the primary areas of interest, along with programming languages, 
security, and others.

Stevens Institute of Technology is a small private university located in 
Hoboken, New Jersey.  The Department of Computer Science is in a phase of 
significant and sustained growth.

For further information:



More information about the Types-announce mailing list