[FOM] Postdoc in Logic and Formal Methods at Carnegie Mellon

Jeremy Avigad avigad at cmu.edu
Fri Dec 15 13:23:20 EST 2017

The logic group in the Department of Philosophy at Carnegie Mellon
University seeks a postdoctoral researcher for a project in formal
verification, dynamical systems, and constructive analysis, beginning
August 2018. There are no teaching duties, and the position is for one
academic year with a possibility of renewal.

Candidates should have a PhD and research experience in a related area, and
a desire to collaborate with the existing research group, which consists of
several faculty members, postdocs, and graduate students. Background in
interactive theorem proving or other uses of formal methods is desired.

Questions about the position may be directed to Jeremy Avigad,
avigad at cmu.edu.

Candidates should submit a CV and a brief research statement to
CMUPhilosophy at andrew.cmu.edu.

More Information:
Please visit “Why Carnegie Mellon” to learn more about becoming part of an
institution inspiring innovations that change the world.
A listing of employee benefits is available at:
Department URL:  https://www.cmu.edu/dietrich/philosophy/
Primary Location:  United States-Pennsylvania-Pittsburgh
Time Type: Full Time
Minimum Education Level: Doctorate or equivalent
Salary: According to Experience
Carnegie Mellon University does not discriminate in admission, employment,
or administration of its programs or activities on the basis of race,
color, national origin, sex, handicap or disability, age, sexual
orientation, gender identity, religion, creed, ancestry, belief, veteran
status, or genetic information.  Furthermore, Carnegie Mellon University
does not discriminate and is required not to discriminate in violation of
federal, state, or local laws or executive orders.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20171215/a05b503c/attachment.html>

More information about the FOM mailing list