From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id KORMKftOyV8NYgAA0tVLHw (envelope-from ) for ; Thu, 03 Dec 2020 20:47:55 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id WFcSJftOyV9lWAAAB5/wlQ (envelope-from ) for ; Thu, 03 Dec 2020 20:47:55 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 571AE9409E4 for ; Thu, 3 Dec 2020 20:47:55 +0000 (UTC) Received: from localhost ([::1]:56260 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kkvW6-0006zn-2i for larch@yhetil.org; Thu, 03 Dec 2020 15:47:54 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:43642) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kkvVx-0006za-2s for guix-devel@gnu.org; Thu, 03 Dec 2020 15:47:45 -0500 Received: from lepiller.eu ([89.234.186.109]:47124) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kkvVu-0006qj-Pe for guix-devel@gnu.org; Thu, 03 Dec 2020 15:47:44 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 156296cc; Thu, 3 Dec 2020 20:47:37 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:message-id:mime-version:content-type :content-transfer-encoding; s=dkim; bh=+AMGikeAA0mlq7P9J1uZ/EKBq I8FsdmIVybMOBK7f88=; b=hVApg56cVzMzcf9dV0N7JMUnEa1WhmsmdeoqHNAmx bxYHpwGFZfQCaj6R5AK0yiF/Q5/iAXsBSPqweZsSgpAXaPFahx6UruDfF0KdD7B9 0i/N3jQ7fkTaqUGtnPy6aEheFuKAHe8C655DONaRL9kTqe0KnRs+NaArfuIbXf1o +ml5WW4MGdeHCweKrB0y01/zDldX6njpv5qR9FqR6V9ElcCOGThzv77UiLZuc1CZ V7eCW/njYLPJFp2S6wpwQWgeetphjFPGXyV2h8uRtmsr+1L5zUtfJMpmPRiMkAV0 bTHnPufSpRm/bsk82xJh3vIdb4wXPVuVqrgKpSyQamKFA== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 97926887 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Thu, 3 Dec 2020 20:47:36 +0000 (UTC) Date: Thu, 3 Dec 2020 21:47:26 +0100 From: Julien Lepiller To: guix-devel@gnu.org, bootstrappable@freelists.org Subject: PhD position in the area of secure software supply chain Message-ID: <20201203214726.5b2676da@tachikoma.lepiller.eu> X-Mailer: Claws Mail 3.17.8 (GTK+ 2.24.32; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=lepiller.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -2.98 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=hVApg56c; dmarc=pass (policy=none) header.from=lepiller.eu; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 571AE9409E4 X-Spam-Score: -2.98 X-Migadu-Scanner: ns3122888.ip-94-23-21.eu X-TUID: PkrtYnX0RYri Hi Guix and bootstrappable! If any of you is considering starting a PhD, there is one position at KTH (Sweden). The topic is on bootstrapping and DDC (double divers compilation), and it's all motivated by the Trusting Trust talk by Ken Thompson, which is very famous in our community I think :) Please see the following link for details and application: https://softwarediversity.eu/hardening-the-software-supply-chain-with-multi-compilers/ Note that you won't work with me, I'm only relaying what I think is a great opportunity if you're in that stage in your studies. It's really awesome to see something like that, so close to some of our favorite topics :)