<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">
<p class="elementToProof" style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">We are jointly advertising for several open PhD and postdoc positions in PL/FM at the
</span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(51, 102, 153);"><a href="https://urldefense.com/v3/__https://www.ntu.edu.sg/scse__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF18PpOWVY$" id="OWAdba319f3-55fe-60ad-71a5-678a4a16eb20" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(51, 102, 153); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">School
of Computer Science and Engineering</a></span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">,
</span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(51, 102, 153);"><a href="https://urldefense.com/v3/__https://www.ntu.edu.sg/__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1WM7Amao$" id="OWA08710c6c-0769-ef69-be18-b3f1f3d1bc88" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(51, 102, 153); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">Nanyang
Technological University (NTU), Singapore</a></span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">PhD positions are fully funded, and will be for the January 2025 or August 2025 intake at SCSE, NTU.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Details of the postdoctoral positions vary, but they are open to candidates with PhD-level qualifications in a range of topics in PL/FM. Please see below for further information
on individual openings; interested candidates should contact us directly.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 700;">Luke Ong, Professor</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 12pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">We invite motivated and well-qualified candidates to work on Bayesian Statistical Probabilistic Programming, as part of a research programme funded by the National Research
Foundation, Singapore.</span></p>
<p style="direction: ltr; line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 12pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">The appointees will work in the Probabilistic Programming Lab, where research is carried out on a wide range of topics, especially in the interface of programming languages,
machine learning, and Bayesian statistics, but also in allied areas in semantics of computation, formal methods and verification, and in logic and algorithms.</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Bayesian Statistical Probabilistic Programming lies in the interface of programming languages, machine learning, and Bayesian statistics. These positions will suit researchers
with expertise in one (or more) of the three areas, and are interested and committed to collaborating with experts in the other areas.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Further details are available at
</span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://www3.ntu.edu.sg/home/luke.ong/Vacancies/phd.html__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1iONBmBk$" id="OWA72cc65f8-b691-aa71-d2a3-b6111dd6ad55" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">https://www3.ntu.edu.sg/home/luke.ong/Vacancies/phd.html</a></span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 700;">Yang Liu, Professor</span></p>
<p style="direction: ltr; line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(34, 34, 34);"> </span></p>
<p style="direction: ltr; line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">I have fully-funded PhD positions available for PL/SE/Security on web3 security (smart contract and runtime monitoring), AV security and robustness, and Large Language Model
(LLM) applications: applying LLM for FM (specification/property generation, proof automation), LLM for security (vulnerability detection via static analysis or fuzzing, vulnerability repair), LLM for SE (multi-agent software development), LLM security (prompt
injection, jailbreak, defence against LLM attacks).</span></p>
<p style="direction: ltr; line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">website: https://personal.ntu.edu.sg/yangliu/</span></p>
<p style="direction: ltr; line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">contact: yangliu@ntu.edu.sg</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 700;">Conrad Watt, Assistant Professor</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">I have fully-funded PhD positions available for PL research, broadly construed, related to the WebAssembly programming language and virtual machine. 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></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">I am also looking to recruit postdocs with experience in mechanised theorem proving and programming language semantics, to work on advanced extensions and applications of the
WasmCert-Isabelle mechanisation of WebAssembly and related artefacts. A key theme of this work will be driving industrial adoption of verified artefacts - for example, see
</span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://dl.acm.org/doi/abs/10.1145/3591224__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1CYofC4g$" id="OWA5db55a1e-5e19-839d-bb23-e859a7c1607e" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">https://dl.acm.org/doi/abs/10.1145/3591224</a></span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">.
Experience with Isabelle/HOL would be highly desirable. Funding is available for up to 4 years of full-time employment.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">website: conrad-watt.github.io</span></p>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">contact: conrad.watt@ntu.edu.sg</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); font-weight: 700;">Yong Kiam Tan, (incoming) Assistant Professor</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">I am interested in applications of deductive verification and interactive theorem proving in automated reasoning, compilers (CakeML), randomized algorithms, hybrid systems,
and cryptography. I am recruiting up to three PhD students and three postdocs for these topics under a new Singapore NRF fellowship project.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Please visit
</span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://tanyongkiam.github.io/advert.html__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1YcVlxXs$" id="OWAaaa97cbb-84b3-051c-0454-2d33815b735e" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); text-decoration: none; margin-top: 0px; margin-bottom: 0px;">https://tanyongkiam.github.io/advert.html</a></span><span style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"> for
contact and other details.</span></p>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Arial, sans-serif; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">Conrad and Yong Kiam would also like to draw attention to A*STAR's graduate scholarships (</span><span style="color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://www.a-star.edu.sg/Scholarships/for-graduate-studies/overview__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF14VJqxDo$" id="OWA193380e1-1fed-b8fe-75b0-ea3c35c7eff7" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); text-decoration: none;">https://www.a-star.edu.sg/Scholarships/for-graduate-studies/overview</a></span><span style="color: rgb(0, 0, 0);">).
These competitive national awards offer enhanced support for exceptional PhD applicants, who we would jointly supervise in a project related to the intersection of WebAssembly and CakeML. Please contact us for more details.</span></div>
<div class="elementToProof" style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Best wishes</div>
<div class="elementToProof" style="font-family: Arial, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Conrad Watt</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>