Probabilistic and Statistical Verification

Sampling-based solution methods for verifying random or chance properties.

Visible to the public Postdoc and PhD positions in Assured Machine Learning, NTU, Singapore

Project Description: Over the last few years, Artificial Intelligence (AI) systems have achieved super-human performance in specific yet complex tasks across diverse environments (e.g., image recognition, language translation, complex games like Go). Given their effectiveness, we aim to employ AI (or Agent) Training Programs (ATPs) to generate scenarios automatically for training (on specific tasks) in safety-critical applications while addressing the issue of trust to improve adoption:


Visible to the public Postdoc positions in Safety Assurance for Machine Learning @ NTU, Singapore

Position type: Postdoc (Research Fellow) for 3 years.

Salary range: Between S$4500 and S$6000 monthly depending on background and experience.

Expected qualifications: PhD in Computer Science, Computer Engineering or related fields.

Number of positions: 2

Research topics:

1. High assurance techniques for efficient runtime detection of out-of-distribution images in vision based applications for CPS (training space characterization).


Visible to the public  MEMICS 2016
Oct 21, 2016 7:00 am - Oct 23, 2016 6:00 pm CEST

11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)

Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people.