[TYPES/announce] Two Senior Research Fellows on Concurrent and Distributed Programming, and Quantum Computing

[Nobuko Yoshida]

Two Senior Research Fellows on Concurrent and Distributed Programming, and Quantum Computing

Department of Computer Science, University of Oxford

Reference: 173097
Starting date: as soon as possible
Grade 8: £45,585-£54,395 per annum
Closing Date: 05-Jul-2024 12:00
Link: https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2331-full.html__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTEiPL4vN4$ 

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

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

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. theoretical computer science such as verification, formal semantics, type theory, concurrency theory or automata theory;
2. mechanisation (Coq, Isabelle, Agda, etc);
3. programming language design and implementation; or
4. Quantum computing (verification, concurrent processes, software engineering)

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:

-- programming languages (Rust, Go, Scala, Haskell, OCaml, ...)

-- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc)
  * ITP'24, https://urldefense.com/v3/__https://github.com/ekiciburak/sessionTreeST/tree/itp2024__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTEm_kC468$ 
  * PLDI'21 Zooid, https://urldefense.com/v3/__http://mrg.doc.ic.ac.uk/publications/zooid-paper/__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTENJKGR3o$ 

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

-- quantum computing (theory, verification, and software); and

-- other applications of session types such as security, blockchains and Cyber-Physical Systems

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

The candidate will work on either

-- POST (Yoshida's Established Career Fellowship Project)
-- TaRDIS (https://urldefense.com/v3/__https://www.project-tardis.eu/__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTEEDjdel8$ ); or
-- VSL-Q (Verified Simulation for Large Quantum Systems)

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<mailto: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/20240603/4fa6a840/attachment-0001.htm>