Member of Technical Staff

None • Portland, OR, US • published 2026-09-23 05:43:16.019998

Description

**Applicable Field of Work** * **Machine Learning \& AI for Mathematical Discovery and Reasoning** — R\&D at the intersection of deep learning, neuro\-symbolic methods, automated theorem proving, and pure/applied mathematics. ### **Duties \& Responsibilities** * **Lead core discovery projects** (e.g., successors to *PatternBoost*): set research agendas, design and run large\-scale experiments to reveal latent mathematical structures, and publish high\-impact papers in top AI and mathematics venues. * **Collaborate with research mathematicians** to identify open problems to tackle, formulate them into benchmarkable ML objectives, build reproducible pipelines, and iterate toward state\-of\-the\-art solutions. * **Communicate results broadly** through peer\-reviewed publications, conference talks, open\-source releases, and internal briefings that translate research insights into business value. * **Mentor and coach junior researchers** by providing technical guidance, rigorous code reviews, and career development support, fostering a culture of excellence and collaboration. ### **Professional Skills \& Competencies** **Hard Skills** * Advanced coding in Python and modern ML framework...

Get jobs like this daily in Telegram: @careeri_bot