I am looking for a PhD student to work on the topics of parallelism in automated theorem proving/ machine-learning in automated theorem proving. For more details, email me directly.