Advanced Mathematics Formalizer Role - Glasgow - beBeeFormalization

    beBeeFormalization
    beBeeFormalization Glasgow

    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.

    • 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.

    Your Key Responsibilities:


  • Work in company

    Lean 4 Proof Engineer

    Only for registered members

    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

  • · 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 ...

    Glasgow

    1 week ago

  • Work in company

    Leadership & Team Development Advisor

    Only for registered members

    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, Scotland

    1 month ago

  • Work in company

    Human Resources Consultant

    Only for registered members

    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, Scotland

    1 week ago

  • Work in company

    Operational Finance Analyst

    Only for registered members

    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 ...

    Glasgow

    2 weeks ago

  • 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, Scotland

    1 week ago

  • Work in company

    Leadership & Team Development Advisor

    Only for registered members

    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 ...

    Glasgow

    1 month ago

  • Work in company

    Leadership & Team Development Advisor

    Only for registered members

    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 ...

    Glasgow

    1 month ago

  • Work in company

    Project Manager

    Only for registered members

    · 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 year

    2 days ago

  • Work in company

    Project Manager

    Only for registered members

    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 ...

    Glasgow

    1 month ago

  • Work in company

    Senior Transport Planners

    Only for registered members

    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, Scotland

    1 month ago

  • Work in company

    Leadership & Team Development Advisor

    Only for registered members

    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 & ...

    Glasgow

    1 month ago

  • Work in company

    Leadership & Team Development Advisor

    Only for registered members

    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 ...

    Glasgow

    1 month ago

  • Work in company

    Operations Development Expert

    Only for registered members

    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. · ...

    Glasgow

    1 month ago

  • Work in company

    Project Manager

    Only for registered members

    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, Scotland

    1 month ago

  • Work in company

    Maintenance / Mobile Electrician

    Only for registered members

    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, Scotland

    1 month ago

  • Work in company

    Accreditation and Reputation Coordinator

    Only for registered members

    An exciting opportunity has arisen for an Accreditation and Reputation Coordinator to join the Adam Smith Business School. · ...

    Glasgow, Scotland

    1 month ago

  • Work in company

    Sales and Service Technician

    Only for registered members

    +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 time

    3 weeks ago

  • Work in company

    Expert Advice Service

    Only for registered members

    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 Area

    1 month ago

  • Work in company

    HR Co-ordinator, Glasgow

    Only for registered members

    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 ...

    Glasgow

    1 month ago

  • Work in company

    HR Advisor, Glasgow

    Only for registered members

    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 ...

    Glasgow

    1 month ago

Jobs
>
Glasgow