Probabilistic and Statistical Verification

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

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.