[TYPES/announce] Two Senior Research Associates on Concurrent and Distributed Programming / Digital Security by Design

[Nobuko Yoshida]

Department of Computer Science, University of Oxford

Reference:  164137
Starting date: as soon as possible
Grade 8: Salary £43,414 - £46,047 p.a.
Closing Date: 28-Apr-2023 12:00


Please contact with Nobuko Yoshida (nobuko.yoshida at cs.ox.ac.uk),
University of Oxford, if you would like to apply to the position to
have informal discussions.

Details:
https://urldefense.com/v3/__https://my.corehr.com/pls/uoxrecruit/erq_jobspec_version_4.display_form?p_company=10&p_internal_external=E&p_display_in_irish=N&p_process_type=&p_applicant_no=&p_form_profile_detail=&p_display_apply_ind=Y&p_refresh_search=Y&p_recruitment_id=164137__;!!IBzWLUs!Qdq6Wkm1wQIKy3TDrmA7IpdiHiECZ95RqUd23mr3M0FSOXILIolj0CGm_YlZhVgNJsI1ggTqIqbUJpvefPsDv2MPhvg1ZCO-NwxKTXLhtzc$ 

------------------------------------------------------------

We are looking for two senior researchers to work on the projects of
UKRI/EPSRC with The research programme includes collaboration with several companies and organisations.

Candidates for the senior research associate positions will need to have expertise in either:

1. programming language design and implementation; or
2. theoretical computer science such as verification, formal semantics, type theory, concurrency theory or automata theory; or
3. mechanisation (Coq, Isabelle, Agda, etc)

(The projects cover a wide range of subjects hence no knowledge of
session types is required.)

The focus of our group is theories and their applications which include:

-- Go, Rust, TypeScript, Scala, F*, F#, Haskell, OCaml, Java, MPI-C and Python;

-- mechanisation of session types meta-theory (Coq, Isabelle, Agda,
etc) (cf. PLDI'21 Zooid, https://urldefense.com/v3/__http://mrg.doc.ic.ac.uk/publications/zooid-paper/__;!!IBzWLUs!Qdq6Wkm1wQIKy3TDrmA7IpdiHiECZ95RqUd23mr3M0FSOXILIolj0CGm_YlZhVgNJsI1ggTqIqbUJpvefPsDv2MPhvg1ZCO-NwxK-FJSZVQ$ )

-- verification, automata theories, linear logic and concurrency theory; and

-- other applications of session types such as blockchains and
robotics

See https://urldefense.com/v3/__https://mrg.cs.ox.ac.uk/__;!!IBzWLUs!Qdq6Wkm1wQIKy3TDrmA7IpdiHiECZ95RqUd23mr3M0FSOXILIolj0CGm_YlZhVgNJsI1ggTqIqbUJpvefPsDv2MPhvg1ZCO-NwxKf_oQoCA$ 

The candidate will work on either

Digital Security by Design (https://urldefense.com/v3/__https://www.dsbd.tech/__;!!IBzWLUs!Qdq6Wkm1wQIKy3TDrmA7IpdiHiECZ95RqUd23mr3M0FSOXILIolj0CGm_YlZhVgNJsI1ggTqIqbUJpvefPsDv2MPhvg1ZCO-NwxKPVvVb9A$ ) projects

-- AppControl (https://urldefense.com/v3/__https://dsbd-appcontrol.github.io/people.html__;!!IBzWLUs!Qdq6Wkm1wQIKy3TDrmA7IpdiHiECZ95RqUd23mr3M0FSOXILIolj0CGm_YlZhVgNJsI1ggTqIqbUJpvefPsDv2MPhvg1ZCO-NwxKMZl-6IU$ )
-- Morello-HAT (https://urldefense.com/v3/__https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP*X015955*1__;Ly8!!IBzWLUs!Qdq6Wkm1wQIKy3TDrmA7IpdiHiECZ95RqUd23mr3M0FSOXILIolj0CGm_YlZhVgNJsI1ggTqIqbUJpvefPsDv2MPhvg1ZCO-NwxKjcUaFaw$ )

or

-- POST (Yoshida's Established Career Fellowship Project)
-- Stardust (https://urldefense.com/v3/__https://epsrc-stardust.github.io/__;!!IBzWLUs!Qdq6Wkm1wQIKy3TDrmA7IpdiHiECZ95RqUd23mr3M0FSOXILIolj0CGm_YlZhVgNJsI1ggTqIqbUJpvefPsDv2MPhvg1ZCO-NwxKEduiP24$ )



The candidate is welcome to discuss the details about the above project(s)
with the contact person:

Professor Nobuko Yoshida, University of Oxford
(nobuko.yoshida at cs.ox.ac.uk)
Christopher Strachey Chair of Computing
University of Oxford

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230330/8dcba888/attachment-0001.htm>