The Department of Computer and Information Sciences (CIS) seeks to appoint a Chancellors Fellow in Mathematically Structured Programming. We welcome applications from candidates with expertise in a range of topics in the mathematical foundations of computer sciences and applications, such as:
* Logic, including modal and temporal logic, model checking, and proof theory;
* Category theory, including categorical semantics, and applied category theory;
* Type theory and functional programming, including semantics, metatheory, and implementation;
* Formal and mechanised mathematics, including certified programming and the use and implementation of proof assistants.
You will join the vibrant Mathematically Structured Programming group, which is internationally renowned for its research in the mathematical foundations of programming languages. We see the mathematical foundations of computation and programming as inextricably linked, and study one so as to develop the other. This reflects the symbiotic relationship between mathematics, logic, and programming — any attempt to sever this connection will diminish each component. We have a strong partnership with the Scottish Programming Languages Institute, and our work finds impact through our productive links with industry.
As a highly motivated scholar, you will contribute to the research, teaching, and administrative activities of the group and the wider department. We expect you to have ambitious academic goals, and an understanding of how to bring in the grant income required to fund those goals.
The University of Strathclyde is a socially progressive institution that strives to ensure equality of opportunity and celebrates the diversity of its student and staff community. Strathclyde is people-oriented and collaborative, offering a supportive and flexible working culture with a deep commitment to our equality, diversity and inclusion charters, initiatives, groups and networks.
We strongly encourage applications from Black, Asian and minority ethnicity, women, LGBT+, and disabled candidates and candidates from lower socio-economic groups and care-experienced backgrounds.
You’ll be rewarded with:
* Growth of your research portfolio
* Reduced teaching load and limited administrative duties over the initial years of your Fellowship
* Support through our academic career development framework to gain feedback on your performance, meet your training needs and enhance your effectiveness – allowing you to be ready for promotion within 5-years of your appointment
* Mentoring, to help you establish a balance of research, teaching, knowledge exchange and citizenship responsibilities while enhancing your leadership qualities to support your long-term career.
** Your Fellowship will normally be at lecturer level (exceptionally, at senior lecturer (Grade 9) (£58,596 - £65,814) where you have a strong track record in research leadership) for 5 years, with the expectation that you’ll meet our promotion criteria within that period and be transferred to senior lecturer (or, where you’ve been appointed as a senior lecturer, Reader) level.*
Bob Atkey (Nov 21 2024 at 15:18):