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

2014-10-28 Thread 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) sof

[Haskell] Job announcement: formal methods engineer

2013-11-21 Thread Hendrik Tews
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

[Haskell] Job Announcement

2006-12-22 Thread Yaron Minsky
I'm pleased to announce that Jane Street Capital is yet again looking to hire some top-notch functional programmers. Of particular note is that Jane Street Europe Ltd. now has an office in London, and we are particularly interested in hiring someone for that office with strong systems administrati