*Formal Methods*Educational Resources

Formal Methods Education Resources

Employment Information

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


There are two categories of employment listings:

  • Position Announcements: links to specific positions related to formal methods. The listings may include academic, industrial, and government positions, as well as doctoral and postdoctoral positions.
  • Employer Information : information about employers who regularly hire in formal methods.
  • You may submit a job announcement or submit information about an employer using our on-line forms. To update your entry, please contact the repository administrator (listed in the page footer)


    This site is currently maintained by Kathi Fisler
    Department of Computer Science, Worcester Polytechnic Institute
    Last updated on Saturday, 24-Jun-2006 21:48:14 EDT
    Acknowledgements