faculty position in logic

[Sincere apologies for duplicates] Indiana University invites applications for a tenure-track assistant professor position in applied logic. Please see www.informatics.indiana.edu/positions/logic.html for details. Applications received within the next few weeks are likely to still get full consideration. Applicants are welcome to email to foc@cs.indiana.edu to notify of their mailed application, and to provide pointers to any pertinent on-line documentation.