Postdoctoral Associate position in computational logic, Morgantown WV (U.S.A.)

The Lane Department of Computer Science and Electrical Engineering invites applications for one postdoctoral position in the field of Computational Logic with an emphasis on certifying algorithms. Duties include design and development of certifying algorithms for problems in combinatorial optimization and logic.

Required qualifications include an earned Ph.D. in theoretical computer science (with an emphasis on logic) or applied mathematics or a closely related discipline.

Interested candidates must send a letter of application, a CV and contact information for at least three references to k.subramani at mail.wvu.edu. Review of completed applications will commence immediately and the positions will remain open until filled. A preliminary round of decisions will be made on June 1.

For more information, see http://www.lcsee.cemr.wvu.edu/news/news-details.php?item=1395