PhD Studentship: Folding groups, monoids and complexes with applications to step traces

Overview

The project will use geometric, topological and language theoretic tools to understand discrete infinite groups and monoids, and study algorithmic problems modelled on them; in particular to study subgroups, quotients and homomorphisms of groups given by presentations, building on recent advances and successes in the theory of groups acting on non-positively curved complexes. The methods will be applied first to RAAG’s, then to graph products of groups, traces and subsequently larger, less tractable, classes of groups and monoids. These theoretical results will provide a frame-work for applications to concurrent systems: Petri nets, traces and step traces.

Number Of Awards

1

Start Date

September 2022

Award Duration

3 years

Sponsor

The Leverhulme Foundation

Supervisors

Dr Andrew Duncan

Eligibility Criteria

Candidates should have/expect a 2:1 honours degree in mathematics or computing, or an international equivalent.

Applicants whose first language is not English require a minimum of IELTS 6.5 overall with 5.5 in each subsection.

This studentship covers the Home tuition fee amount. We are happy to receive applications from international applicants, however they must be able to cover the difference between Home and International fees.

How To Apply

You must apply through the University’s online postgraduate application system.

You will need to:

·        Insert the programme code 8080F in the programme of study section

·        Select ‘PhD Mathematics - Pure Mathematics’ as the programme of study

·        Insert the studentship code MSP056 in the studentship/partnership reference field

·        Attach a covering letter and CV. The covering letter must state the title of the studentship, quote reference code MSP056 and state how your interests and experience relate to the project

·        Attach degree transcripts and certificates and, if English is not your first language, a copy of your English language qualifications.