Please submit only announcements for positions related to formal methods. The maintainer will reject announcements for positions not related to formal methods.

Hiring Organization:

Hiring Organization URL (optional):

Position Location (City and Country):

Announcement or Project URL (optional):

Contact Person:

Contact Person Email (optional):

Please classify the position:

Short-Term: Undergrad Internship   Graduate Internship   Sabbatical

Academic: Faculty Position   Postdoctoral   Doctoral   Academic Research

Industrial: Industrial Research   Industrial Development   Industrial Applications

Government: Government Research   Government Development   Government Applications

Other

(optional) Position closes at the end of   Month January February March April May June July August September October November December   2003 2004 2005

After closing   remove post from listings   move post to "expired" area
(Leaving your post on-site helps illustrate the range of available positions in formal methods)

Email address of submitter (required - please double check before submitting):