Friday, April 23, 2010

[DMANET] Postdoctoral position in Certifying algorithms

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.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************