PhD Position in CS, Computational Mathematics; Tropical Quantifier Elimination with Real Implications- UK

PhD position at Bath University, UK in the Faculty of Science URSA Project: Tropical Quantifier Elimination with Real Implications. Candidates must have a First Class or upper Second Class UK Honours degree (or equivalent) in the relevant subject. A Master’s degree will be considered an advantage.
Check out the English Language requirements for Non-UK applicants of the university here: https://www.bath.ac.uk/corporate-information/postgraduate-research-degrees-english-language-requirements-for-international-students/