Write Proofs Using Proof-Checking Tool

Your responsibility consists of using our proof-checking tool to describe proofs in predicate logic. A tutorial video for our application is available here: http://www.youtube.com/watch?v=vLn9C0nyw0U

This is part of a research study done at Stanford University on measuring student confusion while using this proof tool. Based on previous feedback, we estimate that it will take you about an hour to complete the four proofs.

To qualify for this job, you should have at least two years of programming experience, and you must have exposure to or experience in predicate logic. You must also be comfortable understanding instructions and problems in English.

If we select you, we will send you instructions on how to proceed, and mark your job completed once you complete the four predicate logic proofs. We pay as soon as you have completed these proofs.

We pay $40 per completed set of proofs, and we will hire about 70 people to complete these proofs. We have already tested our tool using a pilot study and have added in a video tutorial in response to their feedback.

Search All Jobs:

Need A Skilled Writer That Can Rewrite News Adding Some Value To It.

Need a skilled writer that can rewrite news adding some value to it. The work includes: - Find popular BOXING news - Find a suitable image - Rewrite the news and add some value (conclusions, comparison to other news, opiunions) to it...

  • Fixed Price Project
  • Max $10
  • 2 months, 1 week left

Easy Lead Generation Position, Possible To Make $4,000 A Week Or More, Call Centers Welcome

We are hiring lead generators for the free weatherization program in the US. This is one of the easiest lead generation campaigns you find. This campaign program has been around for several years. Call centers are welcome. I need callers within 24 hours. YOU MUST HAVE A PREDICTIVE DIALER...

Skills Required: english lead-generation
  • Fixed Price Project
  • Max $10000
  • 1 year, 5 months left

Fulltime Web Designer (Affiliate Pages, Etc)

Hello, We are seeking a fulltime web designer to work with us building web pages for affiliate marketing purposes. You should be a hard working team player who wants to be a permanent part of our company...

  • Fixed Price Project
  • Max $350
  • 8 months, 2 weeks left

150+w Random Short Articles

Write a fiction stories about of anything/random. The story should between 150 to 180 words. Must be high quality content and good English structure. All must be written in the first person, second person or third person or general. Plagiarism free is a must...

  • Fixed Price Project
  • Max $10
  • 2 months, 1 week left

Bulk Order Articles Per Day (24 Hours)

We are looking for a number of writers (10-15) who can handle bulk work daily to join our team, need to be passionate about writing and can handle any kind of writing work at any given time they are required. English is a plus plus. Must have passed U.S basic skills test as well...

  • Fixed Price Project
  • Max $500
  • 4 months, 1 week left

Need 5 Fast Writers To Join My Team

Hello oDeskies, This is a coming up company now in business for more than 6 month. We want to have one of the best team of writers ever in online market place for outsourcing . We are currently searching for 5-10 members to join your team...

  • Fixed Price Project
  • Max $500
  • 3 years, 5 months left

Bulk Order Articles

We are looking for a number of writers (4-5) who can handle bulk work daily to join our team, need to be passionate about writing and can handle any kind of writing work at any given time they are required. English is a plus plus. Must have passed U.S basic skills test as well...

  • Fixed Price Project
  • Max $400
  • 6 months, 1 week left

Finnish E-mail Customer Service For E-Commerce, 4 Hours A Day, Long Term

IMPORTANT: note that if you are not a Finnish native or fluent speaker, your proposal will be reported to oDesk as spam...

  • Fixed Price Project
  • Max $1500
  • 2 months, 1 week left

Russian Translator For E-Commerce, 4 Hours A Day, Long Term

JOB INTRODUCTION We are looking for translators, from English to Russian, for our Russian websites: lightinthebox(dot)com/ru miniinthebox(dot)com/ru This is a fixed position working from home, 5 days a week, 4 hours a day, going on indefinitely...

  • Fixed Price Project
  • Max $2000
  • 2 months, 1 week left

Job Details

  • Job Type
  • Fixed Price Job
  • Budget
  • Max $40
  • Start Date
  • 12/07/2011 03:00:22 AM
  • Job Status
  • Job Expired