You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Nov 30 2024 at 00:47):From Clemens Kupke (clemens.kupke@strath.ac.uk) on the category theory mailing list:
The University of Strathclyde is hiring a Chancellor’s Fellow in Mathematically Structured Programming. This is a permanent academic position with reduced teaching load and limited administrative duties over the initial years for you to build a research portfolio. Please feel free to contact me or any other member of the Mathematically Structured Programming research group if you have any questions.
Location: Glasgow, Scotland, UK
Salary: £41,421 to £56,921 (Grade 8); £58,596 to £65,814 (Grade 9)
Hours: Full Time
Contract Type: Permanent
Closes: 5th January 2025
More details, and to apply: https://www.jobs.ac.uk/job/DKR108/strathclyde-chancellors-fellow-in-mathematically-structured-programmingThe Department of Computer and Information Sciences at the University of Strathclyde 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 (https://msp.cis.strath.ac.uk/ ), 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 (https://spli.scot/ ), 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. Your Fellowship will normally be at lecturer level (Grade 8) for 5 years, with the expectation that you'll meet our promotion criteria within that period and be transferred to senior lecturer. Exceptionally, where you have a strong track record in research leadership, you can be appointed at senior lecturer level (Grade 9), with expected promotion to Reader within 5 years.
The University of Strathclyde is socially progressive and offers a supportive and flexible working culture. As a Department we have had exceptional recent successes across all of our activities, so you will be joining a energetic, happy, friendly and forward looking department keen to do more. We are committed to equality and diversity and work hard to ensure equal participation and equality of opportunities for all. The CIS department was recently awarded the Athena Swan Bronze level award. We strongly encourage applications from Black, Asian and minority ethnicity, women, LGBTQIA+, disabled candidates, candidates from lower socio-economic groups, and care-experienced backgrounds.