categories - Category Theory list
 help / color / mirror / Atom feed
* Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
@ 2022-10-10 13:00 Fredrik Nordvall Forsberg
  0 siblings, 0 replies; 2+ messages in thread
From: Fredrik Nordvall Forsberg @ 2022-10-10 13:00 UTC (permalink / raw)
  To: categories

Dear friends,

The Department of Computer and Information Sciences at the University of
Strathclyde, Glasgow, is currently advertising permanent positions at
the Lecturer or Senior Lecturer level (Assistant and Associate Professor
respectively in American English) with an initial five-year reduced
teaching load:

https://www.jobs.ac.uk/job/CTO120/strathclyde-chancellors-fellow-in-computer-and-information-sciences-434447

The application deadline is *Sunday 23 October 2022*.

You will see that the ad asks for expertise connected with Trusted AI
and Data Analytics, but this should be understood broadly. In
particular, we believe that type theory, category theory and logic are
excellent technologies for establishing trust, and the Mathematically
Structured Programming group welcomes applications from type theorists,
dependently typed programmers, category theorists, and logicians; we
would be happy to help you develop an application. Please contact Head
of Department and fellow category theorist Neil Ghani
<neil.ghani@strath.ac.uk> if you are interested, or of course me or
anyone else from the group if you have questions. (I'm employed as a
Chancellor's Fellow, so would be happy to share my experience of this
particular position.)

You can find our group website at http://msp.cis.strath.ac.uk/ .

For opportunities to join us at more senior levels (Reader and
Professor), please contact Neil Ghani directly. We also have an opening
for our next Head of Department!

https://www.jobs.ac.uk/job/CTN847/head-of-department-and-professor-in-computer-and-information-services-479106

Best wishes,
Fredrik


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 2+ messages in thread
* Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
@ 2022-10-10 13:00 Fredrik Nordvall Forsberg
  0 siblings, 0 replies; 2+ messages in thread
From: Fredrik Nordvall Forsberg @ 2022-10-10 13:00 UTC (permalink / raw)
  To: coq-club-MZpvjPyXg2s, Agda mailing list,
	types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
	logic-o02PS0xoJP/q4qjOmvqfQQ,
	homotopytypetheory-/JYPxA39Uh5TLH3MbocFFw,
	categories-59hdLBrVOVU, spls-idqoXFIVOFIotOt06XmFvYXGvZO2VSpW

Dear friends,

The Department of Computer and Information Sciences at the University of
Strathclyde, Glasgow, is currently advertising permanent positions at
the Lecturer or Senior Lecturer level (Assistant and Associate Professor 
respectively in American English) with an initial five-year reduced 
teaching load:

https://www.jobs.ac.uk/job/CTO120/strathclyde-chancellors-fellow-in-computer-and-information-sciences-434447

The application deadline is *Sunday 23 October 2022*.

You will see that the ad asks for expertise connected with Trusted AI
and Data Analytics, but this should be understood broadly. In
particular, we believe that type theory, category theory and logic are 
excellent technologies for establishing trust, and the Mathematically 
Structured Programming group welcomes applications from type theorists, 
dependently typed programmers, category theorists, and logicians; we 
would be happy to help you develop an application. Please contact Head 
of Department and fellow category theorist Neil Ghani 
<neil.ghani-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> if you are interested, or of course me or 
anyone else from the group if you have questions. (I'm employed as a 
Chancellor's Fellow, so would be happy to share my experience of this 
particular position.)

You can find our group website at http://msp.cis.strath.ac.uk/ .

For opportunities to join us at more senior levels (Reader and 
Professor), please contact Neil Ghani directly. We also have an opening 
for our next Head of Department!

https://www.jobs.ac.uk/job/CTN847/head-of-department-and-professor-in-computer-and-information-services-479106

Best wishes,
Fredrik

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-10-10 13:00 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-10-10 13:00 Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct) Fredrik Nordvall Forsberg
  -- strict thread matches above, loose matches on Subject: below --
2022-10-10 13:00 Fredrik Nordvall Forsberg

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).