* (Senior) Lecturer Position @ Strathclyde (assist/assoc professor) in Mathematically Structured Programming (logic/category theory/type theory/formal and mechanised maths)
[not found] <LO0P265MB5569C6EE20BC62900B6C4721DF2A2@LO0P265MB5569.GBRP265.PROD.OUTLOOK.COM>
@ 2024-11-29 16:36 ` Clemens Kupke
0 siblings, 0 replies; only message in thread
From: Clemens Kupke @ 2024-11-29 16:36 UTC (permalink / raw)
To: categories
[-- Attachment #1: Type: text/plain, Size: 4483 bytes --]
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-programming<https://url.au.m.mimecastprotect.com/s/8FxdCZY146s5QgL5nhzfyHBjD4N?domain=jobs.ac.uk>
=================================================================
The 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/<https://url.au.m.mimecastprotect.com/s/uavZC1WLjwsMqGoMwhGhEHVkYr5?domain=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/<https://url.au.m.mimecastprotect.com/s/dSPeC2xMRkUp83XpocBiAH5S7Y2?domain=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.
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
[-- Attachment #2: Type: text/html, Size: 12929 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-11-29 18:52 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <LO0P265MB5569C6EE20BC62900B6C4721DF2A2@LO0P265MB5569.GBRP265.PROD.OUTLOOK.COM>
2024-11-29 16:36 ` (Senior) Lecturer Position @ Strathclyde (assist/assoc professor) in Mathematically Structured Programming (logic/category theory/type theory/formal and mechanised maths) Clemens Kupke
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).