Logo

The Society for the Study of Artificial Intelligence and Simulation of Behaviour

Home About Contact Membership Committee Convention Publications Travel Awards and Grants Weekly Bulletin Events

AISB opportunities Bulletin Item

Postdoctoral Associate position in computational logic, Morgantown WV


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.

Advertising within the Weekly Bulletin

Our weekly bulletin is emailed to all our members who have not opted out from it. It typically contains conference calls and job advertisements. This is a free service. If you wish to place an item in the bulletin please email the contents in plain text to bulletinXX at aisb dot org dot uk where XX are the last two digits of the year number.

We would really appreciate it if organisers of conferences and workshops advertised in the weekly bulletin were prepared to put up an AISB poster or place a few AISB flyers on a table somewhere. If you would be willing to do this please indicate as such when you send us your bulletin item.