[Haskell] Job announcement: formal methods engineer and scientific developer at FireEye

[Hendrik Tews]

Dear all,

[My excuses if see this email more than once]

the FireEye R&D center in Dresden, Germany, seeks outstanding
formal-methods experts and scientific programmers to join
FireEye's formal methods team in Dresden, Germany. Applicants
should have a background in logical reasoning, (formal) software
verification and functional programming. Please visit
http://FireEye.com/careers for the concrete job descriptions.

If you are interested or have questions, please contact me or
Roland Carter <roland.carter at FireEye.com> or visit
http://FireEye.com for more information about FireEye.

FireEye is a next generation security company that provides the
industry's leading threat protection technology. The formal
methods team at FireEye works on the (formal) verification of a
non-trivial piece of the software stack of one of FireEye's
future products. Dresden is one the most beautiful cities in
Germany with unique cultural attractions. The FireEye office is
in the heart of the city, next to the famous historical center.

Bye,

Hendrik Tews

Formal Methods Engineering Manager at FireEye Germany
Head of FireEye Research & Development Dresden

phone: +49 351 8503 4745
WWW  : http://www.askra.de
This email and any attachments thereto may contain private, confidential, and/or privileged material for the sole use of the intended recipient. Any review, copying, or distribution of this email (or any attachments thereto) by others is strictly prohibited. If you are not the intended recipient, please contact the sender immediately and permanently delete the original and any copies of this email and any attachments thereto.