[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are jointly advertising for several open PhD and postdoc positions in PL/FM
at the School of Computer Science and
Engineering<https://urldefense.com/v3/__https://www.ntu.edu.sg/scse__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF18PpOWVY$
>, Nanyang Technological University (NTU),
Singapore<https://urldefense.com/v3/__https://www.ntu.edu.sg/__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1WM7Amao$
>.
PhD positions are fully funded, and will be for the January 2025 or August 2025
intake at SCSE, NTU.
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.
Luke Ong, Professor
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.
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.
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.
Further details are available at
https://urldefense.com/v3/__https://www3.ntu.edu.sg/home/luke.ong/Vacancies/phd.html__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1iONBmBk$
Yang Liu, Professor
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).
website:
https://urldefense.com/v3/__https://personal.ntu.edu.sg/yangliu/__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1Rn3GJns$
contact: [email protected]
Conrad Watt, Assistant Professor
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.
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
https://urldefense.com/v3/__https://dl.acm.org/doi/abs/10.1145/3591224__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1CYofC4g$
. Experience with Isabelle/HOL would be highly desirable. Funding is available
for up to 4 years of full-time employment.
website: conrad-watt.github.io
contact: [email protected]
Yong Kiam Tan, (incoming) Assistant Professor
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.
Please visit
https://urldefense.com/v3/__https://tanyongkiam.github.io/advert.html__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF1YcVlxXs$
for contact and other details.
Conrad and Yong Kiam would also like to draw attention to A*STAR's graduate
scholarships
(https://urldefense.com/v3/__https://www.a-star.edu.sg/Scholarships/for-graduate-studies/overview__;!!IBzWLUs!VZAhTqiToOEN2BIiTbX_rXlw_7kG4CpY0CJBZpFk5y2yg-cgKB3-J8c3JY4weKxrVvwVDM5-GV72wdnKzJy_fC3GnHylbjF14VJqxDo$
). 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.
Best wishes
Conrad Watt
________________________________
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.
Towards a sustainable earth: Print only when necessary. Thank you.
