1

Freelance Coder Jobs in West Virginia (NOW HIRING)

$170 - $200/hr

Lean 4 Mathematical Formalization Expert $170-200/hr Remote Freelance STEM About the Role What if ... Strong hands-on experience with Lean 4 -- you write precise, correct, and maintainable code * Solid ...

$170 - $200/hr

Lean 4 Mathematical Formalization Expert $170-200/hr Remote Freelance STEM About the Role What if ... Strong hands-on experience with Lean 4 -- you write precise, correct, and maintainable code * Solid ...

$16.75 - $22.25/hr

Proven knowledge of medical terminology, CPT codes, and ICD-10 codes $4 - $5.50 an hour About 1840 ... We specialize in connecting companies with world-class freelance professionals and delivering top ...

$16.75 - $22.25/hr

Proven knowledge of medical terminology, CPT codes, and ICD-10 codes $4 - $5.50 an hour About 1840 ... We specialize in connecting companies with world-class freelance professionals and delivering top ...

No dress code (unless there's a meeting!) * Eco-friendly work lifestyle * Exposure to a ... We specialize in connecting companies with world-class freelance professionals and delivering top ...

No dress code (unless there's a meeting!) * Eco-friendly work lifestyle * Exposure to a ... We specialize in connecting companies with world-class freelance professionals and delivering top ...

next page

Showing results 1-20

Freelance Coder information

See West Virginia salary details

$12

$17

$26

How much do freelance coder jobs pay per hour?

As of Aug 26, 2026, the average hourly pay for freelance coder in West Virginia is $17.36, according to ZipRecruiter salary data. Most workers in this role earn between $13.94 and $18.61 per hour, depending on experience, location, and employer.

What is a freelance coder?

A freelance coder is an independent professional who offers programming and software development services to clients on a contract or project basis, rather than working as a full-time employee for a single company. They may work on various tasks such as building websites, developing applications, or fixing code issues for multiple clients at a time. Freelance coders have the flexibility to choose their projects, set their own rates, and often work remotely. They are responsible for managing their own business operations, including finding clients, negotiating contracts, and handling taxes.

What does a freelance coder do?

A freelance coder works on software programming projects on a contract basis. Specific job duties depend on the needs of your client, but general job duties include developing software, applications, or computer systems to meet your client’s specifications. You may also be responsible for testing the software or debugging and updating existing applications. The programming languages they use vary, but coders typically specialize in one area. For example, web coders know HMTL and JavaScript, mobile coders use Java, and database freelancers use SQL. Some projects may require collaboration with other developers. Freelance coders work on a short- or long-term contract basis.

What are the key skills and qualifications needed to thrive as a freelance coder, and why are they important?

To thrive as a Freelance Coder, you need strong programming skills in relevant languages, a solid understanding of software development principles, and a portfolio showcasing completed projects. Familiarity with version control systems like Git, project management tools, and sometimes certifications in specific technologies are valuable. Excellent communication, self-motivation, and time management are critical soft skills for managing client relationships and meeting deadlines. These skills ensure freelancers can deliver high-quality solutions independently, maintain client satisfaction, and build a sustainable career.

How do freelance coders typically manage communication and collaboration with clients and other team members?

Freelance coders often work remotely, so clear and consistent communication is crucial. They usually use tools like Slack, Trello, or email to keep clients updated, track project progress, and share files. Many projects require freelancers to join virtual meetings or use version control platforms like GitHub for collaboration. Building strong relationships and setting clear expectations early on helps ensure smooth teamwork, even when working independently.

What is the difference between Freelance Coder vs Web Developer?

AspectFreelance CoderWeb Developer
CredentialsOften self-taught or with coding bootcampsTypically holds a degree or certification in web development or related fields
Work EnvironmentIndependent, remote, project-basedCan be employed full-time or freelance, often in office or remote
Employer & Industry UsageClients across various industries, project-specificCompanies, agencies, startups, with ongoing or project-based roles
Search & Comparison IntentLooking for freelance coding services or gig workSeeking web development expertise or employment

While both Freelance Coders and Web Developers possess coding skills, Freelance Coders typically work independently on diverse projects without long-term employment, whereas Web Developers often have specialized skills in building and maintaining websites, sometimes within a team or company setting. The choice depends on your career goals and preferred work environment.

What are the most commonly searched types of Coder jobs in West Virginia?

The most popular types of Coder jobs in West Virginia are:

What are popular job titles related to Freelance Coder jobs in West Virginia?

For Freelance Coder jobs in West Virginia, the most frequently searched job titles are:

What job categories do people searching Freelance Coder jobs in West Virginia look for?

The top searched job categories for Freelance Coder jobs in West Virginia are:

What cities in West Virginia are hiring for Freelance Coder jobs?

Cities in West Virginia with the most Freelance Coder job openings:

Infographic showing various Freelance Coder job openings in West Virginia as of August 2026, with employment types broken down into 44% Full Time, and 56% Contract. Highlights an 60% In-person, and 40% Remote job distribution, with an average salary of $36,106 per year, or $17.4 per hour.

Lean 4 Mathematical Formalization Expert

Alignerr

Remote

$170 - $200/hr

Full-time

Posted 18 days ago


Job description

Lean 4 Mathematical Formalization Expert

$170-200/hr Remote Freelance STEM

About the Role

What if your deep expertise in formal mathematics could directly shape how AI reasons, proves, and verifies mathematical truths? We're looking for Lean 4 specialists to translate complex mathematical arguments into precise, machine-checked formalizations — working at the frontier where mathematics meets artificial intelligence.

This is a fully remote, flexible contract role built for mathematicians and formal verification experts who want to do genuinely challenging, high-impact work on their own schedule.

What You'll Do

  • Formalize mathematical content from natural language sources — textbooks, articles, and exercises — into valid, compilable Lean 4 code
  • Translate theorems, lemmas, propositions, and proofs into precise formal representations using Lean 4
  • Ensure formal code accurately captures the mathematical meaning and logical structure of the original statements
  • Review and validate Lean 4 formalizations for correctness, consistency, and logical soundness
  • Identify ambiguities, missing assumptions, or logical gaps in informal mathematical descriptions
  • Contribute to high-quality datasets pairing human-written mathematics with formal Lean 4 equivalents for AI training

Who You Are

  • Strong hands-on experience with Lean 4 — you write precise, correct, and maintainable code
  • Solid background in mathematics, formal logic, or formal verification
  • Comfortable reading advanced mathematical texts and translating them into formal systems
  • Exceptional attention to detail and a rigorous logical mindset
  • Interested in AI, automated reasoning, and the future of mathematical verification
  • Self-directed and reliable when working independently on complex, open-ended problems

Nice to Have

  • Experience with other theorem provers or formal systems (Coq, Isabelle, Agda, Metamath, etc.)
  • Prior involvement in AI training, expert annotation, or reasoning-focused datasets
  • Background in formal methods research or proof assistant development
  • Academic or professional experience in pure or applied mathematics

Why Join Us

  • Work on cutting-edge AI projects alongside leading research labs
  • Fully remote and flexible — work when and where it suits you
  • Freelance autonomy with the structure of clearly defined, meaningful tasks
  • High-impact work — your formalizations directly improve how AI models reason about mathematics
  • Top performers are invited to advanced tracks and extended contracts with greater scope and responsibility