From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10887 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Harsh Beohar Newsgroups: gmane.science.mathematics.categories Subject: A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games" Date: Fri, 30 Dec 2022 10:16:23 +0000 Message-ID: Reply-To: Harsh Beohar Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="662"; mail-complaints-to="usenet@ciao.gmane.io" Cc: To: Harsh Beohar Original-X-From: majordomo@rr.mta.ca Sat Dec 31 04:25:54 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pBSVN-000AQV-W3 for gsmc-categories@m.gmane-mx.org; Sat, 31 Dec 2022 04:25:54 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:38010) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pBSUz-0005zF-6A; Fri, 30 Dec 2022 23:25:29 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pBSUa-0004VP-G6 for categories-list@rr.mta.ca; Fri, 30 Dec 2022 23:25:04 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10887 Archived-At: ** Apologies if you receive multiple copies of these open positions ** Applications are invited for a fully funded postdoc/research associate post in Computer Science at the University of Sheffield. Job Reference Number: UOS035797 Job Title: Research Associate in Quantitative Verification Contract Type: Fixed term until 30.11.2024 Faculty: Faculty of Engineering Department: Department of Computer Science Salary: Grade 7 =C2=A335,333 per annum Closing Date: 4th February 2023 The post is supported by the EPSRC funded project =E2=80=9CQuantitative verification of software families based on coalgebraic modal logic and games=E2=80=9D (EP/X019373/1) headed by the PI Dr. Harsh Beohar. For any queries, please do not hesitate to contact me at h.beohar@sheffield.ac.uk; for a more detailed advertisement, please visit the department website (https://www.sheffield.ac.uk/dcs/about/jobs) and search using the reference number: UOS035797. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]