seeking programmer to work on TLC

[Leslie Lamport <tlapl...@xxxxxxxxx>]

Microsoft Research is seeking to hire a programmer to improve the error reporting of the TLC model checker, which is written in Java.  The project would begin as soon as possible and last until the end of June.  If you are interested, please send your CV to me at my Microsoft address (which can be found on http://lamport.org).

Leslie