If you're looking for a specific thesis' project, here are some ideas:

1. Reading experiments on higher-order reasoning
2. Modeling quantifier verification