25 proof-checking-postdoc-computerscience Postdoctoral positions at ; in United Kingdom
Sort by
Refine Your Search
-
completion) prior to taking up the appointment. The research requires experience in synthetic organic chemistry, medicinal chemistry (including but not limited to compound optimisation for in vivo proof
-
has been accepted, the successful candidate will be required to undergo a standard Disclosure and Barring Service check. We welcome applications from individuals who wish to be considered for part-time
-
develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types for the verification of safety, adaptability and resilience
-
generous holiday entitlement, competitive pension schemes, staff discounts, and family-friendly initiatives. Check out the full list on our staff benefits page (opens in a new tab) and use our reward
-
. You will be required to upload a covering letter/supporting statement, including a brief statement of research interests (describing how past experience and future plans fit with the advertised position
-
plans fit with the advertised position), CV and the details of two referees as part of your online application. The Department holds an Athena Swan Bronze award, highlighting its commitment to promoting
-
of the online application. The covering letter should outline how you match the criteria for the post and why you are applying for this role. If you upload any additional documents which have not been requested
-
application. The covering letter should outline how you match the criteria for the post and why you are applying for this role. If you upload any additional documents which have not been requested, we will not
-
to upload a covering letter/supporting statement, including a brief statement of research interests (describing how past experience and future plans fit with the advertised position), CV and the details
-
past experience and future plans fit with the advertised position), CV and the details of two referees as part of your online application. The Department holds an Athena Swan Bronze award, highlighting