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 $500 A Day, Call Centers Welcome

We are hiring lead generators for free weatherization program in the US. This is one of the easiest lead generation campaigns you find. 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 lead-generation
  • Fixed Price Project
  • Max $10000
  • 12 months left

Easy Lead Generation Position, Possible To Make $500 A Day, Call Centers Welcome

We are hiring lead generators for free weatherization program in the US. This is one of the easiest lead generation campaigns you find. 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 lead-generation
  • Fixed Price Project
  • Max $10000
  • 12 months left

Relationship Based Co-marketing

If you'd like to work with a respected IT company that has a history innovation and long-term business relationships - and - have us tweak our software so that working with us ALSO builds YOUR business, then we want to meet you. Are your strengths in relationship building? Are you great at ask

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

Sales For Mexican Company

Hello, I am looking for someone with sales experience and good at it. The task is simple. Answer the phone and give information to potential customers. The company offer party services like inflatable games, casino and many other services for rent in Mexico City...

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

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

********* WHAT WE NEED ************ Several writers that would like to ghostwrite erotic short stories (of 5500 - 8000 words) for us on a long term contract...

  • Fixed Price Project
  • Max $800
  • 4 years, 11 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
  • 3 months, 4 weeks 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
  • 1 year, 9 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