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

CC BY-SA 4.0
2018-10-09T10:59:45.243Z
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.
Jeffrey Shallit
CC BY-SA 4.0
2018-10-09T13:26:53.093Z
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).
holf
CC BY-SA 4.0
2018-10-10T06:50:20.010Z
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.
mip
<soft-question>
Automated theorem proving PhD
mip
# Automated theorem proving PhD

(Asked by: username_0 on 2018-10-09)

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

**Tags:** soft-question
> **Comments:**
> **username_1**: 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.  
> **username_2**: 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).  
> **username_0**: 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.  

---

## 0 answers

