Email Gateway (Apr 10 2024 at 05:47): Email Gateway (Apr 10 2024 at 05:47):From: Yong Kiam <tanyongkiam@gmail.com>
Dear all,
(Apologies for multiple copies)
We are jointly advertising for several open PhD and postdoc positions in
PL/FM at the School of Computer Science and Engineering
<https://www.ntu.edu.sg/scse>, Nanyang Technological University (NTU),
Singapore <https://www.ntu.edu.sg/>.
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://www3.ntu.edu.sg/home/luke.ong/Vacancies/phd.html
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://personal.ntu.edu.sg/yangliu/
contact: yangliu@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://dl.acm.org/doi/abs/10.1145/3591224. 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@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://tanyongkiam.github.io/advert.html for contact and
other details.
Conrad and Yong Kiam would also like to draw attention to A*STAR's graduate
scholarships (
https://www.a-star.edu.sg/Scholarships/for-graduate-studies/overview).
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.
Last updated: May 04 2024 at 20:16 UTC