112 proof-checking-postdoc-computer-science-logic PhD research jobs in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Employer
- ;
- University of Cambridge
- University of Oxford
- University of Newcastle
- University of Sheffield
- AALTO UNIVERSITY
- University of Birmingham
- University of Liverpool
- Imperial College London
- University of Nottingham
- ; University of Bath
- Aston University
- Brunel University
- Heriot Watt University
- KINGS COLLEGE LONDON
- King's College London
- Liverpool John Moores University
- Loughborough University
- THE HONG KONG POLYTECHNIC UNIVERSITY
- UNIVERSITY OF SURREY
- University of Glasgow
- University of Leicester
- University of Wolverhampton
- 13 more »
- « less
-
Field
-
• Strong interest in interdisciplinary research Qualifications Research Assistant • Honours degree in (Biology, Neuroscience, Computer Science, Engineering, Mathematics, or related area) In addition
-
in both research and education with other UCL departments, including computer science, engineering, economics, psychology, public policy, statistics and medical sciences. About the role The UCL School
-
-level degree in Mathematics or Computer Science with an orientation towards Theoretical Computer Science. A strong background in logic and complexity theory is highly desirable and the candidate must
-
-level degree in Mathematics or Computer Science with an orientation towards Theoretical Computer Science. A strong background in logic and complexity theory is highly desirable and the candidate must
-
Salary Range £31,637 - £37,174 per annum School/Department Computer Science and Mathematics Liverpool John Moores University (LJMU) is a distinctive, unique institution, rooted in the Liverpool City
-
includes projects in biomedical instrumentation, experimental hardware automation and programming, and computational science. Scientific publications in a relevant area are considered a significant benefit
-
Department of Computer Science and Technology for a fixed term of one year. The Research Associate will play a pivotal role in our research into the teaching and learning computing at the school level. Key
-
, and Internet-of-Things / Industry 4.0 technologies. Knowledge of computer science principles and modern AI approaches in computer vision and/or time series analysis is a plus. The position requires
-
allowance pro rata This is a fixed term appointment for 12 months with extension possible subject to Funding. The London School of Economics and Political Science (LSE) is committed to building a diverse
-
engineering. Applicants are expected to have (or be close to obtaining) a PhD in information engineering, computer science, civil engineering or cognate discipline. They should also have good written and spoken