Research Fellow - multiple positions (FTC) (SCI174425)
University of Nottingham, The Park, City of Nottingham
Research Fellow - multiple positions (FTC) (SCI174425)
Salary not available. View on company website.
University of Nottingham, The Park, City of Nottingham
- Full time
- Temporary
- Onsite working
Posted 5 days ago, 29 Jun | Get your application in now to be included in the first week's applications.
Closing date: Closing date not specified
job Ref: a929251ed1f04b698a1c783d47892be4
Full Job Description
SCI174425Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and proof assistants. The current project aims to make progress in the field of dependent type theory and, in particular, in homotopy type theory, by exploring which statements can be expressed in which setting, and what the mathematically necessary assumptions are.There are 2 positions available for this vacancy. The successful applicants will contribute to the development of results in the field of dependent type theory and related areas. In particular, this will involve proving theorems with pen and paper, possibly mechanising them in a a proof assistant (such as Agda), writing and submitting publications, and presenting results in local seminars as well as at international conferences. The role holders will have the opportunity to travel to internaional events in order to create new
connections with other experts in the field. The role holders will be part of the Functional Programming Lab in Nottingham and have the opportunity to join, contribute to, or organise local activities.The role holders will work with and under the mentorship of Prof Nicolai Kraus. Apart from contributing to existing research projects, they will also be expected to also advance their own independent research career. They will have the opportunity to guide and mentor more junior members of the group.Candidates are expected to have a good background in dependent type theory and category theory. They should hold a PhD or be close to completing a PhD in computer science, mathematics, or a related area with a topic close to type theory or constructive mathematics. Expertise can be evidenced through publications (including preprints), talks, projects, work openly accessible in git repositories, or in any other way.This is a fixed-term, full time position. The posts will be
£31,637 to £46,735 per annum, depending on skills and experience (minimum £35,116 with relevant PhD). Salary progression beyond this scale is subject to performance.Closing Date
