I supervise some CST courses at Cambridge, for example:
I am happy to supervise Part II/III projects, either suggested by me (to be added), or if you have a proposal that aligns with both of our interest, feel free to reach out to me (contact details on the homepage). In general I am interested in systems projects such as distributed algorithms, database systems or operating systems. To get an idea of the past work that I have done, have a read of the hypermnesia or erlog projects I have done.