University of Bristol - School of Physiology, Pharmacology and Neuroscience
Senior Research Associate in Types for Incorrectness
University of Bristol - School of Physiology, Pharmacology and Neuroscience, Bristol, Connecticut, us, 06010
Senior Research Associate in Types for Incorrectness
Join to apply for the
Senior Research Associate in Types for Incorrectness
role at
University of Bristol - School of Physiology, Pharmacology and Neuroscience
We are looking for a Senior Research Associate to join a team researching a new and exciting foundation for static type systems as part of the 3‑year project
Types for Incorrectness , led by Dr. Steven Ramsay.
This is an opportunity to lead the investigation of the algorithmic aspects of these systems and the design and implementation of prototype tools for Erlang or Elixir. You will engage with our project partners to understand how Erlang/Elixir developers can use program analyses for bug finding and ultimately turn the theory of two‑sided type systems into a tool that can benefit the community.
What you will be doing
Designing and analysing algorithms for type inference.
Designing and analysing type systems suitable for bug finding.
Implementing prototype static analysis tooling.
Authoring research papers suitable for venues in programming languages.
Conducting case studies to evaluate potential impact.
Engaging with the Erlang/Elixir community on relevant practical aspects of the project.
What you need
A PhD in programming languages, logic, formal verification or a related field.
Experience building programming language tooling (compilers, interpreters, program analysis tools, synthesis tools, or documentation generators).
Background in formal aspects of programming language theory such as operational semantics, type systems, or program logics.
Excellent written and verbal communication skills, able to explain technical concepts to academic and non‑academic audiences.
Enthusiasm for building a tool that programmers will really use and value.
Additional information Please contact cs-exec@bristol.ac.uk or steven.ramsay@bristol.ac.uk for informal queries.
Contract type: Open ended with fixed funding until 28/02/2029.
Work pattern: Full time.
Grade: J.
Salary: £43,482 - £50,253 per annum.
This advert will close at 23:59 UK time on Monday 24th November 2024.
The University of Bristol aims to be a place where everyone feels able to be themselves and do their best in an inclusive working environment where all colleagues can thrive and reach their full potential.
#J-18808-Ljbffr
Senior Research Associate in Types for Incorrectness
role at
University of Bristol - School of Physiology, Pharmacology and Neuroscience
We are looking for a Senior Research Associate to join a team researching a new and exciting foundation for static type systems as part of the 3‑year project
Types for Incorrectness , led by Dr. Steven Ramsay.
This is an opportunity to lead the investigation of the algorithmic aspects of these systems and the design and implementation of prototype tools for Erlang or Elixir. You will engage with our project partners to understand how Erlang/Elixir developers can use program analyses for bug finding and ultimately turn the theory of two‑sided type systems into a tool that can benefit the community.
What you will be doing
Designing and analysing algorithms for type inference.
Designing and analysing type systems suitable for bug finding.
Implementing prototype static analysis tooling.
Authoring research papers suitable for venues in programming languages.
Conducting case studies to evaluate potential impact.
Engaging with the Erlang/Elixir community on relevant practical aspects of the project.
What you need
A PhD in programming languages, logic, formal verification or a related field.
Experience building programming language tooling (compilers, interpreters, program analysis tools, synthesis tools, or documentation generators).
Background in formal aspects of programming language theory such as operational semantics, type systems, or program logics.
Excellent written and verbal communication skills, able to explain technical concepts to academic and non‑academic audiences.
Enthusiasm for building a tool that programmers will really use and value.
Additional information Please contact cs-exec@bristol.ac.uk or steven.ramsay@bristol.ac.uk for informal queries.
Contract type: Open ended with fixed funding until 28/02/2029.
Work pattern: Full time.
Grade: J.
Salary: £43,482 - £50,253 per annum.
This advert will close at 23:59 UK time on Monday 24th November 2024.
The University of Bristol aims to be a place where everyone feels able to be themselves and do their best in an inclusive working environment where all colleagues can thrive and reach their full potential.
#J-18808-Ljbffr