[TYPES/announce] formal methods hiring

[Daniel Leivant]

The Indiana University Computer Science Department seeks applicants for 
junior and senior positions, with Formal Methods as one of the target 
areas.  Please see www.cs.indiana.edu/hiring/facultylist.html for 
details and on-line application.

While the stated closing date is December 31, applications are already 
actively considered, and interested people are urged to apply as soon as 
possible.