Email Gateway (Aug 18 2022 at 12:37): Email Gateway (Aug 18 2022 at 12:37):From: Daniel Leivant <leivant@cs.indiana.edu>
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.
Last updated: May 03 2024 at 08:18 UTC