seeking programmer to work on TLC

146 views

Skip to first unread message

Leslie Lamport

unread,

Mar 20, 2017, 4:47:34 PM3/20/17

to tlaplus

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).