[SMT-LIB] Opportunities in SAT/SMT

[Clark Barrett]

Hi all,

We are in the middle of the 2015 SAT/SMT summer school which is going very
well.  I plan to distribute some information to the participants about
current opportunities in SAT/SMT (including gradutate school and postdoc
positions, internships, and jobs).  If you know of such an opportunity that
you would like me to communicate to the participants, please forward it to
me by tomorrow.

Thanks,

Clark Barrett