<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof"><span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">We have two open fully-funded PhD positions
at Nanyang Technological University, Singapore, for the August 2024 intake. Please find details below. With apologies, the university's deadline for initial registration of interest is 31 January.</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Conrad Watt, Assistant Professor</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">I have an open fully-funded PhD position for PL research, broadly construed,
related to the WebAssembly programming language and virtual machine.</span><span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); font-weight: 400;"> A
successful applicant will have the opportunity to work closely with WebAssembly's industrial standards body and inform the future direction of the language.</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Possible topics include mechanisation - building on our existing WasmCert-Isabelle
and WasmCert-Coq models of WebAssembly, object-oriented type theory - analysing the language's recent Garbage-Collected Types extension, and concurrency semantics - reasoning about proposed extensions to WebAssembly's concurrent memory model. More practical
topics such as performance analysis would also be welcomed.</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Bio: Before joining NTU I was a Research Fellow at Peterhouse, University
of Cambridge. I currently co-chair the WebAssembly Community Group, the language's main industrial standards body.</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">To learn more: https://conrad-watt.github.io/</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Please contact me by email (conrad.watt@ntu.edu.sg) if you are interested.</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Dmitrii Ustiugov, Assistant Professor</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">I have an open fully-funded PhD position for a highly motivated student
who is interested in exploring programming model and operating system co-design for cloud and serverless computing and/or systems support for ML (e.g., LLM inference serving).</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">My work spans the domains of computer systems and architecture with a
focus on designing fast, scalable, and resource-efficient cloud systems, innovating across the hardware and software stack. Also, I am leading the vHive open-source ecosystem for serverless experimentation and innovation across the deep distributed HW/SW stack
used in 30+ academic and 8+ industry organisations.</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Bio: I received a PhD degree in Computer Science from the University of
Edinburgh, UK and was co-supervised at EPFL, Switzerland. Before joining NTU, I was a Postdoctoral Researcher at ETH Zurich.</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">To learn more: https://ustiugov.github.io/</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Please contact me by email (dmitrii.ustiugov@ntu.edu.sg) if you are interested.</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;"><br>
</span></div>
<div style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Best wishes</span></div>
<div class="elementToProof" style="text-align: left; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 400;">Conrad Watt and
</span><span style="letter-spacing: normal; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); font-weight: 400;">Dmitrii Ustiugov</span></div>
<hr>
<p style="font-size:10pt; color:#808080;font-family: 'Arial';">CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy,
use, or disclose its contents. <br>
Towards a sustainable earth: Print only when necessary. Thank you. </p>
</body>
</html>