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 left

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 left

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 left

Sales Person - Commission Based

Sales person wanted to help us fill seats in our upcoming classes. We offer Group Training in various cities in the U.S. as well as onsite training, and Live Online Virtual Training...

  • Fixed Price Project
  • Max $15
  • 10 months left

Personal Assistant

You will be given a scanned document that has the main points highlighted in it. At the same time you will be given the exact same copy of the document but in an electronic format...

Skills Required: english
  • Fixed Price Project
  • Max $2000
  • 2 years, 4 months left

APA, Chicago, Harvard, MLA Styles

Hello writers, READ THIS CAREFULLY AS WE WANT A NUMBER OF WRITERS AND THOSE WHO FOLLOW INSTRUCTIONS. We are in search of a number of ACADEMIC writers on: 1. MEDICAL AND HEALTH 2. Technology 3. Project Management 4. English 5. Engineering 6. Finance 7. Thesis/Dissertation Proposal 8. Essay 9...

  • Fixed Price Project
  • Max $1000
  • 2 years left

Bulk Order Articles

We are looking for a number of writers (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...

Skills Required: english test
  • Fixed Price Project
  • Max $500
  • Job Expired

Blogger Needed In 2-3 Hour On Adult & Relationship Educative Articles

Writers needed to write on Adult and relationship blog articles. Do not bid if you can not do this. I will pref native speakers or any one that has the language that matches that of the natives ONLY!! Please do not apply if you are not a native English speaker...

Skills Required: english test blog-writing grammar
  • Fixed Price Project
  • Max $500
  • 1 year, 1 month left

International Business For Call Centers, Brokers And Independent Telemarketing Agents...(Massive Sales Every Day, Easy And Short Process To Receive Payments)

If you have a Call Center or if you are an Independent Telemarketing Agent, this is your best opportunity to get GOOD and SEVERAL commissions every day with the Best Programs.....

  • Fixed Price Project
  • Max $20
  • 1 year, 9 months left

Teacher Online Professeur Sur L'internet

answer questions of student online and phone répondre aux questions des étudiants par téléphone ou sur l'internet Mathématique physique chimie informatique anglais Mathematic physic chemistry computer science english

  • Fixed Price Project
  • Max $250
  • 11 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