[PRL] Fwd: [TYPES/announce] formal methods hiring

[Mitchell Wand]

FYI:

---------- Forwarded message ----------
From: Daniel Leivant <leivant at cs.indiana.edu>
Date: Mon, Nov 17, 2008 at 9:08 PM
Subject: [TYPES/announce] formal methods hiring
To: types-announce at lists.seas.upenn.edu


[ 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.
-------------- next part --------------
HTML attachment scrubbed and removed