Alun Stokes
Fähigkeiten und Kenntnisse
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 Mitglieder mit ähnlichen Profilangaben
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.