Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 5 permanent positions (lecturer, senior lectur...


view this post on Zulip Email Gateway (May 13 2021 at 22:36):

From: "Roggenbach M." <m.roggenbach@swansea.ac.uk>
5 Permanent Posts at Swansea University, UK - Closing Date: 13-06-2021

* LECTURER/ SENIOR LECTURER IN COMPUTER SCIENCE (RESEARCH) - https://tinyurl.com/SU-CSresearch2021<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftinyurl.com%2FSU-CSresearch2021&data=04%7C01%7CM.Roggenbach%40Swansea.ac.uk%7Cc016bcb6d0d140ca4d4a08d9151eb650%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637564043908496393%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=AgQOmCecHLn3GtNPpZFqqr7S72TEyEuxhCBs9EteKhY%3D&reserved=0>
* ASSOCIATE PROFESSOR - COMPUTER SCIENCE (RESEARCH) - https://tinyurl.com/SU-CSresearchAP2021<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftinyurl.com%2FSU-CSresearchAP2021&data=04%7C01%7CM.Roggenbach%40Swansea.ac.uk%7Cc016bcb6d0d140ca4d4a08d9151eb650%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637564043908506350%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=hITqd1KriXZPaZh7rn2j4MPLb0NPgXTp1FW8sgxFoXg%3D&reserved=0>
* LECTURER/SENIOR LECTURER IN COMPUTER SCIENCE (TEACHING) - https://tinyurl.com/SU-CSteaching2021<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftinyurl.com%2FSU-CSteaching2021&data=04%7C01%7CM.Roggenbach%40Swansea.ac.uk%7Cc016bcb6d0d140ca4d4a08d9151eb650%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637564043908506350%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=i7nrpEswPrwRnPkc2ayLNh%2BcpzeBTreA3yw4DxP%2FOfs%3D&reserved=0>

Swansea University is seeking to appoint motivated individuals to enhance our research and learning and teaching within Computer Science.
The research focus can be in any area of Computer Science. The Department of Computer Science at Swansea boasts one of the largest Theory groups in the UK. Over the past 50 years, Swansea theoreticians have made seminal discoveries in the theories of data, algorithms, processes, languages and verification.

Informal enquiries can be sent to Prof M Roggenbach (Director of Research): M.Roggenbach@swansea.ac.uk<mailto:M.Roggenbach@swansea.ac.uk>


Last updated: Jul 15 2022 at 23:21 UTC