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:

Creative Writers Needed Urgently - Only The Best Please!

Hi Odeskers, We are a marketing company that manages several websites for clients and need a creative writers to join our team. We are looking for people with vivid and creative imaginations and a passion for writing. You'll be writing about our clients products and services...

  • Fixed Price Project
  • Max $5
  • 5 months left

Virtual Assistant

Im looking for an on-going virtual assistant for 2 hours a week to help with simple side projects. Respond to this job posting with your Skype ID so that I can give you your first assignment.

  • Fixed Price Project
  • Max $5
  • 5 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
  • 1 year, 5 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
  • 5 years, 6 months left

150+w Random Short Articles

Write a fiction stories about of anything/random. The story should between 150 to 180 words. Must be high quality content and good English structure. All must be written in the first person, second person or third person or general. Plagiarism free is a must...

  • Fixed Price Project
  • Max $10
  • 5 months left

Bulk Order Articles

We are looking for a number of writers (5) who can handle bulk work daily to join our team, need to be passionate about writing and can handle any kind of writing work at any given time they are required. English is a plus plus. Must have passed U.S basic skills test as well...

Skills Required: english test
  • Fixed Price Project
  • Max $500
  • 7 months left

PR For $1, Each 500 Words

Writers need to join team. Work will be writing PR's for $1. Each PR has to be at least 500 words Successful candidate will be given more details.

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

Swedish Translator For E-Commerce, 4 Hours A Day, Long Term

JOB INTRODUCTION We are looking for translators, from English to Swedish, for our Swedish websites: lightinthebox(dot)com/sv miniinthebox(dot)com/sv This is a fixed position working from home, 5 days a week, 4 hours a day, going on indefinitely...

  • Fixed Price Project
  • Max $3300
  • 5 months left

Virtual High School Teaching Positions - Social Sciences And World Languages

==Job Overview== We are looking for teachers and instructors in college level and high school level for the subjects listed below. ==Job Description== Teachers will be requested to teach 1-5 classes per semester. It includes syllabus writing and materials developed unless agreed otherwise...

  • Fixed Price Project
  • Max $10000
  • 1 month left

Job Details

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