Kyle R.

Software Engineer

I'm a software developer focused on correctness and formal methods, namely proving the correctness of software systems using theorem provers

🇺🇸Redwood City, United States$50/hr70% JSS5.00 (1)Since Feb 2025

Earnings and projects

MRR

$0$0

Last 6 months ÷ 6

#367,206 / 412,022 / 412k

🇺🇸#56,271 / 62,087 / 62.1k

Revenue, last 30 days

$0$0

Total earnings

$1,365$1.4k

Billed in all: $1,438$1.4k

#367,206 / 412,022 / 412k

🇺🇸#56,271 / 62,087 / 62.1k

Per project

$1,365$1.4k

Projects, last 6 months

#209,850 / 412,022 / 412k

🇺🇸#27,405 / 62,087 / 62.1k

Projects in all

0% fixed100% hourly

#360,671 / 412,022 / 412k

🇺🇸#53,151 / 62,087 / 62.1k

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