The Coq mailing list

[Burak Ekici <ekcburak AT hotmail.com>]

Dear all,

We are seeking two senior researchers to work on UKRI/EPSRC-funded projects within a research programme that includes collaboration with several companies and organisations. Find details below.

Please contact Nobuko Yoshida (nobuko.yoshida AT cs.ox.ac.uk), University of Oxford, if you would like to apply for the position and have informal discussions.

Best,

―

Burak.

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

      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://www.cs.ox.ac.uk/news/2331-full.html
      
     
     
      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 on 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://github.com/ekiciburak/sessionTreeST/tree/itp2024
      
        * PLDI'21 Zooid, http://mrg.doc.ic.ac.uk/publications/zooid-paper/
      
     
      -- 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 robotics 
     
      See https://mrg.cs.ox.ac.uk/ 
     
      The candidate will work on either 
     
      -- POST (Yoshida's Established Career Fellowship Project) 
      -- TaRDIS (https://www.project-tardis.eu/);
      or 
      -- VSL-Q (Quantum Computing: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y005244/1)
      
     
      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