[Proof Complexity] PhD Studentship at the University of Bath

[Raheleh Jalali]

Dear all,

Applications are invited for a fully funded PhD studentship at the
University of Bath. The successful candidate will work on the project
"Expressiveness and Complexity in Proof Systems", under the supervision of
Raheleh Jalali and James Davenport. Both UK and international applicants
are welcome to apply. You can find full details about the project and how
to apply here:

https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-expressiveness-and-complexity-in-proof-systems/?p187696


If you know any bright and motivated students who might be interested, I
would really appreciate it if you could share this opportunity with them
and encourage them to get in touch with me.

Thank you very much in advance for spreading the word.

Best regards,
Raheleh.