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