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:

Teach Me Asp.net / C#

READ WHOLE AD BEFORE APPLYING, I have taken several courses on OOP but need to get back in the game as I have been out of touch and have been focused primarily on database work...

Skills Required: asp.net c# oop sql english
  • Fixed Price Project
  • Max $5
  • 8 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
  • 5 years, 10 months left

Audio Typists English Knowledge Essential

Iam seeking transcription typists for audio files that vary between 4 and 90 minutes long. must be good english speaking and understand the language well as although it is straight dictation there is some thought process and initiative that must be applied to the work...

Skills Required: english transcription
  • Fixed Price Project
  • Max $10
  • 8 months, 2 weeks left

Real Estate Firm Looking For FT Top Notch Executive Assistant

Fast paced Real Estate Firm looking for a Full Time top notch executive assistant. We are offering a long term position and the right candidate will have opportunity to learn and grow with us. Please do not apply if you are seeking a short term contract...

  • Fixed Price Project
  • Max $300
  • 1 year, 10 months 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
  • 11 months, 2 weeks left

HTML Coder - Full Time Position

Hello. We are actively seeking individuals to join our Lahore based software development company. We currently have 35 full time people and actively seeking more qualified people...

  • Fixed Price Project
  • Max $705
  • 5 days, 13 hours left

A New Product Development Project - Google (Harvard) Style

Need someone to proofread and make the paper meet all the instructions of the paper or just do it from the start. Need it ASAP like 24 hours time...

  • Fixed Price Project
  • Max $36
  • 12 months left

Long Term Creative Writers Needed For Erotic Short Stories (Adult)

WHAT WE NEED Several writers who love to write arousing erotic short stories (of 5500 - 8000 words) for us on a long term contract. Every story needs a 1-2 paragraph blurb. Stories will need to be from these subcategories: Lesbian, Gangbang, Taboo, Paranormal, BDSM, Dirty Fetishes...

  • Fixed Price Project
  • Max $15
  • 1 year, 3 months left

Vietnamese - Medical Translation Specialist

We are looking for a translator from English to Vietnamese. Requirements: -Ability to translate accurately articles in medical dermatology to Vietnamese. So a medical doctor or someone in the medical field is preferred...

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