Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Two Open Positions (Senior Research Associate)...

Email Gateway (Mar 31 2023 at 12:47):

From: Lorenzo Gheri <lor.gheri@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@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@cs.ox.ac.uk)
Christopher Strachey Chair of Computing
University of Oxford

Last updated: Jan 04 2025 at 20:18 UTC