Gyde

Stream: job postings

[Jony Vale]

Hello Everyone!

This is a competitive job opportunity that gives you a chance at changing the world. I was going to ask for feedback on Lean for Teaching, but what I’m really looking for is partnerships, and so I’m posting here on “Job Postings”.

Who am I?

I am a bridge builder, aiming to connect the islands of human knowledge to form a cohesive landscape of understanding. I’m passionate about mathematical physics and education technology, always driven by a desire for unification. My goals are to help lift the curtain of the great veil and to guide anyone in the world to the most profound STEM insights.

Entrepreneurial Goal Description

To create a global education platform (called Gyde) that centralizes educational services. The initial market is top mathematics researchers.

Company Values

Scholars and knowledge. The platform will champion and celebrate academics and the perspective that the beauty in STEM is a form of art.

Company Mission

Vertical and horizontal STEM growth. Gyde aims to increase STEM knowledge accessible to humans by funding STEM R&D. Conversely, Gyde aims to increase humans accessibility to STEM knowledge by funding world-wide education.

Relevance to “Lean for Mathlib”

I believe content on the platform can funnel users to contribute to formalizing mathematics. I also believe that proof verifiers can find optimal learning routes and teaching methods by assessing students. For the second belief to be realizable, a latex to formalized math converter might need to be automated, making this an important goal.

Who I’m looking for?

I seek not a pathfinder, but a trailblazer; one who will not follow where the path may lead, but go where there is no path and leave a trail. I seek someone who shares my values and desire to bring new horizons within reach.

I value expertise over experience, and seek someone to build an insanely great product. In particular, I seek someone with expertise in full-stack development, machine learning, and Lean, along with an entrepreneurial spirit. Since the platform will reserve the majority portion of company ownership for contributing academics, the expected skill level is significant, but due to the scarcity of these skills, possessing a couple and a drive to learn is highly valued.

If this sounds like you, I invite you to reach out, and I can ensure you a Gyde prototype demonstration. A UCLA Statistics professor with a Harvard PhD will serve as the machine learning consultant for the product. If we believe in you, I can offer you $75,000 per year (for now) and equal vested stakes as a cofounder. Ideally, you live in, or can relocate to, California, Italy, the UK, or an area near a top-ranked university in mathematics or physics.

Thank you for considering this opportunity. Please feel free to email me (jony.gyde@gmail.com) with relevant portfolios or resumes, and an explanation as to why you want to impact mathematical education or edTech in general.

Best Regards,

Jony Vale

• (Co?) Founder, Gyde
• Co-Founder, HermesGO
• Mathematics BS, UCLA
• jony.gyde@gmail.com

[Notification Bot]

A message was moved here from #job postings > Refactorings for Lean code by Eric Wieser.