Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD and PostDoc positions available in LIX & I...


view this post on Zulip Email Gateway (Aug 19 2022 at 13:55):

From: Dale Miller <dale@lix.polytechnique.fr>
Two postdoctoral positions and two PhD student positions are available
within the LIX laboratory of Ecole Polytechnique. These positions,
which are supported by the ERC Advanced Grant ProofCert, are offered
by the Parsifal research team at INRIA-Saclay.

The scientific goal of ProofCert is to design a framework for proof
certificates that can capture the proof evidence within all major
theorem provers while also being checkable by a simple, declarative
proof checker. We are looking for people with a range of interests
and expertise, ranging from proof theory, linear logic, and the
lambda-calculus to automated deduction and logic and functional
programming.

If you are interested in a PhD position, submit a

- cover letter with your CV,
- pdf files (or links) to material you have written, and
- names of 2-3 people willing to write a recommendation letter for you.

If you are interested in a postdoctoral position, submit a

- cover letter with (links to) your CV and publication list.
Additional material, such as letters of recommendation, will be
requested as necessary.

- Candidates who do not have a PhD at the time of their application
should provide their planned defense date and the composition of
the thesis committee.

All inquiries and application material should be sent to Dale Miller
(dale.miller at inria.fr). We hope to have positions start in October
2014 but there is some flexibility with the exact start dates.

We plan to make decisions on these position as early as April 21, 2014
and will continue until the positions are filled.

For more information about ProofCert, Parsifal, and LIX, see
http://team.inria.fr/parsifal/.


Last updated: Mar 28 2024 at 16:17 UTC