Login

Recent searches

No recent searches

Search options

Only available when logged in.
social.coop is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Fediverse instance for people interested in cooperative and collective projects. If you are interested in joining our community, please apply at https://join.social.coop/registration-form.html.

Administered by:

Server stats:

487
active users

social.coop: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

Public *
John Carlos Baez

Want to leave the US? Stockholm University is hiring PhD students in Computational Mathematics and Mathematics, and these positions are open to people with any nationality:

su.varbi.com/en/what:job/jobID
su.varbi.com/en/what:job/jobID

Application deadline: April 22

Please help spread the word to students who are interested in doing a PhD on type theory, HoTT, computer formalization of CS and math, constructive mathematics, etc. Note that PhD students here are employed with a salary and that the position comes with benefits. There are also no tuition fees.

If you are a student interested in doing a PhD with Anders Mörtberg, who works on higher inductive types using cubical type theory:

staff.math.su.se/anders.mortbe

you are welcome to apply to both positions above; just make sure you apply to the one in Computational Mathematics as that is the division he formally belongs to. Please also specify clearly that you want him as an advisor in your application (e.g. in your cover letter).

(1/2)

su.varbi.comPhD student in Computational MathematicsThe Department of Mathematics at Stockholm University has with its long tradition of excellent research a prominent place in Scandinavian mathematics. The department consists of three divisions: Mathe
ExploreLive feeds
About