Research opportunity at Kent

[S.Thompson]

Come and join us on the STARDUST research project at @UniKentComp, led by Dr Laura Bocchi

The key idea is to combine the structuring mechanism of session types with the scalability and fault-tolerance of actor-based software.

Apply here: https://jobs.kent.ac.uk/VM/Applications.aspx?jobId=3869

The School of Computing wishes to appoint a qualified and highly motivated researcher to work as a Research Associate funded by an EPSRC UK grant led by Dr Laura Bocchi titled 'Session Types for Reliable Distributed Systems' (STARDUST).

 The broad goal of this research is to build programming language theory and practice for reliable concurrent and distributed systems. The key idea is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance of actor-based software architectures.

The successful candidate will be supported by two supervisors at Kent: one expert in session types (Dr Laura Bocchi) and one expert in actor-based languages (Prof Simon Thompson). The role will involve collaboration with the STARDUST project partners: the research groups of Prof Simon Gay and Prof Phil Trinder (University of Glasgow) and Prof Nobuko Yoshida (Imperial College London), and industry partners Actyx AG, Erlang Solutions Ltd, Lightbend, Quviq AB, and Tata Consultancy Services.

The post holder will contribute to:

• the formalization of communication protocols, their properties, and recovery strategies
• the implementation of tools for static/dynamic verification of reliable actor-based programs
• case studies and evaluation
To be successful in this role you will:

• Hold a PhD (or nearing completion of study for one) or equivalent, in computer science, with research interests in programming languages
• Have a good grasp of type systems and typed programming language definitions
• Have research experience in either programming language theory or experience
• Have experience of presenting to academic audiences
You are encouraged to contact the principal investigator by email (L.Bocchi@REDACTED<mailto:L.Bocchi@REDACTED>) if you have any further questions about the post, or you would like a copy of the full research application for the project.




Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson@REDACTED<mailto:s.j.thompson@REDACTED> | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt<http://www.cs.kent.ac.uk/~sjt>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20220209/b9afeeeb/attachment.htm>