[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]),
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
([email protected])
Christopher Strachey Chair of Computing
University of Oxford
