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, 7 months left

Experienced Virtual Assistants With Proven Track Record

Experienced Virtual Assistants With Proven Track Record Virtual Real Estate Sales And Marketing People / Assistants With Proven Track Record Of Success Job Description: I am looking to create a team to assist an Australian / Global property firm to list, market and negotiate the sales of...

  • Fixed Price Project
  • Max $100
  • 6 months left

Experienced Personal Assistant

Seeking an experienced (Or willing to learn fast) personal assistant with a successful proven tack record. Preferably with a degree Excellent, written, verbal,English Great communicator, Hard worker, efficient in a fast paced environment. Great analysis, organisational, management skills...

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

APA, Chicago, Harvard, MLA Styles

Hello writers, READ THIS CAREFULLY AS WE WANT A NUMBER OF WRITERS AND THOSE WHO FOLLOW INSTRUCTIONS. We are in search of a number of ACADEMIC writers on: 1. MEDICAL AND HEALTH 2. Technology 3. Project Management 4. English 5. Engineering 6. Finance 7. Thesis/Dissertation Proposal 8. Essay 9...

  • Fixed Price Project
  • Max $1000
  • 8 months left

Rewriter English (cannabis Related)

Dear Candidate, We are looking for enthusiastic and creative individuals to apply for this job, it will require a little content research and a lot of detailed and descriptive rewriting...

  • Fixed Price Project
  • Max $1000
  • 6 months left

Easy And Good Paid Programs For Individual Agents, Call Centers And Brokers (Several Sales Every Day)

We have several Programs where you and your agents will be able to make SEVERAL DEALS CLOSED per day and per agent...

  • Fixed Price Project
  • Max $20
  • 1 year, 6 months left

Needed For Long Term: Reader Of Erotic Short Stories To Correct, Rate And Improve Stories (adult Content)

Perfect candidate is someone who: - loves reading erotic stories; - writes their own erotic stories; - knows what makes a good erotic story which will be loved by many; - is a native English speaker with great grammar and punctuation skills. The stories are on average 6000 words...

  • Fixed Price Project
  • Max $5
  • 3 years, 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