From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-yb1-xb40.google.com (mail-yb1-xb40.google.com [IPv6:2607:f8b0:4864:20::b40]) by inbox.vuxu.org (Postfix) with ESMTP id A1A0428FE3 for ; Thu, 4 Apr 2024 16:08:37 +0200 (CEST) Received: by mail-yb1-xb40.google.com with SMTP id 3f1490d57ef6-dcd94cc48a1sf1738129276.3 for ; Thu, 04 Apr 2024 07:08:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1712239716; x=1712844516; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-sender:mime-version:subject :message-id:to:from:date:sender:from:to:cc:subject:date:message-id :reply-to; bh=eHH9lN9bAdbeusj0xvGsY887eALmrrMscwD5jZYr030=; b=JP4NF+UNZGGlJBsgM8H7xiIYyMRp2cm6VY4SGiN7Nkklncp53jbNSIWNzHBS3xTfyX BtskZIzxBchTjF4C6/1wZjFJS6Gld47L/brXzsjSms7xxMOdlUIlNUGD2x2rknDtPWep CY/6kFyYMW6BPFDsiy/nTFxb3CBuvrFydfrdjC3EiS11r44eBwfwUm+PfG99ZXTfh1pv YnvFaYNlEzsa4/q2TmT7sd+RWTYIZF0oftc7H9qYt81NIhv20ckSBZq0jvBRk7fsFl9z ibTt9Q5J7TsvYQg1nxjGJ4otq9xnaq2bfS2z8LYEEltoHPtU6Mzv9uBrebfPzPYCHYWh M47Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1712239716; x=1712844516; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-sender:mime-version:subject :message-id:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=eHH9lN9bAdbeusj0xvGsY887eALmrrMscwD5jZYr030=; b=b4vTwu0szLtB4PL8zMRoTStvuN+QDXISV5swKwhKVHWPmmn0fkhDbkeVRtPgfQT6f+ qAcLa4XCpUbJSLUfggWVvFOhKItZWN9F6OPf15EquFtSohWQAHBC8QiJttxBFx9Fbfom czcXCCXWfpLNsQfl/d6lQ9QKmJx56Cjax/K47jKTqYWxNIht3na6NY3aXDSCGDeLhzo4 8ZN5RtxOUpBuKiNidRd6UPHLmXmUsPXkGBQL2JCCGm/VOrlm1kNRJEQ1ZBzzIoymwDiK yA8II51jhbLQTksaBjv+FD9novk525Orx2yFrenPENwac59tbSB4L7oLE21D9azMcAaJ jf7A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1712239716; x=1712844516; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=eHH9lN9bAdbeusj0xvGsY887eALmrrMscwD5jZYr030=; b=TQIb+1XZYvhKhtoV3XNwPANjPYVtdw42s1reO0Vfdmddx+OoGH5NJVwl0gQ3aefTgb Z39xsOTPtwstbvdNQ6sxMEqdthMwajwY+S+0tRfQ+ISamJlsF/4ogX1bD/0yJXRetSIb dO0Kdv6n/VwGnjKIaCNpxhXn5Gh2pNymRCNiy3PKTt8nmy7coTIfjdOvq9kWOiAfQrQh Etu8kukcTZfAkOX5ClywXLy2MiLZ5veg1jGwQ+8eD3vrZvEepXHa2DpsYA7fkbGMpW1M Zzk7JM4iNpPtYdWoF0uM+XdKbbzS96wvYq4HSEv7+HEjSUZpQylqShRZFhcNEqfZhdNJ 36KQ== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=1; AJvYcCWt67Q/EmHlxIvVqjPtf+kE1dZH7sPdo7E+YhXqjj2QkQ46MM30p9wkUX+HVWIbALBTuUjMaXik3HfNOdFuhnfzOQ== X-Gm-Message-State: AOJu0YzNIbbq48ObEReq+fECmK6NcJbHiG6wP/KiVt36NyaeXaOzIKDa u5N67SlSPFM7bfCFbai9EU2jDh0KJPkos34VfA3lKZ8ciNG73DLp X-Google-Smtp-Source: AGHT+IHOuQ3RmJVDI7X1+OCJbkEeYA5dIqDEwBK4bPox3m6VxhyG7Bmxpa8qf7/xMHWI52tJjHe2+g== X-Received: by 2002:a05:6902:2b87:b0:dcb:b3dd:4f95 with SMTP id fj7-20020a0569022b8700b00dcbb3dd4f95mr2980550ybb.43.1712239714457; Thu, 04 Apr 2024 07:08:34 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:c4c5:0:b0:dcd:202d:6be8 with SMTP id u188-20020a25c4c5000000b00dcd202d6be8ls1301291ybf.2.-pod-prod-08-us; Thu, 04 Apr 2024 07:08:32 -0700 (PDT) X-Received: by 2002:a05:6902:2b10:b0:dc6:53c3:bcbd with SMTP id fi16-20020a0569022b1000b00dc653c3bcbdmr719481ybb.7.1712239712169; Thu, 04 Apr 2024 07:08:32 -0700 (PDT) Date: Thu, 4 Apr 2024 07:08:31 -0700 (PDT) From: Kristina Sojakova To: Homotopy Type Theory Message-Id: <54cf4142-66b2-4efa-bb0f-16dedaa883f1n@googlegroups.com> Subject: [HoTT] PhD Studentship at VU Amsterdam MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_64154_2005451826.1712239711325" X-Original-Sender: sojakova.kristina@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , ------=_Part_64154_2005451826.1712239711325 Content-Type: multipart/alternative; boundary="----=_Part_64155_1218935702.1712239711325" ------=_Part_64155_1218935702.1712239711325 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, Klaus von Gleissenthall and I are looking for a PhD student to develop=20 effective and scalable tools to guard against side-channel attacks. In=20 hardware, an attacker can measure certain physical quantities such as the= =20 time elapsed or the power consumed during a computation to recover a=20 surprising amount of secret information. Such attacks are easy to=20 implement, difficult to detect, and powerful against strong encryption=20 mechanisms. As part of the PhD research we will apply techniques from the= =20 analysis of cryptographic protocols and adapt them to the setting of=20 hardware to design a novel verification framework for processors.=20 Your duties will be to carry out research towards writing a PhD thesis at= =20 the department of Computer Science at the Vrije Universiteit in=20 Amsterdam, collaborate with PhD students, postdocs and staff members within= =20 the department, and perform light supervision tasks (roughly 15% of your= =20 time), for instance supervising Master and/or Bachelor thesis=20 projects. There will be opportunities to take courses for professional and= =20 personal development. We offer a salary of =E2=82=AC 2.770,00 to =E2=82=AC 3.539,00 gross per mon= th in the fourth=20 year for a full-time employment, a holiday leave entitlement of 232 hours= =20 per year, 8% holiday allowance and 8.3% end-of-year bonus, contribution to= =20 commuting expenses, optional model for designing a personalized benefits=20 package, and a solid pension scheme (ABP). If you are interested, you can drop me a message. Best wishes, Kristina --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/54cf4142-66b2-4efa-bb0f-16dedaa883f1n%40googlegroups.com= . ------=_Part_64155_1218935702.1712239711325 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

Klaus von= Gleissenthall and I are looking=C2=A0for a PhD student to develop effectiv= e and scalable tools to guard against side-channel attacks. In hardware, an= attacker can measure certain physical quantities such as the time elapsed = or the power consumed during a computation to recover a surprising amount o= f secret =C2=A0information. Such attacks are easy to implement, difficult t= o detect, and powerful against strong encryption mechanisms. As part of the= PhD research we will apply techniques from the analysis of cryptographic p= rotocols and adapt them to the setting of hardware to design a novel verifi= cation framework for processors.

Your duties wi= ll=C2=A0be to carry out=C2=A0research towards writing a PhD thesis at the d= epartment of Computer Science at the Vrije Universiteit in Amsterdam,=C2=A0= collaborate with PhD students, postdocs and staff members within the depart= ment,=C2=A0 and perform=C2=A0light supervision tasks (roughly 15% of your t= ime), for instance supervising Master and/or Bachelor thesis projects.=C2= =A0There will be opportunities to take courses for professional and persona= l development.

We offer a salary of =E2=82= =AC 2.770,00 to =E2=82=AC 3.539,00 gross per month in the fourth year=C2=A0= for a full-time employment, a holiday leave entitlement of 232 hours per ye= ar, 8% holiday allowance and 8.3% end-of-year bonus, contribution to commut= ing expenses, optional model for designing a personalized benefits package,= and a solid pension scheme (ABP).

If you are in= terested, you can drop me a message.

Best wishes= ,

Kristina

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.c= om/d/msgid/HomotopyTypeTheory/54cf4142-66b2-4efa-bb0f-16dedaa883f1n%40googl= egroups.com.
------=_Part_64155_1218935702.1712239711325-- ------=_Part_64154_2005451826.1712239711325--