Phd advert, plus some news

_news.yaml

@@ -1,3 +1,11 @@
+- date: 14 February 2024
+  description:
+    We have a <a href="phd2024.html">PhD position available</a> with a start date of 1 October 2024.
+
+- date: 13 February 2024
+  description:
+    <a href="https://www.cs.ox.ac.uk/people/nobuko.yoshida/">Nobuko Yoshida</a> is visiting.
+
 - date: 29 January 2024
   description:
     Congratulations to Joe Collins for successfully passing his

_templates/default.html

@@ -34,10 +34,11 @@ <h2><a id="a-uos" href="http://www.strath.ac.uk/">University of Strathclyde</a><
             <div class="content">
                 {{content}}
             </div>
-
-            <div class="sidebar">
+              <div class="sidebar">
+                <h3>PhD position</h3>
+                <p>We have a <a href="phd2024.html">PhD position available</a> with a start date of 1 October 2024.</p>
                 {{contact}}
-            </div>
+              </div>
 
         </section>
         <div class="footer">

phd2024.html

@@ -0,0 +1,32 @@
+### default.html
+
+<h2>PhD Position: A Correct-by-Construction Approach to Approximate Computation</h2>
+
+
+<p>Applications are invited for a fully funded UK PhD studentship in the
+areas of type theory, category theory and/or logic, under the
+supervision of <a href="https://fredriknf.com">Dr Fredrik Nordvall Forsberg</a>, and Professors <a href="https://personal.cis.strath.ac.uk/neil.ghani/">Neil Ghani</a>
+and <a href="https://personal.cis.strath.ac.uk/r.mardare/">Radu Mardare</a>. The research will be part of the recently
+EPSRC-funded project <a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y000455/1">"A Correct-by-Construction Approach to
+Approximate Computation"</a>, which seeks to develop type-theoretic tools
+and frameworks for approximation.</p>
+
+<p>The position is for 3 years, with a start date of 1 October 2024. It
+includes both coverage of fees and an stipend, and is open to UK-based
+applicants.</p>
+
+<p>The successful applicant will become part of the Mathematically
+Structured Programming group at the University of Strathclyde. It is
+likely that you will also work with the other members in the group,
+which include Conor McBride, Robert Atkey, Clemens Kupke, Glynn
+Winskel, Jules Hedges, Guillaume Allais, and currently 10 PhD
+students. We are located in the city centre of Glasgow, with plenty of
+both culture and nature nearby. Scotland is a great place for
+theoretical computer science: we have active collaborations with
+researchers Edinburgh, Heriot-Watt, Glasgow and St. Andrews.</p>
+
+<p>Applications, requests for further information, and other informal
+enquiries can be sent
+to <a href="mailto:[email protected]">Fredrik
+Nordvall Forsberg</a>. If you are interested, please get in touch as
+soon as you can. We hope to appoint in early March.</p>