---- 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, [email protected]. Candidates should submit a CV and a brief research statement to [email protected]. ************************************************************ ****************************** 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: http://www.cmu.edu/jobs/benefits-at-a-glance/index.html 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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PK84aPvrj9s9R36h_BWPJBZZQt0dgALzq%3DBc%2BPgCsC9w%40mail.gmail.com.
