Library Assistant Jobs in Thames

1 - 8 of 8

Search Results - Library Assistant Jobs in Thames

Researcher - Lean 4 & Formal Proof Systems

Alignerr Corp.-Thames-yesterday

and related proof systems)Analyze proofs across domains — identifying gaps, hidden assumptions, and formalizable sub-structuresConstruct formalizations that probe the limits of existing proof assistants, especially where automation breaks downCollaborate...

Rotational Physiotherapistat Health New Zealand - Te Whatu Ora Waikato -

Health New Zealand - Te Whatu Ora Waikato-Thames-jobs.govt.nz-6 days ago

and an excellent library of resources.You'll collaborate closely with your peers to prioritise patient care, delivering focused and impactful therapy sessions that make a real difference to the lives of our patients and make an impact in one of New Zealands largest...

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Corp.-Thames-yesterday

proofs — working at the very frontier of what automated proof assistants can express and reason about. This is a fully remote, flexible contract role built for mathematicians who are passionate about rigorous proof, formal systems, and the future...

Acute Physiotherapistat Health New Zealand - Te Whatu Ora Waikato -

Health New Zealand - Te Whatu Ora Waikato-Thames-jobs.govt.nz-5 days ago

comprehensive online information and an excellent library of resources. Come and join our dynamic team where every day brings new challenges in a fast-paced environment. You'll collaborate closely with your peers to prioritise patient care, deliver focused...

Applied Formal Methods Researcher (Lean 4)

Alignerr Corp.-Thames-yesterday

Lean 4 formalizations — working at the very edge of what modern proof assistants can do. This is a fully remote, flexible contract role for mathematicians who are passionate about formal verification and excited by the challenge of expressing rigorous...