Logic List Mailing Archive

CfA: PhD-position in Logic and Complexity, Sheffield (UK), Deadline: 1 July 2024

*******************************************************
* PhD position in Quantitative logics and complexity theory
* University of Sheffield, UK
* Fully funded for 3.5 years (both UK Home and International rates)
* Possible times to start: preferably Autumn 2024
*******************************************************


I am looking for a motivated PhD student to join the Foundations of Computa
tion group (https://www.sheffield.ac.uk/cs/research/groups/foundations-comp
utation) of The University of Sheffield (https://www.sheffield.ac.uk/cs). T
he topic of the PhD project is quite flexible, but should relate to my curr
ent research directions in quantitative logics and complexity theory. Here 
possible directions are temporal logics, logical foundations of neural netw
orks, and logical foundations of database theory (for more details: https:/
/www.findaphd.com/phds/project/quantitative-logics-and-complexity-theory/?p
172593).

This PhD studentship will fund the full (UK or Overseas) tuition fee and pr
ovide a tax-free stipend at the standard UKRI rate (currently 19,237 for
 2024/25) for 3.5 years. In addition, both the Department and research grou
p provide funding for attending conferences.

Interested candidates are encouraged to contact me directly by email for fu
rther details (j.t.virtema@sheffield.ac<mailto:j.t.virtema@sheffield.ac>.uk
). For more details on the possible topics, the candidate may refer to my r
ecent works at http://www.virtema.fi/.

Best wishes,
Jonni
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php