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:

Experienced Personal Assistant

Seeking an experienced (Or willing to learn fast) personal assistant with a successful proven tack record. Preferably with a degree Excellent, written, verbal,English Great communicator, Hard worker, efficient in a fast paced environment. Great analysis, organisational, management skills...

  • Fixed Price Project
  • Max $100
  • 1 month, 1 week left

Data Entry And SEO Experts Needed For ECommerce Stores.

This is a project where there is training and long term job opportunities involved. Joining us will give you the opportunity to learn about SEO, eCommerce, and how to use our shopping cart software. Our aim is to train you on the use of our software and to make you an eCommerce SEO expert...

  • Fixed Price Project
  • Max $7
  • 2 years, 5 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
  • 11 months, 2 weeks left

Full Time Permanent Position - SEO,Blog Post Writer/Internet Marketing/Social Networking

No agencies! I want one full-time employee for long-term from the Philippines only. I have three wordpress websites that I need a full-time employee to do all of my online marketing and content creation. The three websites are www.KarinaHarris.com, www.KarinaSecrets.com, www.CueMe...

  • Fixed Price Project
  • Max $275
  • 3 years, 6 months left

Smart Proofreaders/Editors Needed

I need at least 3 smart proofreaders/editors. Your job: Proofread our writers' work. These are good writers (native English too) so not much work is required, but you need to be smart enough to catch every native writer's mistake...

Skills Required: english proofreading editing
  • Fixed Price Project
  • Max $500
  • 3 years, 7 months left

Full Time Permanent Position - SEO,Blog Post Writer/Internet Marketing/Social Networking

No agencies! I want one full-time employee for long-term from the Philippines only. I have three wordpress websites that I need a full-time employee to do all of my online marketing and content creation. The three websites are www.KarinaHarris.com, www.KarinaSecrets.com, www.CueMe...

  • Fixed Price Project
  • Max $275
  • 3 years, 6 months left

Full Time Permanent Position - SEO,Blog Post Writer/Internet Marketing/Social Networking

No agencies! I want one full-time employee for long-term from the Philippines only. I have three wordpress websites that I need a full-time employee to do all of my online marketing and content creation. The three websites are www.KarinaHarris.com, www.KarinaSecrets.com, www.CueMe...

  • Fixed Price Project
  • Max $275
  • 3 years, 6 months left

Easy And Good Paid Programs For Individual Agents, Call Centers And Brokers (Several Sales Every Day)

We have several Programs where you and your agents will be able to make SEVERAL DEALS CLOSED per day and per agent...

  • Fixed Price Project
  • Max $20
  • 1 year, 5 months 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
  • 1 year, 8 months 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
  • 1 year, 8 months left

Job Details

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