Logic List Mailing Archive

CfA: Postdoc in Theoretical Computer Science (HOMBRe Project), University of Birmingham (UK), deadline: rolling applications

**Postdoctoral Research Position in Theoretical Computer Science** at the University of Birmingham, UK

The University of Birmingham invites applications for a fully funded postdoctoral research position in Theoretical Computer Science. The position is funded by the German Research Foundation (DFG) and provides support for 18 months of full-time research, with a possible further extension by another 6 months.

The successful candidate will contribute to the project "Higher-Order Monad-based Programming and Reasoning (HOMBRe)", which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their generalizations as well as the semantics of iteration and recursion via trace operators, with particular interest in the notion of guarded traces.

The project welcomes a broad range of perspectives across functional-imperative programming, verification logics, and categorical semantics.

The position is open immediately and preferably to be filled as soon as possible. Applications will be considered on a rolling basis.

To apply, use the following link to the University's Job Portal: 
https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/jobs?keyword=105667&mode=location

Send your informal inquiries to Sergey Goncharov (S.Goncharov@bham.ac.uk)

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php