The primary application area of Programatica is modeling information assurance properties. Candidates are sought with expertise in the application and implementation of theorem proving technology, applications of higher-order, typed functional languages, or other areas related to information assurance and applied formal methods. To apply, please send a CV with a brief description of your research accomplishments and interests, including the names of at least three references. Include position number in the subject line. OGI is an Equal Opportunity Employer and particularly welcomes applications from qualified women, minorities, and individuals with disabilities.
Appointment is subject to the availability of funding.
The applicants will speak English fluently, work well in teams, be self motivated. Interests in all areas are encouraged. OGI is an Equal Opportunity Employer and particularly welcomes applications from qualified women, minorities, and individuals with disabilities. Appointment is subject to the availability of funding. PacSoft Home Page Copyright 1994-97, Pacific Software Research Center .