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

[David Naumann]

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:

https://academicjobsonline.org/ajo/jobs/8608

http://cra.org/job/stevens-institute-of-technology-multiple-tenure-track-positions-in-computer-science/