Research Associate
1 day ago
Applications are invited for a Research Associate post to carry out research on Large Language Models (LLMs) for Lattice-theoretic Reasoning of Reactive Programs. The position is funded for up to 18 months.
**Role**:
You will work on the synthesis of novel refinement propositions and proofs obtained via state-of-the-art theorem provers and model-checkers. There will be a need to develop novel synthesis algorithms that can scale. There will be a need to fine-tune foundational models using the produced datasets and to evaluate their performance on benchmark problems. Novel reasoning techniques integrating LLMs and state-of-the-art provers will be developed, and there will be a need to formally justify their soundness. You will liaise with academics in the project and participate in the writing of papers.
You will have the opportunity to further extend and develop your knowledge of formal methods, software engineering, and artificial intelligence whilst within the role.
**Skills, Experience & Qualification needed (these can be taken from the person specification)**:
You will have a PhD in formal methods, and experience on modelling and proof of algebraic refinement propositions using CSP, and their mechanisation in FDR. Experience with use of theorem proving using Isabelle, and usage of Large Language Models (LLMs), including fine-tuning, is highly desirable. You will have experience with an object-oriented and or functional programming language.
Interview date: To be confirmed
The University strives to be diverse and inclusive - a place where we can ALL be ourselves.
We offer family friendly, flexible working arrangements, with forums and inclusive facilities to support our staff. #EqualityatYork
-
Research Associate
3 days ago
University of York, United Kingdom University of York Full time**Research Associate** Geographies of exclusion and inclusion: A comparative investigation of families’ abilities to provide emotional support to young people **Department** This is an exciting opportunity to join an experienced and supportive research team in the Department of Social Policy and Social Work at the University of York. We are looking for...
-
Research Associate
1 week ago
University of York, United Kingdom University of York Full time**Department**: The School for Business and Society is a research intensive and research-led teaching school, based on influential scholarship, international profile and strong links with external organisations.The School is uniquely placed to lead business and public policy action to tackle complex social and environmental issues and deliver sustainable...
-
Research Associate
1 day ago
University of York, United Kingdom University of York Full time**Department**: The Department of Physics is at the forefront of pioneering global research and technological advancement in our world leading research centres, focused around biophysics, condensed matter physics, nuclear physics, and plasma physics and fusion energy at the York Plasma Institute. As a Department we strive to provide a working environment...
-
Research Associate
7 days ago
University of York, United Kingdom University of York Full time**Department** This is an exciting opportunity to join an experienced and supportive research team in the Department of Social Policy and Social Work at the University of York. We are looking for a skilled Research Associate to work on a study funded by the NIHR Policy Research Programme on unmet substance misuse treatment need among crack and heroin users,...
-
Research Associate
3 days ago
University of York, United Kingdom University of York Full timeThe Department of Psychology at the University of York is seeking a full-time Postdoctoral Research Associate to work under the supervision of Dr Lusine Grigoryan on a project funded by the European Research Council (ERC) Starting Grant “The many faces of prejudice: the “what”, the “why”, and the “how” of inferences we make from membership in...
-
Research Associate
1 week ago
University of York, United Kingdom University of York Full timeThe Department of Computer Science at York is internationally recognised for excellence in teaching, research, and industry engagement. Its strong reputation is reflected in recent achievements, including 11th place in the UK for research quality (REF 2021) and 12th in the Complete University Guide 2023. **Role**: The Postdoctoral Research Associate will...
-
Research Associate
2 weeks ago
University of York, United Kingdom University of York Full time**Department**: The Cognition and Mental Health Lab, led by Dr Alex Pike, at the Department of Psychology, University of York is seeking a Postdoctoral Research associate for 23 months. **Role**: The post holder will work on a Springboard grant awarded to the PI, Dr Alex Pike, entitled ‘Understanding the relationship between eating disorders,...
-
Research Associate
1 week ago
University of York, United Kingdom University of York Full time**Department**: This post will be based within the Mental Health and Addictions Research Group at the Department of Health Sciences at the University of York. The group includes a team of researchers working on health economic evaluations in mental health and interventions in the field tobacco, alcohol and drug addiction. Recent studies have included...
-
Research Associate
7 days ago
University of York, United Kingdom University of York Full time**Department**: The School for Business and Society is the largest academic unit at the University of York. Housed in the Church Lane Building, this innovative merger between the York Management School and Social Policy and Social Work Department brings together the work of almost 300 academic and professional support staff. The School wishes to recruit a...
-
Research Associate
3 days ago
University of York, United Kingdom University of York Full time**Department**: The Mental Health and Addiction Research Group (MHARG) at the Department of Health Sciences, University of York, is looking to appoint a Research Associate to play a leading role in a new research study funded by NIHR aiming to develop an intervention to help nurses improve the assessment and care of the sexual health needs of men with...
