The Haskell.org committee has selected new members following the October
self-nomination period.
The new members are:
* Adam Foltzer
* Nicolas Wu
* Andres Loeh
Thank you to everyone who submitted a self-nomation. We had many very
strong candidates and it was not easy for us to narrow the se
Dear all,
[My excuses if see this email more than once]
FireEye Inc. seeks outstanding formal-methods experts to join
FireEye's software verification team in Dresden, Germany.
Applicants should have strong knowledge in logical reasoning,
software modeling and formal software verification.
Fi
