From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 842127EFCD; Tue, 28 Oct 2014 16:19:54 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Hendrik.Tews@FireEye.com) identity=pra; client-ip=68.232.140.223; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik.tews@fireeye.com"; x-sender="Hendrik.Tews@FireEye.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of hendrik.tews@fireeye.com designates 68.232.140.223 as permitted sender) identity=mailfrom; client-ip=68.232.140.223; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik.tews@fireeye.com"; x-sender="hendrik.tews@fireeye.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@esa1.fireeye.iphmx.com) identity=helo; client-ip=68.232.140.223; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik.tews@fireeye.com"; x-sender="postmaster@esa1.fireeye.iphmx.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnMBAGKzT1RE6IzfnGdsb2JhbABcDoJdd1MFBM42h1GBHRYBAQEBAREBAQEBAQYNCQkULoRcGBwuNAEEB0IBEhWILAEHyhkEkCMRASohhFcFllWHE4ExPIMNil6KFkFrgQ85gQMBAQE X-IPAS-Result: AnMBAGKzT1RE6IzfnGdsb2JhbABcDoJdd1MFBM42h1GBHRYBAQEBAREBAQEBAQYNCQkULoRcGBwuNAEEB0IBEhWILAEHyhkEkCMRASohhFcFllWHE4ExPIMNil6KFkFrgQ85gQMBAQE X-IronPort-AV: E=Sophos;i="5.04,802,1406584800"; d="scan'208";a="103390473" Received: from esa1.fireeye.iphmx.com ([68.232.140.223]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Oct 2014 16:19:53 +0100 X-IronPort-AV: E=Sophos;i="5.04,802,1406617200"; d="scan'208";a="4739369" Received: from femail3.fireeye.com (HELO casarray.fireeye.com) ([199.16.196.18]) by esa1.fireeye.iphmx.com with ESMTP/TLS/AES128-SHA; 28 Oct 2014 08:19:52 -0700 Received: from elite (10.44.10.24) by owa.FireEye.com (10.1.0.35) with Microsoft SMTP Server (TLS) id 14.3.210.2; Tue, 28 Oct 2014 08:19:51 -0700 Received: from localhost ([::1] helo=elite.fireeye.com) by elite with esmtp (Exim 4.84) (envelope-from ) id 1Xj8Ym-0001OE-Ns; Tue, 28 Oct 2014 16:19:49 +0100 From: Hendrik Tews To: , , , , , Date: Tue, 28 Oct 2014 16:19:48 +0100 Message-ID: <877fzkz0ff.fsf@elite.fireeye.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Originating-IP: [10.44.10.24] Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Job announcement: formal methods engineer and scientific developer at FireEye 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 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, a= nd/or privileged material for the sole use of the intended recipient. Any r= eview, copying, or distribution of this email (or any attachments thereto) = by others is strictly prohibited. If you are not the intended recipient, pl= ease contact the sender immediately and permanently delete the original and= any copies of this email and any attachments thereto.