- You will work on proofs that often lie beyond the current capabilities of automated provers, helping to map the frontier of what formal verification can express, capture, and automate.
-
We partner with the world's leading AI research teams and labs to build and train cutting-edge AI models.<Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research., · ,Translate informal mathematical proofs into Lean (and related proof systems) with a ...
Glasgow $70 - $150 (USD)3 weeks ago
- Work in company
Lecturer – Building Services Engineering – HVRAC Commercial and Industrial Installation, Service & Maintenance (Electrical Installation) 1 FTE / 35 Hours per week - Permanent
Only for registered members
· The post holder will support excellence in learning through the preparation and delivery of high quality learning, teaching and assessment materials and by supporting learners. · Key Responsibilities · They will work closely and supportively with other colleagues and partner ...
Glasgow1 week ago
-
Police Scotland's purpose is to improve the safety and wellbeing of people, places · and communities. Our vision is safer communities, · less crime, · sponsored victims · and thriving workforce. · The role of HR Advisor provides end-to-end support and delivery for key organisa ...
Glasgow, Scotland1 month ago
-
Employee Relations Consultant – 6 Month InsideIR35 Contract (£350-£400) - Glasgow/Edinburgh · Location: · Glasgow or Edinburgh (Hybrid) · Contract: · 6 month contract via umbrella · Our client, a major UK utilities organisation, is looking to bring on an experienced mid–senior Em ...
Glasgow, Scotland1 week ago
-
We are looking for a finance operational analyst to bridge the gap between our data silos and production reality.You will be responsible for hunting down data across various platforms automating reports using Python working directly with production team to build processes where n ...
Glasgow2 weeks ago
- Work in company
Lecturer – Building Services Engineering – HVRAC Commercial and Industrial Installation, Service
Only for registered members
The post holder will support excellence in learning through the preparation and delivery of high quality learning, teaching and assessment materials and by supporting learners. · ...
Glasgow, Scotland1 week ago
-
The purpose of Police Scotland's 2030 vision is to give everyone in the organisation a common goal to get behind. · Provide end-to-end support and direct delivery for key organisational development initiatives. · Leverage, interpret, and analyse data from appropriate sources incl ...
Glasgow1 month ago
-
The Leadership and Team Development HR Advisoris a hands-on position dedicated to improving the collective capability of Police Scotland through effective leadership and team development solutions.The primary activities of this role are focused on three pillars: Leadership develo ...
Glasgow1 month ago
-
· Company Description · At Turner & Townsend we're passionate about making the difference. That means delivering better outcomes for our clients, helping our people to realize their potential, and doing our part to create a prosperous society. · Every day we help our major globa ...
Glasgow, United Kingdom, United Kingdom £38,000 - £65,000 (GBP) per year2 days ago
-
We're passionate about making the difference. That means delivering better outcomes for our clients, helping our people to realize their potential, and doing our part to create a prosperous society. · Due to increased opportunities and demand in the Energy & Natural Resources div ...
Glasgow1 month ago
-
This is a once-in-a-generation opportunity to help reshape how bus services are planned and delivered across the West of Scotland. · You will be part of a small expert team acting as SPT's intelligent client, providing the insight, analysis and judgement needed to design future b ...
Glasgow, Scotland1 month ago
-
The leadership and team development HR advisor role in Police Scotland involves improving the collective capability of the organization through effective leadership and team development solutions. The primary activities focus on three pillars: leadership development management & ...
Glasgow1 month ago
-
The purpose of Police Scotland's 2030 vision is to give everyone in the organisation a common goal to get behind, and to support strategic decision making around what the Service invests in and what our priorities are. · The HR Advisor role profile is intentionally broad,Police S ...
Glasgow1 month ago
-
We are seeking an Operations Development Expert to join our rapidly expanding team based at the Advanced Research Centre on the University of Glasgow campus. · ...
Glasgow1 month ago
-
At Turner & Townsend we're passionate about making the difference. · Every day we help our major global clients deliver ambitious and highly technical projects, · in over 130 countries worldwide.Degree qualified in relevant discipline · Working towards a professional qualificatio ...
Glasgow, Scotland1 month ago
-
OCS UK & Ireland is a leading facilities management company with 50,000+ colleagues and a turnover in excess of £2bn. We deliver innovative, award-winning services within facilities management, · Main Purpose: Work as a member of the on-site Facilities Services Team, · Work withi ...
Glasgow, Scotland1 month ago
-
An exciting opportunity has arisen for an Accreditation and Reputation Coordinator to join the Adam Smith Business School. · ...
Glasgow, Scotland1 month ago
-
+The retail Sales and Service Technician (SST) is a unique hybrid role for stores and is intended as a key pipeline for future career-growth within Firestone Complete Auto Care. · + · Customer service, sales, customer issue resolution- 75%. · Basic vehicle service tasks, oil, tir ...
United States $14.40 - $21.51 (USD) Full time3 weeks ago
-
Discover a career in your hands at HMRC. Whether you're seeking purpose, growth, or a workplace that gives you a true sense of belonging, hear from some of our employees as they share their story about what it's really like to work at HMRC. · Providing expert advice to employees ...
Greater Glasgow Area1 month ago
-
We are seeking an experienced and highly motivated HR Co-ordinator to join our team in Glasgow although Edinburgh could be considered. · Recruitment & Onboarding: liaising with agencies; drafting job descriptions and adverts; · Graduate Recruitment: attending law fairs; reviewing ...
Glasgow1 month ago
-
We are seeking an experienced and highly motivated HR Advisor to join our team in Glasgow although Edinburgh could be considered. · You will support our HR Manager in delivering a seamless service to Partners and employees. You will play a key role in supporting the HR Manager to ...
Glasgow1 month ago
Advanced Mathematics Formalizer Role - Glasgow - beBeeFormalization
1 week ago
Job title: Researcher - Lean 4 & Formal Proof Systems
Description
Mathematical Researcher Opportunity
This is a challenging and rewarding role for experienced mathematicians who are passionate about formal verification and proof assistants. As a mathematical researcher, you will be responsible for translating informal mathematical proofs into precise, machine-verifiable formalizations using Lean.
Your Key Responsibilities:
-
Lean 4 Proof Engineer
Only for registered members Glasgow
-
Leadership & Team Development Advisor
Only for registered members Glasgow, Scotland
-
Human Resources Consultant
Only for registered members Glasgow, Scotland
-
Operational Finance Analyst
Only for registered members Glasgow
-
Lecturer – Building Services Engineering – HVRAC Commercial and Industrial Installation, Service
Only for registered members Glasgow, Scotland
-
Leadership & Team Development Advisor
Only for registered members Glasgow
-
Leadership & Team Development Advisor
Only for registered members Glasgow
-
Project Manager
Only for registered members Glasgow, United Kingdom, United Kingdom
-
Project Manager
Only for registered members Glasgow
-
Senior Transport Planners
Only for registered members Glasgow, Scotland
-
Leadership & Team Development Advisor
Only for registered members Glasgow
-
Leadership & Team Development Advisor
Only for registered members Glasgow
-
Operations Development Expert
Only for registered members Glasgow
-
Project Manager
Only for registered members Glasgow, Scotland
-
Maintenance / Mobile Electrician
Only for registered members Glasgow, Scotland
-
Accreditation and Reputation Coordinator
Only for registered members Glasgow, Scotland
-
Sales and Service Technician
Full time Only for registered members United States
-
Expert Advice Service
Only for registered members Greater Glasgow Area
-
HR Co-ordinator, Glasgow
Only for registered members Glasgow
-
HR Advisor, Glasgow
Only for registered members Glasgow