I'm looking for a university where I can do doctoral studies in automated theorem proving / computational algebra. Any ideas? Thank you!

  • 4
    $\begingroup$ Step 1: find recent papers on your subject of interest using Google scholar or MathSciNet. Step 2: identify institution of authors of these papers. Step 3: write authors individually by e-mail and ask this question. $\endgroup$ – Jeffrey Shallit Oct 9 '18 at 10:59
  • 2
    $\begingroup$ Make sure that you give more motivations than simply asking for a PhD position. Show that you are genuinely interested in their research and explain why you like this particular area. I periodically receive generic applications for a PhD with me from people who just do not even know what I am doing so I consider such emails as spam and never bother to reply. I will always reply to someone with good reasons to apply with me though (even if I do not have any available position). $\endgroup$ – holf Oct 9 '18 at 13:26
  • $\begingroup$ I always like to study mathematics from the perspective of automated reasoning. I have never been good at solving math problems in a certain time but I always thought that the process of solving a problem can be automated. $\endgroup$ – mip Oct 10 '18 at 6:50

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.