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:

Easy Lead Generation Position, Possible To Make $500 A Day, Call Centers Welcome

We are hiring lead generators for free weatherization program in the US. This is one of the easiest lead generation campaigns you find. Call centers are welcome. I need callers within 24 hours. YOU MUST HAVE A PREDICTIVE DIALER. You must be able start immediately...

Skills Required: english lead-generation
  • Fixed Price Project
  • Max $10000
  • 1 year, 7 months 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, 7 months left

Best Home Improvement Lead Generation Campaign, Possible To Make $9,000 A Week, Call Centers Preferred

We are hiring lead generators for an energy saving window and siding program in the US. This is a proven money making campaign. Call centers are welcome. I need callers within 24 hours. YOU MUST HAVE A PREDICTIVE DIALER. You must be able start immediately...

Skills Required: english cold-calling
  • Fixed Price Project
  • Max $10000
  • 1 year, 8 months left

Experienced Virtual Assistant Needed

I am in need of an experienced virtual assistant that would be able to assist me in my real estate business. It is an Australian/Global property firm...

  • Fixed Price Project
  • Max $100
  • 1 year, 6 months left

Bulk Order Articles

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...

Skills Required: english test
  • Fixed Price Project
  • Max $500
  • 6 months, 1 week left

150+w Article - General Or Narrative

Write an related to the keyword. The article should between 150+w. Must be high quality content and good English structure. Plagiarism free is a must. Rate per 150+w is $0.50 - including odesk

  • Fixed Price Project
  • Max $10
  • 1 week, 4 days left

Partnership With Major Upside!

We are currently seeking a full-time/part-time Web Developer to form a partnership. This position will be responsible for web site design and coding, troubleshooting, working with vendors, seeking out solutions to programming challenges and other duties as assigned...

  • Fixed Price Project
  • Max $3000
  • 7 months, 2 weeks left

Writers From Kenya Needed To Start Asap!!

I need like 10 writers from Kenya to start working ASAP. Do not apply if you can not write as I will give a test to evaluate you. I need contractors who can write 10+ articles a day and keep deadlines as well. Articles are mostly 500 words...

Skills Required: test english
  • Fixed Price Project
  • Max $400
  • 7 months, 3 weeks left

Tagalog Teacher Required, Tagalog To An English Person

Hi I am looking for someone to teach Tagalog to an English Person, must be Native Filipino and must live close to Las-Pinas. Basic Tagalog and Taglish needs to be taught...

Skills Required: english-tutoring tagalog
  • Fixed Price Project
  • Max $5
  • 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