Marco Paviotti<p>Dear all, </p><p>I am looking for a <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> student to work on (any subset of) these topics: <br><a href="https://mathstodon.xyz/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semantics</span></a>, <a href="https://mathstodon.xyz/tags/domaintheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>domaintheory</span></a>, <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>categorytheory</span></a> <a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typetheory</span></a> and <a href="https://mathstodon.xyz/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> programming. </p><p>Deadline for application is 15th of February 2025.</p><p>Please get in touch if interested, here's the official call: <a href="https://www.kent.ac.uk/scholarships/search/FN15COMPGR01" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">kent.ac.uk/scholarships/search</span><span class="invisible">/FN15COMPGR01</span></a></p>