West Virginia University
Postdoctoral Associate Position in Theory (Computational Logic)

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.

West Virginia University (www.wvu.edu) is a comprehensive land-grant
research institution enrolling over 28,000 students in 113 degree
programs, including engineering and health sciences.

Interested candidates must send a letter of application, a CV and contact
information for at least three references to k.subramani@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 July 1.

West Virginia University is and affirmative action, equal opportunity
employer dedicated to building a culturally diverse and plurastic faculty
and staff committed to teaching and working in a multicultural environment.

Applications are strongly encouraged from women, minorities, individuals
with disabilities and covered veterans.