I’m looking for a numerical analyst to produce a validated numerical certificate for a step in a computer-assisted theorem proof in an economics research paper. The mathematics is already fully reduced to a deterministic computational problem involving Gaussian-copula band integrals — no theorem invention required. The task is to certify one-sided inequalities on a 50-band cost decomposition using either true interval arithmetic (e.g. IntervalArithmetic.jl or Arb) or explicit Darboux box sums with analytical Gaussian tail bounds. A floating-point benchmark script already reproduces the target constants; what’s missing is the upgrade from high-precision numerics to a rigorous one-sided enclosure. Deliverables are an executable certificate script, a band-by-band table of certified bounds, a short technical memo, and paste-ready LaTeX for the paper’s appendix. If interested, please email me at d.weinhold@lse.ac.uk and I’ll send the full specification and benchmark script.