GoToPhD logoGoToPhD
Back to Programs

Singapore · Singapore

Postdoctoral Researcher — Jingxuan He Group, NTU

Nanyang Technological University

Funding
Funding unknown
Deadline
Rolling
Tuition
—
Duration
—

Research Areas

AI for codeprogramming languagescomputer securitysecure code generationformal verificationAI safetytypingcompilationformal proofsmodel training

Verified Opportunity Details

Supervisor

Jingxuan He

Eligibility & Requirements

  • Solid computer science fundamentals; interest in AI safety, programming languages, security verification, or deep learning

How to Apply

Open application route

Sources

Community Q&A

0 questions
0/1000

No questions yet. Be the first to ask one.