* Formal Methods * Educational Resources

Formal Methods Education Resources

Job Announcement Submission Form

Main Page | Courses | Examples | Readings | Position Papers | Instructional Materials | Tools | Jobs | Submit

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

Position Title:

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


Job description:

(optional) Position closes at the end of    

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):

This site is currently maintained by Kathi Fisler
Department of Computer Science, Worcester Polytechnic Institute
Last updated on Saturday, 05-Jul-2003 21:26:45 EST