Sort by
Refine Your Search
-
Listed
-
Field
-
area Software Engineering The objective of this project is to design automated approach to detect bugs in various software, e.g., compilers, data libraries and so on. The project may involve LLMs
-
error messages often produced by compilers. However, tools exist (such as those that take advantage of constraint solvers to resolve types) that can offer a much finer grained level of feedback about the
-
the RACE for 2030 Collaborative Research Centre and Planet Ark Power is the Industry Partner on the project. This PhD will be completed through a PhD by publication/compilation or thesis with a minimum of
-
multi-objective optimisation, (3) optimisation and user interaction, (4) optimisation in the context of knowledge compilation (e.g. computing smallest representations of AI and ML systems), (5) problems