While searching for literature on the group theory of Rubik's Cube, I mostly find introductions to group theory motivated by applications to Rubik's cube. I.e. the focus lies on elementary group theory while the cube is just superficially treated.
Is there also literature for people already familiar with group theory, who wants to study the cube in detail?
Thanks in advance!
You want to look at the book
The focus of the book is not exclusively the cube, but this is discussed in detail, and a few of the remaining open problems are listed as well. A generous bibliography is provided, pointing to some of the classical works that first studied the cube seriously from a group theoretic point of view, notably
Joyner is an advocate for Open Source, and he has written programs in Sage to look at the cube in detail.
Besides this, you may want to look at the paper
This paper discusses fairly recent work trying to optimize the needed number of moves. Shortly after the paper was written, Roricki, Kociemba, Davidson, and Dethridge proved (with the aid of computers, and extending the approach of the paper) that $20$ moves is the largest number required (in the half-turn metric). This is discussed in their website, God's number is $20$.