Strathclyde Chancellor’s Fellow in Mathematical Structured Programming

Department: Computer and Information Sciences

Who we are 

Great minds. Innovative solutions. 

We are the University of Strathclyde. Our vision is innovative and groundbreaking, placing us amongst the world’s leading international technological universities. We are vibrant, dynamic and passionate about solving the challenges facing society and industry through our cutting-edge, multi-disciplinary research, education and knowledge-exchange with global partners.  

We are seeking to appoint extraordinary early career academics who complement our strategic themes.   

Our department 

The Department of Computer and Information Sciences (CIS) is an internationally recognised research department specialising in information science, artificial intelligence, computer security, health informatics, interactive systems, and theoretical computer science. It is home to around 900 undergraduates, taught postgraduate and PhD students with an increasing emphasis on in person and online delivery of high-quality educational programmes. CIS is working closely with industry through a growing portfolio of education and knowledge exchange projects supported by the Scottish Funding Council Innovation Centres, like the DataLab and the Digital Health and Care Institute and Innovate UK. 

The opportunity 

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. 

Application Procedure  

To apply, click the s1jobs APPLY button to visit Strathclyde’s vacancies portal and provide: 

• A fully completed application form 
• A cover letter 
• A CV; and 
• A 5-year Strathclyde research plan which outlines your vision, aligned to our strategic plan and highlights any existing or future opportunities for collaborative initiatives. (maximum 4 pages). 

Further Information  

Informal enquiries about the post can be directed to Dr Fredrik Nordvall Forsberg, Senior Lecturer (fredrik.nordvall-forsberg@ strath.ac.uk). 

For more information, or to contact a Strathclyde colleague who would love to talk to you about this opportunity, visit our Global Talent website.