Jack V.

theorem proving, machine learning, software dev

Interested in theorem proving, machine learning and functional programming. Previously a researcher at the Uni of Oxford, Google Research, CSIRO, and the Uni of Adelaide.

🇦🇺Mile End, Australia$80/hr100% JSS5.00 (1)Since Feb 2025

Earnings and projects

MRR

$0$0

Last 6 months ÷ 6

#250,784 / 412,022 / 412k

🇦🇺#1,730 / 2,970 / 2,970

Revenue, last 30 days

$0$0

Total earnings

$5,232$5.2k

Billed in all: $5,554$5.6k

#250,784 / 412,022 / 412k

🇦🇺#1,730 / 2,970 / 2,970

Per project

$5,232$5.2k

Projects, last 6 months

#209,850 / 412,022 / 412k

🇦🇺#1,320 / 2,970 / 2,970

Projects in all

0% fixed100% hourly

#360,671 / 412,022 / 412k

🇦🇺#2,672 / 2,970 / 2,970

$5.6kNothing earned in the last 30 daysBilled in all, before Upwork's fee · drag across the chart to see what was earned in any stretch

Skills

Python NumPy PyTorch C++C#Haskell C Mathematics Mathematical Optimization Linear Algebra Algorithms Lisp JavaScript pandas Statistics

Jack V.

Earnings and projects

Earnings, last 30 days

Skills