I AM LOOKING FOR A PHD STUDENT IN SPECTRAL THEORY OR NT

Stream: job postings

[rigucci]

I am hiring because I need help proving my manuscript on lean 4 ? 100 page manuscript.

[rigucci]

I am looking for a phd student in Spectral Theory or Number Theory to hire. My manuscript is very novel, many calculations do not appear in existing literature. I need us to work together to prove it on Lean 4. Lean 4 Expertise: ≥ 1 year of hands‐on experience writing nontrivial proofs in Lean 4.
Dependent Type Theory:Comfort with Π‐types, Σ‐types, universes, and elaboration.

Functional Programming:Proficiency in a functional language (Lean 4, Haskell, OCaml, or similar).

Metaprogramming:Experience writing custom tactics or macros in Lean 4’s ElabM/MetaM.

Mathlib4 Familiarity:Knowledge of core mathlib4 modules, style conventions, and testing framework.

Version Control & CI:Fluent with Git, GitHub pull‐requests, and setting up CI workflows.

[Notification Bot]

A message was moved here from #job postings > Hello by Kevin Buzzard.

[Jakob von Raumer]

You should probably state your university etc if you're hiring an aspiring PhD student that you're going to supervise. Or is PhD student a proxy term for someone to formalize maths for little pay?