public inbox for categories@mta.ca
 help / color / mirror / Atom feed
* A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games"
@ 2022-12-30 10:16 Harsh Beohar
  0 siblings, 0 replies; only message in thread
From: Harsh Beohar @ 2022-12-30 10:16 UTC (permalink / raw)
  To: Harsh Beohar; +Cc: categories

** 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
£35,333 per annum
Closing Date: 4th February 2023

The post is supported by the EPSRC funded project “Quantitative
verification of software families based on coalgebraic modal logic and
games” (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/ ]


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-12-30 10:16 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-30 10:16 A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games" Harsh Beohar

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox