Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD position on model checking of functional p...

Email Gateway (Dec 18 2024 at 13:12):

From: Harsh Beohar <harshbeohar@gmail.com>
Dear colleagues,

We are pleased to announce that a PhD project is open with Dr. Charles
Grellois (primary supervisor) and Dr. Harsh Beohar at the University
of Sheffield.

The title is the following: “Model-Checking of Functional Programs:
from Theory to a Theorem Prover Implementation” (3.5 years).

For more details on the project and how to apply, please visit:

https://www.findaphd.com/phds/project/model-checking-of-functional-programs-from-theory-to-a-theorem-prover-implementation-s3-5-com-grellois/?p178032

Candidates are encouraged to get in touch by email. The application
deadline for applicants is 5pm Wednesday 29th January 2025.

Please disseminate to potential candidates.

Best wishes,
Charles and Harsh

Last updated: Jan 04 2025 at 20:18 UTC