job c lisp kr nl austin tx cycorp seeking enthusiastic highlymotivated multitalented people positions software development ontological engineering natural language processing involves working extending cyc technology immense broad multicontextual knowledge base inference engine group developed last eleven years cyc already contains useful selection fundamental human knowledge facts rules thumb heuristics reasoning objects events modern everyday life cyc enables multitude knowledgeintensive products services could revolutionize way people use interact computers cycorp dedicated making happen date cyc made possible groundbreaking pilot applications areas heterogeneous database browsing integration captioned image retrieval natural language processing looking individuals join us challenging enterprise software development c applications programming expertise unix macintosh pc preferably common lisp programming experience database theory application development oracle db2 formal logic predicate calculus deductive theorem proving inference engine design implementation maintenance ontological engineering facility formal logic predicate calculus preferably background ai esp knowledge representation programming ability plus required natural language processing familiarity nl parsing theory including statistical corpusbased parsing methods methods experience designing building extending parsers facility predicate calculus knowledge mathematical methods linguistics familiarity linguistic theory esp morphology syntax knowledge pragmatics discourse theory plus ability think procedurally concretely thus programming skills would plus immediate consideration send resume cover letter doug lenat cycorp inc 3500 west balcones center drive austin texas 78759 fax 512338 3858 email doug cyc com cycorp equal opportunity employer