Mathematics Specialist - San Francisco, CA

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languagesespecially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argument ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages especially Lean. · We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization ...

A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. · This role focuses on translating informal mathematical proofs into formal machine-verifiable formats using Lean and other proof systems. · Candidates should have a Master's de ...

+A leading AI partner is looking for Mathematical Formalization Specialist to join their remote team. · +Candidates should have a Master's degree in Mathematics or related field and strong background in rigorous proof construction and verification. · ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages—especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argumen ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages—especially Lean. · This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argum ...

Your Responsibilities include supporting cross-functional projects and analyzing data to improve processes. You'll gain hands-on experience working with teams that keep businesses running smoothly. · ...

Responsibilities: · Supporting financial planning and forecasting · Analyzing financial statements and reports · Budgeting and expense tracking · Conducting market and industry research · Assisting with audit, accounting, and compliance work Building models and dashboards for bus ...

Responsibilities: · Supporting financial planning and forecasting · Analyzing financial statements and reports · Budgeting and expense tracking · Conducting market and industry research · Assisting with audit, accounting, and compliance work Building models and dashboards for ...

You'll gain hands-on experience collaborating with finance teams driving business impact. · ...

Job summary: · We are seeking finance experts with strong AI prompting capabilities to create structured guides that transform general-purpose AI into domain-specialized financial tools. · ...

Responsibilities: · Supporting financial planning and forecasting · Analyzing financial statements and reports · Budgeting and expense tracking · Conducting market and industry research · Assisting with audit, accounting, and compliance work · Building models and dashboards for b ...

This is an opportunity for undergraduate students in Applied Mathematics, Mathematics, Public Relations or Management Consulting to gain hands-on experience collaborating with finance teams driving business impact. · ...

We are seeking finance experts with strong AI prompting capabilities to create structured guides that transform general-purpose AI into domain-specialized financial tools.This is a project-based opportunity ideal for professionals with both deep finance expertise and practical ex ...

We're revolutionizing software development with AI-powered formal verification by providing mathematical guarantees of code correctness. · ...

We are seeking experienced finance professionals to work on a premier AI project with one of the top research labs in the world. · This opportunity involves crafting high-quality finance problems and golden solutions to help train and assess advanced AI systems. · Experts from di ...

We are seeking experienced finance professionals to work on a premier AI project with one of the top research labs in the world. · Crafting high-quality finance problems and golden solutions to help train and assess advanced AI systems. · Exceptional communication and interperson ...

Are you looking to launch your career in business? Whether you're interested in marketing, sales, operations, finance consulting HR project management — or still exploring what path fits you best — the Business Internship Talent Pool connects you directly with companies actively ...

Job Description: · As our Network Strategy Intern, you will be responsible for helping shape the future of how we work with retailer partners to fulfill customer orders. You will support a prioritized strategic initiative, leading exploration, benchmarking, brainstorming, and cro ...

Tuva is the leading data literacy company in K-12 education. Tuva partners with schools, districts, curriculum publishers, and assessment organizations to bring our data literacy instructional program and our interactive, easy-to-use data, graphing, and statistical tools to teach ...