MSP Group<p>Hey You'se!</p><p>Applications for PhD scholarships (UK students fully funded, international students part funded) in Computer & Information Sciences at Strathclyde are *open*.</p><p>Details on applications within <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@mspstrath" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mspstrath</span></a></span> are here:</p><p><a href="https://msp.cis.strath.ac.uk/phd2025-JARSS.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">msp.cis.strath.ac.uk/phd2025-J</span><span class="invisible">ARSS.html</span></a></p><p>*Deadline* 25th November, 2024.</p><p>Please share!</p><p><a href="https://mastodon.acm.org/tags/dependent_types" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dependent_types</span></a> <a href="https://mastodon.acm.org/tags/type_theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>type_theory</span></a> <a href="https://mastodon.acm.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.acm.org/tags/FormalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalMethods</span></a> <a href="https://mastodon.acm.org/tags/Coalgebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coalgebra</span></a> <a href="https://mastodon.acm.org/tags/functional_programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional_programming</span></a> <a href="https://mastodon.acm.org/tags/homotopy_type_theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>homotopy_type_theory</span></a> <a href="https://mastodon.acm.org/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.acm.org/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mastodon.acm.org/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a> <a href="https://mastodon.acm.org/tags/HumanFactors" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HumanFactors</span></a></p>