[TYPES/announce] PhD and Postdoc positions: cyclic proof theory and coinductive reasoning

[Liron Cohen]

We are looking for excellent PhD candidates and postdocs to join our project on cyclic proof theory and coinductive reasoning. The positions are available in the Computer Science Department at Ben-Gurion University in Israel.
This is a joint research effort involving Ben-Gurion University, Royal Holloway University of London, and the University of Sheffield.

The aim of the project is to use cyclic proof theory to push forward the state-of-the-art in the formal treatment of coinduction. Another related goal of the project is to fully integrate cyclic (implicit) reasoning into current verification tools, focusing on interactive theorem provers.

We invite applications for *funded PhD and postdoc positions* in the field of cyclic proof theory, coinduction and automated reasoning. Depending on background and interests of the candidates, possible research foci are: developing a concise logical framework for coinduction; studying structural proof theory of cyclic systems for coinduction; implementing cyclic proof machinery into modern proof assistants; improving the foundations of cyclic proofs with a focus on soundness and modular reasoning.

Successful candidates are likely to have efficient communication skills in English, as well as a track record of research expertise in a subset of the following topics:

* Proof theory
* Inductive and coinductive reasoning
* Use of proof assistants (eg, Coq or HOL\Isabelle)

The positions are available immediately, start dates are flexible. Both positions include reimbursement for travel expenses to conferences and there is no teaching load.

The funds for the PhD position are available for 4 years. The funds for the postdoc position are available for one year in the first instance with the possibility of extension.

The complete application consists of the following documents, which should be sent as a single PDF file to the email address given below:

* CV (including list of publications)
* One-page cover letter (indicating available start date, relevant qualifications, experience, and motivation)
* Up to three letters of recommendation
* University certificates and transcripts (BSc, MSc, and Ph.D. degrees, if applicable)

Application deadline: October-20-2021.

Informal inquiries are welcome and should be directed to Dr. Liron Cohen (cliron at cs.bgu.ac.il<mailto:cliron at cs.bgu.ac.il>).



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210914/396f3255/attachment.htm>