Here are a handful of examples of thesis proposals suitable for a project on master or bachelor level. Contact me for additional details and topics.
Worst-case complexity of model-checking in first-order logic.
Properties of Galois connections