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:

Graphic Design Expert

We are looking for a graphic designer who can be proficient in Microsoft Word and Publisher . The Designer will have demonstrated strengths in graphics design, project management, and communication...

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

Guest Post Writers Needed

Grammarly is looking for a long-term writer for guest posts on the topics of writing, proofreading, and the english language. $15 for 500 words, please provide relevant samples of your work.

Skills Required: english blog-writing
  • Fixed Price Project
  • Max $15
  • 1 year, 8 months 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, 6 months left

SEO Article Writing

I am looking for talented writers with quick turnaround. I am willing to pay $1 for 450 words for SEO articles. Potential on going work for the right person. Requirements: *Knowledge of SEO *Very well English, Grammar & Spelling *Original content, copyscape passed content. *No copy/paste or

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

Administrative Support Professionals In TAMPA

I am looking for any Tampa natives to join my team. Must be knowledgeable of the area (there will be a test question or two to ensure you are from the area)...

Skills Required: test english
  • Fixed Price Project
  • Max $200
  • 9 months, 1 week 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, 8 months 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
  • 6 months left

International Business For Call Centers, Brokers And Independent Telemarketing Agents...MAXIMUM SECURITY Between $150 To $200 Plus $100 BONUS For Each 5 Sales

If you have a Call Center or if you are an Independent Telemarketing Agent, this is your best opportunity to get the HIGHER commissions and the Best Benefits...for INBOUND or OUTBOUND Campaigns, we offer you an easy process and WEEKLY PAYMENTS to your Company.....

  • Fixed Price Project
  • Max $150
  • 7 months left

Transcribers Needed (spanish, French, English, Etc)

Transcription includes GENERAL, LEGAL, MEDICAL. THESE OPENINGS ARE IMMEDIATE, AND LONG TERM Hi Bidders, Our team is looking for experienced transcribers. there is work available to be done daily. You must be willing to join our team as exclusive affiliate...

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