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