I am applying -Justin On Friday, March 20, 2020 at 4:02:06 AM UTC-7, Anders Mörtberg wrote: > > The Department of Mathematics at Stockholm University invites > applications for PhD positions in Computational Mathematics. A > prospective student will have the opportunity to engage in exciting > research related to type theory, HoTT/UF, constructive mathematics, > programming language theory and category theoretic foundations. > > The student will be part of the newly founded Computational > Mathematics division. It will also be possible to collaborate with > other groups in the department, such as the Mathematical Logic group > (with experts on constructive mathematics and type theory like Per > Martin-Löf and Peter LeFanu Lumsdaine) and the Algebra, Geometry, > Topology, and Combinatorics group. > > For further information and instructions on how to apply see > > > https://www.su.se/english/about/working-at-su/phd?rmpage=job&rmjob=11944&rmlang=UK > > The deadline for application is April 23, 2020. > > Some potential project ideas can be found at > > > https://www.math.su.se/english/education/phd-studies/research-projects/possible-research-projects-in-computational-mathematics-1.430102#m%C3%B6rtberg > > If you are interested in applying and have any questions feel free to > contact me! > > -- > Anders Mörtberg > > https://staff.math.su.se/anders.mortberg/ >