maier@ogcvax.UUCP (Dave Maier) (07/25/84)
[Please respond to Dr. Schrader directly] RESEARCH POSITION AVAILABLE Servio Logic Development Corporation invites applications for a research position starting, preferably, in August, 1984. Applicants should have a strong theoretical background in computer science, especially in propositional logic or database theory. Servio is producing an advanced database system that supports a set-based data model. The position includes work on a translation algorithm from predicate calculus statements to algebraic operations on sets, with emphasis on correctness and optimization. The applicant would be working with research and development engineers having experience in database hardware, systems and languages. The working environment at Servio is pleasant. We have two VAX 750's, a Xerox Dolphin running Smalltalk, a laser printer, and a complete hardware laboratory. The company occupies the top two floors of the Georgia Pacific building in downtown Portland. The Pacific beaches and some 200 state parks lie 65 miles west. Mt. Hood, which affords year- round skiing and excellent hiking, lies 60 miles east. Mt. St. Helens, 50 miles north, provides occasional excitement not readily available in other parts of the country. The weather is temperate, with both mild summers and winters. Because we are a small company, the work of each individual is critical. Our work groups are small and the atmosphere is informal [and methane]. Applicants should telephone or send a resume to: Dr. David W. Schrader Servio Logic Corporation 2700 Georgia Pacific Building Portland, OR 97204 (503) 227-3777 x260 -- David Maier, Oregon Graduate Center <maier.oregon-grad @ rand-relay>