More jobs:
Remote LeanTheorem Prover & Math Modeling Expert
Remote / Online - Candidates ideally in
Town of Poland, Jamestown, Chautauqua County, New York, 14701, USA
Listed on 2025-12-30
Town of Poland, Jamestown, Chautauqua County, New York, 14701, USA
Listing for:
Harmonic
Part Time, Remote/Work from Home
position Listed on 2025-12-30
Job specializations:
-
IT/Tech
Mathematics, Data Scientist
Job Description & How to Apply Below
Location: Town of Poland
A technology company is seeking experts in Lean4 theorem proving to model quantitative problems remotely. The ideal candidate should demonstrate expertise in Lean4 and possess a strong quantitative background in mathematics or computer science. Contributions to Lean projects and proficiency in TeX are preferred. This position offers a minimum commitment of 7 hours per week with a flexible schedule.
#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×