University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Part-time Research Associate in the Centre for Software Security and Assurance

Applications for this vacancy closed on 10 January 2018 at 12:00PM
THIS VACANCY IS FOR INTERNAL APPLICANTS ONLY



We have an opening for a part-time (0.4 FTE) Research Associate until 31 May
2018 on the project “Centre for Software Security and Assurance”. This is a
project led by Korea University (Seoul), in which Oxford is a participating
organisation, to investigate vulnerability discovery technologies.



The postholder will undertake research in theoretical computer science to
investigate the application of logic, programming language theory, and
category theory, to probability theory and statistics.



The postholder will need to have sufficient experience in the areas of logic
(e.g. proof theory), programming language theory (e.g. lambda calculus), and
category theory (e.g. monads, distributive laws), and basic probability
theory. This is the primary essential selection criterion.



The postholder will also need to hold a doctoral degree (or be close to
completion) in computer science, mathematics, or a related discipline.



The closing date for applications is 12.00 noon on 10 January 2018.

dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2018-01-10 12:00:00+00:00
vacancy:applicationOpeningDate
2018-01-03 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
True
vacancy:salary
type
comment
THIS VACANCY IS FOR INTERNAL APPLICANTS ONLY



We have an opening for a part-time (0.4 FTE) Research Associate until 31 May
2018 on the project “Centre for Software Security and Assurance”. This is a
project led by Korea University (Seoul), in which Oxford is a participating
organisation, to investigate vulnerability discovery technologies.



The postholder will undertake research in theoretical computer science to
investigate the application of logic, programming language theory, and
category theory, to probability theory and statistics.



The postholder will need to have sufficient experience in the areas of logic
(e.g. proof theory), programming language theory (e.g. lambda calculus), ...

THIS VACANCY IS FOR INTERNAL APPLICANTS ONLY


We have an opening for a part-time (0.4 FTE) Research Associate until 31 May 2018 on the project “Centre for Software Security and Assurance”. This is a project led by Korea University (Seoul), in which Oxford is a participating organisation, to investigate vulnerability discovery technologies.


The postholder will undertake research in theoretical computer science to investigate the application of logic, programming language theory, and category theory, to probability theory and statistics.


The postholder will need to have sufficient experience in the areas of logic (e.g. proof theory), programming language theory (e.g. lambda calculus), ...

label
Part-time Research Associate in the Centre for Software Security and Assurance
notation
132821
based near
page