4 of 4 Permanent Applied Mathematics Jobs in Glasgow

researcher who believes this too — and who wants to spend their time proving it. You will work at the frontier of applied mathematics and AI systems design, translating deep theoretical insights into the formal foundations of our platform. Key Responsibilities Develop and formalise the categorical structures underlying … engineers working on formal methods Engage with the academic community on behalf of Kodamai at conferences and workshops Qualifications and Requirements PhD in mathematics, theoretical computer science, or a closely related field Deep expertise in category theory — functors, natural transformations, adjunctions, monads, and beyond Published research or demonstrable original ...

Research Fellow in Applied AI for the Energy Transition University of Glasgow – College of Science & Engineering – James Watt School of Engineering Location: Glasgow Salary: £50,253 to £58,225 per annum (Grade 8) Hours: Full Time Contract Type: Fixed-Term/Contract Placed On: 30th October 2026 Closes … offshore engineering is not required. We welcome applications from candidates in machine learning, artificial intelligence, computer science, statistics, data science, engineering, applied mathematics, physics or a closely related discipline. The successful candidate will undertake research in physics-informed machine learning, uncertainty quantification, predictive modelling and geospatial data ...

University of Glasgow invites applications for a Research Fellow in Applied AI for the Energy Transition in the James Watt School of Engineering, Glasgow. You will work on physics-informed machine learning to advance subsurface … characterisation for offshore renewable energy and net-zero projects. Applicants from machine learning, AI, computer science, statistics, data science, engineering, or applied mathematics are welcome. #J-18808-Ljbffr ...

formalise categorical structures for its agent orchestration model, translating theory into practical system designs. You will work at the frontier of applied mathematics and AI systems, publishing in academic venues and guiding junior researchers. The role emphasizes deep category theory expertise, strong mathematical communication, and a drive ...