PhD Project in the KWARC Research Group