[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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.

Reply via email to