# Paid research task: validated numerical certificate for Gaussian-copula band integrals (computer-assisted proof)

**URL:** <https://discourse.julialang.org/t/paid-research-task-validated-numerical-certificate-for-gaussian-copula-band-integrals-computer-assisted-proof/136634>\
**Category:** Jobs\
**Created:** [April 9, 2026, 5:35am UTC](https://discourse.julialang.org/t/paid-research-task-validated-numerical-certificate-for-gaussian-copula-band-integrals-computer-assisted-proof/136634 "2026-04-09T05:35:54Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![dmweinhold](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dmweinhold](https://discourse.julialang.org/u/dmweinhold)\
**Post date:** [April 9, 2026, 5:35am UTC](https://discourse.julialang.org/t/paid-research-task-validated-numerical-certificate-for-gaussian-copula-band-integrals-computer-assisted-proof/136634/1 "2026-04-09T05:35:54Z")

</div>

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.

---

<div class="post-metadata">

**Author:** ![discourse\_ai\_spam](https://avatars.discourse-cdn.com/v4/letter/d/c68b51/32.png) [@discourse\_ai\_spam](https://discourse.julialang.org/u/discourse_ai_spam)\
**Post date:** [April 9, 2026, 5:35am UTC](https://discourse.julialang.org/t/paid-research-task-validated-numerical-certificate-for-gaussian-copula-band-integrals-computer-assisted-proof/136634/2 "2026-04-09T05:35:56Z")

</div>



---

<div class="post-metadata">

**Author:** ![system](https://global.discourse-cdn.com/julialang/original/3X/1/2/12829a7ba92b924d4ce81099cbf99785bee9b405.png) [@system](https://discourse.julialang.org/u/system)\
**Post date:** [April 9, 2026, 12:04pm UTC](https://discourse.julialang.org/t/paid-research-task-validated-numerical-certificate-for-gaussian-copula-band-integrals-computer-assisted-proof/136634/3 "2026-04-09T12:04:59Z")

</div>



---

<div class="post-metadata">

**Author:** ![dmweinhold](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dmweinhold](https://discourse.julialang.org/u/dmweinhold)\
**Post date:** [September 8, 2026, 8:25am UTC](https://discourse.julialang.org/t/paid-research-task-validated-numerical-certificate-for-gaussian-copula-band-integrals-computer-assisted-proof/136634/5 "2026-09-08T08:25:30Z")

</div>

solved, no longer available.