Remote Otter LogoRemoteOtter

Part-time Lean Expert - Remote

Posted 19 weeks ago

Harmonic

Harmonic

Software Development
Part Time
Worldwide

Share This Job!

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

Similar Jobs:

Southgeeks logo

Part-Time Senior Shopify Expert - Remote

Southgeeks

3 days 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

16 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

17 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 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

2 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