Remote Otter LogoRemoteOtter

Part-time Lean Expert - Remote

Posted 32 weeks ago
Software Development
Part Time
Worldwide
Lean4
Theorem Proving
Quantitative Analysis
Mathematics
Computer Science
TEX

Overview

Seeking an expert in Lean4 theorem proving to model quantitative problems in Lean.

In Short

  • Demonstrated expertise in Lean4
  • Strong quantitative background (mathematics, CS, etc)
  • Contributions to Lean mathematical libraries or projects preferred
  • Proficiency in TeX preferred
  • Minimum of 7 hours / week commitment
  • Flexible, project-based schedule
  • This is a remote position

Requirements

  • Demonstrated expertise in Lean4
  • Strong quantitative background (mathematics, CS, etc)

Benefits

  • Flexible, project-based schedule
  • Remote work opportunity

Harmonic

Harmonic

Harmonic is an innovative AI company based in Palo Alto, dedicated to developing the world's most advanced mathematical reasoning engine. The company focuses on creating cutting-edge technology solutions that leverage artificial intelligence to enhance problem-solving capabilities.

Share This Job!

Save This Job!

Similar Jobs:

Southgeeks logo

Part-Time Senior Shopify Expert - Remote

Southgeeks

13 weeks ago

Join our team as a part-time Senior Shopify Expert to enhance retail operations and support full-stack development initiatives.

Shopify
API Integrations
Liquid Templates
POS Systems
Worldwide
Part-time
Software Development
FanSided logo

Site Expert - The Timber Lean - Remote

FanSided

29 weeks ago

Join FanSided as a Site Expert to create engaging content and build a community around the Portland Timbers.

Content Creation
Editing
Social Media Management
Sports Writing
US
Contract
Writing
CrewBloom logo

Lead Developer (Part-Time) - Remote

CrewBloom

30 weeks ago

Lead the development team in migrating from Node.js to Fastify while overseeing front-end development and database management.

Node.js
Express
Fastify
React
Philippines
Full-time
Software Development

GoFasti

Part-Time Process Lead - Remote

GoFasti

13 weeks ago

GoFasti is seeking a part-time Process Lead to develop process maps and support AI policy discussions, working remotely from Latin America.

Process Improvement
Workflow Analysis
Business Process Mapping
Automation Readiness
Worldwide
Part-time
All others
700 - 1000 USD/month
FIRST STOP HEALTH logo

Patient Experience Agent (Part-Time) - Remote

FIRST STOP HEALTH

15 weeks ago

Join First Stop Health as a Patient Experience Agent, providing exceptional customer support in a remote part-time role.

Customer Support
Telemedicine
Communication Skills
Microsoft Office
Worldwide
Part-time
Customer Service