PhD Studentship, Hybrid Techniques in Quantifier Elimination