Alun Stokes

Angestellt, Scientific Project Manager, Gift Horse Mouth Inspections

Fähigkeiten und Kenntnisse

Machine Learning
Mathematics
Ability to abstract
Logical thinking
Analytical skills
Computer Science
Python
Data Science
Software Development
Data Analysis
Numerical Analysis
Mathematical Modeling
Artificial intelligence
LaTeX Editor
Geometry
Probability Theory
Java
C/C++
Statistics
Algorithm Development

Werdegang

Berufserfahrung von Alun Stokes

  • Bis heute 2 Jahre und 5 Monate, seit Juni 2023

    Mathematician

    Gift Horse Mouth Inspections

    I am formally a mathematician, with significant programming experience. Our work (which I oversee) seeks to shift change the course from the statistical AI trend (GPT et al.) that cannot verify nor synthesise proofs (only linguistically claim them) by assuring novel mechanical operations that both validate results and produce verifiable proofs. Results are, as to be expected, modest, but for lack of more compute, funding, and collaborators to both share the load and ideation.

  • Bis heute 2 Jahre und 5 Monate, seit Juni 2023

    Scientific Project Manager

    Gift Horse Mouth Inspections

    I am formally a mathematician, with significant programming experience. Our work (which I oversee) seeks to shift change the course from the statistical AI trend (GPT et al.) that cannot verify nor synthesise proofs (only linguistically claim them) by assuring novel mechanical operations that both validate results and produce verifiable proofs. Results are, as to be expected, modest, but for lack of more compute, funding, and collaborators to both share the load and ideation.

XING – Das Jobs-Netzwerk

  • Über eine Million Jobs

    Entdecke mit XING genau den Job, der wirklich zu Dir passt.

  • Persönliche Job-Angebote

    Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.

  • 21 Mio. Mitglieder

    Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.

  • Kostenlos profitieren

    Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

21 Mio. XING Mitglieder, von A bis Z