From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C05937FA60; Tue, 2 May 2017 09:49:45 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christiane.berndt@kernkonzept.com; spf=None smtp.mailfrom=christiane.berndt@kernkonzept.com; spf=None smtp.helo=postmaster@mx1.kernkonzept.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christiane.berndt@kernkonzept.com) identity=pra; client-ip=88.99.87.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christiane.berndt@kernkonzept.com"; x-sender="christiane.berndt@kernkonzept.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christiane.berndt@kernkonzept.com) identity=mailfrom; client-ip=88.99.87.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christiane.berndt@kernkonzept.com"; x-sender="christiane.berndt@kernkonzept.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx1.kernkonzept.com) identity=helo; client-ip=88.99.87.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christiane.berndt@kernkonzept.com"; x-sender="postmaster@mx1.kernkonzept.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AxdxU7R8/wzYZEf9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?0+gcTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/1hi?= =?us-ascii?q?kEOTA2/m7YhNJsg6xUux+hux9yzpTIbI2JOvdzfKXQds4aS2pbWcZRUjRMD528?= =?us-ascii?q?b4sVDuoBJvpYr4jnqFsIsxS1GBShC/31yj9Om3D2wbAx3uM9HgHGxgwgHskOsG?= =?us-ascii?q?jVrNrvMqcdT/q5w7LWwjXZafNZxCv95ZPLch8/u/GMW7Fwcc3XyUguCQzFlkmQ?= =?us-ascii?q?pZb5MDOS0+QAqm6W5PduW+Kojm4osQBxoj63y8cvlIbJnIQVylPD9SV/wYc6O8?= =?us-ascii?q?W4SFJhbdG4F5tQsieXPJZ1TMM6W2xluyU3xqcCtJO/ZiQHy5YqywTCZ/GFa4SE?= =?us-ascii?q?/xDuWeWLLTtmi39pYrCyihio/UWiyeDxUNS/3kxQoSpfiNbMs2gA1xzN5ciDTf?= =?us-ascii?q?tw5kKh2DmS2wzJ6eFLP1o0lazYK54mxL4xl4QcsVzfHiPshEr2i6qWel0l+uiu?= =?us-ascii?q?9evnfq3rq5yfOoNujgzzNr4il8+9DOgiLwQDXXCX+eGm273i+U35Tq9Kjvozkq?= =?us-ascii?q?TBrJ/aJd4bpq+iAw9J04Ys8RC/ACm83NsDg3YHNlRFdw+bj4XyOFHBPur4DfG8?= =?us-ascii?q?g1Srljdqxu7JPqX9ApnXMnfDl7Lhca5n60FA0Aoz0cxf55VMB74dOv3zX0vxuM?= =?us-ascii?q?XcDh84KAy03/3qCM5914MbQWKAGLWVMKLUsV+S5+IgOfOAZIEPuDzlMfgq++bu?= =?us-ascii?q?jWMlmV8aZaSmwZwXaGmhEvt6J0WZfGHjj8waEWYKuwo+VPblhEeDUT5VfXayXr?= =?us-ascii?q?gz6is1CIK8Xs//QdWTjaaL2z20E5tbUU1DEl6FHHHnep/WE6RfRjiVJ5pKkiYF?= =?us-ascii?q?TqSgQoksnTujrgn21/IzJerO+zYEtJvl2Z5/6vfVmQ0a9jFuCcea1XOAV30ylW?= =?us-ascii?q?QNEWxllJtjqFBwnw/QmZNzhOZVQIRe?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AhDwDmOAhZ/xFXY1hcHQEFAQsBhDeBD?= =?us-ascii?q?INoiwuQOZJ8hSEogkaDNoUAFAEBAQEBAQEBAQEBaiiCMyCCOjIPASIWQwImAmw?= =?us-ascii?q?GAgEBhW6EMJ4VkAyCJotKgQuFVIIJC4cZEgEogkAMLhKCTQWWVoZ+gVs1hQuNe?= =?us-ascii?q?FWEYoNChmOLRohrNiF/C04hgUUOgycMgkV0hluCLgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AhDwDmOAhZ/xFXY1hcHQEFAQsBhDeBDINoiwuQOZJ8hSE?= =?us-ascii?q?ogkaDNoUAFAEBAQEBAQEBAQEBaiiCMyCCOjIPASIWQwImAmwGAgEBhW6EMJ4Vk?= =?us-ascii?q?AyCJotKgQuFVIIJC4cZEgEogkAMLhKCTQWWVoZ+gVs1hQuNeFWEYoNChmOLRoh?= =?us-ascii?q?rNiF/C04hgUUOgycMgkV0hluCLgEBAQ?= X-IronPort-AV: E=Sophos;i="5.37,403,1488841200"; d="scan'208";a="222111403" Received: from serv1.kernkonzept.com (HELO mx1.kernkonzept.com) ([88.99.87.17]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 May 2017 09:49:44 +0200 Received: from [178.24.73.78] (helo=esme.dd1.int.kernkonzept.com) by mx1.kernkonzept.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.89) id 1d5SYw-0004cI-Md; Tue, 02 May 2017 09:49:34 +0200 From: Christiane Berndt Message-ID: Date: Tue, 2 May 2017 09:49:32 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 To: Verborgene_Empfaenger: ; Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: [Caml-list] Kernkonzept is hiring! Dear all, [My excuses if see this email more than once] Kernkonzept seeks outstanding formal-methods experts to join their team in Dresden, Germany. Applicants should have a background in formal methods and software verification. Please visit http://kernkonzept.com/jobs.html for the concrete job descriptions. Kernkonzept is a small and friendly operating-systems engineering company that leverages the microkernel-based L4Re operating system for industrial use. The formal-methods engineers at Kernkonzept will have the task to prepare the safety and security certification of the L4Re system according to different international standards. If you are interested or have questions, please contact us at jobs@kernkonzept.com. Kind regards, Christiane Berndt -- christiane.berndt@kernkonzept.com - Tel. 0351-41 888 615 http://www.kernkonzept.com Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth