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:

Market Research In Malaysia, Thailand, Philippines, Indonesia

We need good researchers who will do following research: 1. We give you product names 2. You find certain number of companies using such product or dealing with in your country, (it is usually 30-60 companies) 3...

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

Best Home Improvement Lead Generation Campaign, Possible To Make $9,000 A Week, Call Centers Preferred

We are hiring lead generators for an energy saving window and siding program in the US. This is a proven money making campaign. 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 cold-calling
  • Fixed Price Project
  • Max $10000
  • 6 months, 2 weeks left

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
  • 6 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
  • 4 years, 4 months left

Our Transcription Team Is Growning. Join Us (usa Only)

Our team is looking for experienced transcribers. There is work available to be done daily. You must be willing to join our team as exculsive affilate. I will assign work to you as I get it in. You must be available at least three days per week. Weekend work is required...

  • Fixed Price Project
  • Max $15
  • 5 years, 3 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 $200
  • 4 years, 4 months left

University Graduate American Freelancer

American only. Perfect Web Designer/Web Developer with superb knowledge of English wanted. HTML5 - CSS3 - JavaScript - PHP - MySQL - joomla 3 - Adobe Muse - Adobe Creative Cloud

  • Fixed Price Project
  • Max $10000
  • 1 month, 2 weeks left

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
  • 6 months, 1 week left

English To Chinese Translation - Ongoing Freelance Work

Hi there! I'm starting up a translation business and I'm looking to hire some freelance translators for ongoing job / continuous freelance work. The pay is $0.07/word. When a document comes in to me, I'll send it your way for translating...

  • Fixed Price Project
  • Max $15
  • 1 month, 4 weeks left

Job Details

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