[isabelle] formal methods hiring

Indiana University Computer Science Department seeks applicants for jonior 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.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.