[TYPES/announce] Multiple PhD and postdoc positions in PL/FM at Nanyang Technological University, Singapore

Dr Conrad Watt (Asst Prof) conrad.watt at ntu.edu.sg
Mon Apr 22 01:37:57 EDT 2024


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: yangliu at ntu.edu.sg


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: conrad.watt at ntu.edu.sg


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240422/22e02558/attachment-0001.htm>


More information about the Types-announce mailing list