Logic List Mailing Archive

PhD student positions and postdoctoral positions in cyclic proof theory, Beersheba (Israel), London (England), Sheffield (England), Deadline: 20 Oct 2021

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@cs.bgu.ac.il<mailto:cliron@cs.bgu.ac.il>).


--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam