Recruitment

I generally have funding for master's / PhD students and postdoc positions in formal methods (specific details below).

Topics of interest include:

Trustworthy automated reasoning
Goal: To build practical, formally verified certification mechanisms and frameworks for automated reasoning tools (see here).
Examples: AAAI'24, IJCAR'24
Verification of (randomized) algorithms
Goal: To formally verify state-of-the-art automated reasoning algorithms, where either the algorithm or the system being analyzed (or both) have probabilistic behavior.
Examples: CAV'24 (distinguished paper award)
Verification of hybrid systems and control
Goal: To develop and apply logics for control-theoretic reasoning in hybrid systems, and to mechanize these developments in a proof assistant.
Examples: HSCC'22 (best paper and RE award), PhD thesis (distinguished dissertation award)
Compiler verification and optimization
Goal: To enhance the verified CakeML compiler and associated tools, especially in support of the above goals.
Examples: JFP, PLDI'23
I am also interested in formalized mathematics, computer-aided cryptography, and formalization in theoretical computer science.

Please also take a look at my home page (publications, tools, etc.) for a more detailed sampling of my interests.

General requirements

I am looking to work with students / postdocs with background and research interests in formal methods, with a focus on deductive verification and interactive theorem proving.

Candidates with adjacent background, e.g., relevant topics in logic, mathematics, or computer science, are also welcome.

All positions are fully funded with competitive stipends/salaries.

They are based in Singapore and require fluency in English. (students have specific requirements, see below)

Most of the topics will also require working with proof assistants such as Isabelle/HOL, HOL4, and KeYmaera X.

Note: Please feel free to email me (tanyongkiam+recruitment@gmail.com) for a preliminary chat even if you are unsure of your plans.

For recruitment matters, please ONLY contact me via the above email address.

Master's / PhD students

Multiple fully-funded student positions are available at the College of Computing and Data Science (CCDS), Nanyang Technological University, Singapore.

Candidates must apply and be admitted to the NTU CCDS research programme, including meeting all of the admission requirements.

There are two intakes each year (August and January) with respective application deadlines.

Please email me directly at tanyongkiam+recruitment@gmail.com for a discussion before you apply.

Include a CV, a brief description of your academic background (especially any prior research experience), and the research topic(s) you intend to work on with me.

Other supporting material can be included as needed.

(Bonus) Pick a recent paper involving formal methods (perhaps even one of mine), write a 1 to 2 page critique of it, and attach it in your email.

Postdocs

(Nov 2025) I am not actively looking for postdocs at this time, although some funding is available.

I am happy to talk to candidates whose research interests are exceptionally close to mine (see research topics listed above).

Please email me directly at tanyongkiam+recruitment@gmail.com for an initial informal discussion.

It would be helpful if you shared your CV, a brief description of your current research (with pointers to relevant papers), and what you intend to work on as a postdoc with me.