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 $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
  • 2 years left

Easy Lead Generation Position, Possible To Make $4,000 A Week Or More, Call Centers Welcome

We are hiring lead generators for a 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
  • 2 years left

Telemarketing Team Needed! Great Income Opportunity

We are seeking an excellent telemarketing team who can place calls using an automated cloud based dialing system to provide free no obligation information to consumers...

Skills Required: telemarketing voip english
  • Fixed Price Project
  • Max $800
  • 11 months left

IOS Developer (C++ Experience Is A Must)

We are a small team of highly motivated people and we develop applications for Mac OS/iOS/Windows patforms. Right now we are in search of a Software Engineer on a full-time basis. We guarantee warm and friendly atmosphere, small but highly professional team, compensation for holidays and sick-leaves

  • Fixed Price Project
  • Max $3000
  • 3 weeks, 3 days left

Versatile Wrter

Dear Contractors, I am looking for a fast reliable writer who meets deadlines and can help me in writing unique articles for various websites and product descriptions. The contractor who will be hired will be writing 100-word products description and the payment is $.50 per 100-word article. Alo

  • Fixed Price Project
  • Max $5
  • 4 days, 5 hours left

Superstar Content Writer

Writing should be your passion and you should be able to write 400+ word articles in a fast pace. Your articles must be 100% original, high - quality and error - free. Leave a message and I'll get back to you soon.

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

Daily Article Writing Tasks For A Writer By Heart

Is writing your passion? Do you want daily income? Can you deliver 2 articles in an hour or two? If so, then write for me. I make daily payments and you will only need to write 3 - 4 original, high quality and error - free 400+ word articles daily. Leave a message and I'll get back to you soon.

  • Fixed Price Project
  • Max $5
  • 1 week left

Personal Assistant/Reasercher PINOY PARTIMERS!!

Requirements: -you need to have a headset -you need to have a Skype acc -you need to have basic knowledge in excel -you need to be a self starter -with good grammar...

  • Fixed Price Project
  • Max $40
  • 4 months left

Indian Fashion Writer - Designer Preferred

I need a Native English Level Writer who is either a Fashion Designer or Passionate About Fashion, to act as an Editor and Ghost Writer for an Indian Fashions Designer. I will not be hiring anyone who doesn't clearly project 'Fashion' in their profile...

  • Fixed Price Project
  • Max $200
  • 2 months, 1 week 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
  • 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