[TYPES/announce] One PhD position for EU students at the University of Dundee, Scotland

[Marco Gaboardi]

One PhD position for EU students available at the University of Dundee, Scotland.

Contact
———————————
Marco Gaboardi - m.gaboardi at dundee.ac.uk

Profile
———————————
The specific topic for the studentship will depend on the interests and expertise of the potential candidate, but has to be related to at least two of the following areas: programming language semantics and implementation, type systems, quantitative analysis, language-based privacy and security, differential privacy, programming languages for machine learning, probabilistic models of computation, interactive theorem proving, model checking and program analysis tools.

The group
———————————
The Theory of Computation group focuses on research into different areas covering functional programming, program analysis, computational logic, machine learning, constraint programming, graph theory, algorithms and applications like privacy, security, complexity, optimisation, and artificial intelligence.

Requirements
———————————
The position is only for EU students. The ideal candidate must show a solid mathematical background and interest both in theoretical and practical works.
Previous experience in one or more of the areas described in the profile will be considered a plus.

Conditions
———————————
The studentship covers 3 years with a standard stipend of about £13-14k a year plus some eligible travel and consumables.

How to apply
———————————
The position is available immediately. Candidates must send a CV, contact details for two academic referees, and a motivation letter to Marco Gaboardi - m.gaboardi at dundee.ac.uk

The University of Dundee is a registered Scottish Charity, No: SC015096