Salary:
Grade 7, £40,497 - £45,413;
Grade 8, £49,559 - £57,422;
Grade 9, £59,139 - £66,537 per annum.
This post is full-time and is offered on an open-ended basis.
In areas throughout society, such as healthcare, finance, e-commerce, crime prevention, education, manufacturing and entertainment, algorithms, processes and systems are being built around the use of AI in order to make predictions, recommendations and decisions. Yet often little is understood about the theoretical and foundational properties of these systems that may impact on our lives.
We are seeking applications from individuals whose research focuses on the formal analysis of such AI systems, with the aim of proving that these systems are responsible, unbiased, trustworthy, secure and robust against adversarial behaviour. These proof techniques could include, but are not limited to, formal verification (including model checking, theorem proving and SMT solving), formal theories to understand AI optimisation, generalisation, and internal representations, and may involve proving properties about the underlying deep neural networks.
The successful applicant will be a member of the Formal Analysis, Theory and Algorithms (FATA) section, whose members are engaged in world-leading research on formal methods, programming language foundations and algorithms. It is expected that the post-holder will collaborate closely with the Information, Data and Analysis (IDA) section, which includes four world-leading research groups in data systems, human-computer interaction & machine learning, information retrieval, and computer vision & autonomous systems, as well as with the GLAsgow Systems Section (GLASS), which includes expertise in cybersecurity and adversarial AI.
Particular areas where collaboration would be welcomed are computer vision, information retrieval, natural language processing and inference, and cybersecurity. There are also opportunities to collaborate with colleagues in the School of Mathematics and Statistics, where research on Foundational AI is being actively pursued.
Purely as a guide, candidates might typically have published in conferences such as ICML, NeurIPS, ICLR, CAV, CADE and AAAI, and in journals such as JMLR, Machine Learning, Artificial Intelligence, TOCL and JAR.
The postholder will develop, lead and sustain research of international standard in Computing Science; contribute to teaching, assessment, project supervision and curriculum design at undergraduate and postgraduate levels; and participate in School management and organisation. We expect that the postholder will contribute to teaching for the BSc / MSci degree programme in Artificial Intelligence, which the School intends to introduce in September 2026.
For appointment at Reader you will have an outstanding track record of national and international distinction and leadership in research, including publications, income, and awards, bringing external recognition and distinction to yourself and the University.
For more information about this position, please contact:
Professor David Manlove (david.manlove@glasgow.ac.uk)
How to apply:
Please note that as part of your application you must supply the following documents appended to your cover letter.
A failure to do this may mean that you are not shortlisted for interview.
Closing date: 30th April 2025
We believe that we can only reach our full potential through the talents of all. Equality, diversity and inclusion are at the heart of our values. Applications are particularly welcome from across our communities and in particular people from the Black, Asian and Minority Ethnic (BAME) community, and other protected characteristics who are under-represented within the University. Read more on how the University promotes and embeds all aspects of equality and diversity within our community www.gla.ac.uk/myglasgow/humanresources/equalitydiversity
We endorse the principles of Athena Swan
www.gla.ac.uk/myglasgow/humanresources/equalitydiversity/athenaswan
and hold bronze, silver and gold awards across the University.
We are investing in our organisation, and we will invest in you too.
The University of Glasgow, charity number SC004401.
Location: | Glasgow |
---|---|
Salary: | £40,497 to £66,537 Grade 7/8/9, per annum |
Hours: | Full Time |
Contract Type: | Permanent |
Placed On: | 27th March 2025 |
Closes: | 30th April 2025 |
Job Ref: | 169711 |
Type / Role:
Subject Area(s):
Location(s):
Your PhD alert has been successfully created for this search.
Your job alert has been successfully created for this search.
Ok OkYour PhD alert has been successfully created for this search.
Your job alert has been successfully created for this search.
Manage your job alerts Manage your job alertsIn order to create multiple job alerts, you must first verify your email address to complete your account creation
Request verification email Request verification emailIn order to create multiple alerts, you must create a jobs.ac.uk jobseeker account
Create Account Create AccountUnfortunately, your account is currently blocked. Please login to unblock your account.
We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.
A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert
Manage your job alerts Manage your job alertsWhen you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice
When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice
A maximum of 500 Saved Jobs can be created against your account. Please remove an existing Saved Job in order to add a new Saved Job.
Manage Saved Jobs