[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
([email protected]<mailto:[email protected]>).
