Logic List Mailing Archive

Postdoctoral Associate position in computational logic, Morgantown WV (U.S.A.), Deadline: 1 June 2010

West Virginia University
Postdoctoral Associate Position in 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 June 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.