The Coq mailing list

[Lorenzo Gheri <lor.gheri AT gmail.com>]

Hello,

at the group of Professor Nobuko Yoshida, University of Oxford,  we are hiring two Senior RAs (see ad below for detail).

If you are interested please get in touch!

Best,

Lorenzo

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

Two Senior Research Associates on Concurrent and Distributed Programming / Digital Security by Design

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://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

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

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, http://mrg.doc.ic.ac.uk/publications/zooid-paper/)

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

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

See https://mrg.cs.ox.ac.uk/

The candidate will work on either

Digital Security by Design (https://www.dsbd.tech/) projects

-- AppControl (https://dsbd-appcontrol.github.io/people.html)

-- Morello-HAT (https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X015955/1)  

or

-- POST (Yoshida's Established Career Fellowship Project)

-- Stardust (https://epsrc-stardust.github.io/)

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