The Coq mailing list

[Amy Felty <afelty AT site.uottawa.ca>]

Below is a job advertisement for a software development position in
our research group, supported by a technology transfer grant.  The
research prototype uses Coq, so Coq experience is a benefit.

Regards,
Amy Felty
---------------------------------------------------------------------
Senior Software Developer

In the context of the Idea to Innovation NSERC grant "Application-
Centric Checkable Enablement of Privacy and Trust (ACCEPT)", the
Senior Software Developer will design, develop, test, and document a
software system implementing a new concept of privacy-oriented,
rule-compliant software. This work, under the supervision of the
grant's Principal Investigators (S. Matwin and A. Felty) will be the
basis of a future marketable product in the area of privacy-enhancing
technologies and privacy-oriented data mining. Interaction with the
research team, and work with the specific requirements and software
environments of prospective users, will be required.

Duration: Mar. 1, 2005 - March 31, 2006.

Skills:

required:

* Ph.D. in Computer Science or Mathematics
* extensive experience (at least two years) in software development in
  Java in an industrial setting
* experience with formal methods for software development (such as
  proving program properties) and the use of formal methods tools
* experience with Eclipse
* excellent communications skills in English, oral and written

desired:

* knowledge of data privacy standards: EPAL, P3P
* knowledge of data mining techniques and tools

Full-time position; salary TBD.

People meeting the all the above requirements are invited to email
their interest and CV to 
bvderham AT site.uottawa.ca
 with the subject
line I2I-Senior Software Developer by Feb. 11, 2005. Only applicants
selected for the interview will be contacted.