Skip to main content
PRL Project



next up previous
Next: Equipment Up: Budget Previous: Salaries and wages

Postdoctoral research associate

The postdoctoral research associate will carry out much of the engineering work associated with this proposal. In particular, we expect that he or she will actually design and implement the ``glue'' routines to connect existing mathematical software to the MathBus. We will hire postdoctoral research associates familiar with large-scale software development and who also are acquainted with the use of mathematical software and/or formal logic.



nuprl project
Tue Nov 21 08:50:14 EST 1995