Zulip Chat Archive

Stream: job postings

Topic: Paid Research Advisor (Contract, Part-Time) – Neurotech


mapo912 (Dec 16 2025 at 04:46):

I am organizing a theory-driven, pre-competitive research effort to evaluate the foundational soundness of brain–computer interfaces (BCI) and neural signal representations, assessing whether current approaches are technically viable from first principles.

The work is theorem-oriented and foundational, focusing on identifiability, invariance, and failure modes that affect scalability, reliability, and safety. A core component involves formalizing theoretical results and statistical guarantees in Lean4.

I am seeking a paid research advisor (short-term, contract) to provide guidance and critical feedback on pre-existing theoretical work. The project is led by me and begins in an advisory capacity; authorship would only be discussed in the event of a substantive intellectual contribution to core results.

Relevant background may include:

  • Signal processing
  • Ergodic theory / dynamical systems
  • Computational learning theory
  • Abstract algebra (e.g., group actions, invariants)

EEG or neurotechnology experience is not required. Prior published work is a plus.

Logistics:

  • Role: Part-time, paid advisory (independent contract)
  • Rate: $55/hour (flexible depending on fit)

More details available via a Google Doc.
Please send a DM if interested (GitHub Lean4 proofs or publications preferred).

Kevin Buzzard (Dec 16 2025 at 05:52):

(note that this is an anonymous user who gives no affiliation and this ad is not vetted in any way by the maintainers here)


Last updated: Dec 20 2025 at 21:32 UTC