|Salary:||£30,502 to £42,155 per annum|
|Placed On:||24th November 2022|
|Closes:||5th January 2023|
The post is full time and has funding for up to 12 months.
Applications are invited for a Research Assistant/Associate to make a leading contribution to the research project "From Whiteboards to Models: Diagrammatic Formal Modelling for Everyone" funded by Amazon Research. The project emphasises putting theory into practice by developing new tools for diagrammatic system modelling and developing the links between Milner's bigraphs and other areas of theoretical computer science.
You will gain experience in diagrammatic formal modelling, particularly bigraphs, under the guidance of Dr Sevegnani and Dr Archibald. This role requires experience in creating high quality research software, formal modelling, and verification. Knowledge of category theory, probabilistic verification, rewrite systems, graph theory, and OCaml is beneficial but not essential.
The candidate will work on BigraphER (https://uog-bigraph.bitbucket.io/) and/or other related projects.
For more information on the University of Glasgow’s, School of Computing Science, please visit https://www.gla.ac.uk/schools/computing/
For more information and to apply online: https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=103528
Closing date: 5 January 2023
It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment.
We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equality.
The University of Glasgow, charity number SC004401.
Type / Role: