Research Fellow in Formal Methods

Job offer posted on 6 July 2022

DesCartes Program (Work Package 1) is looking for a Research Fellow in Formal Methods to improve trust of AI systems, e.g. by generating input data to improve the learning process, or by analysing and repairing the AI system. The objective is to improve hyperproperties (security, fairness, privacy…), focusing on using physics knowledge to improve the methodology.

DESCARTES PROGRAM

The DesCartes programme is developing a hybrid AI, combining Learning, Knowledge and Reasoning, which has good properties (need for less resources and data, security, robustness, fairness, respect for privacy, ethics), and demonstrated on industrial applications of the smart city (digital energy, monitoring of structures, air traffic control).

The program brings together 80 permanent researchers (half from France, half from Singapore), with the support of large industrial groups (Thales SG, EDF SG, ESI group, CETIM Matcor, ARIA etc.).

The research will take place mainly in Singapore, at the premises of CNRS@CREATE, with a competitive salary and generous funding for missions.

Read more about the DesCartes program here.

DESCRIPTION

In order to provide decision-making capabilities for next generation urban systems, we need to have confidence in the decisions taken by the AI systems.
One of DesCartes aim is to build core capabilities to establish and enhance confidence in the AI systems.
The higher assurance or confidence in AI technologies will come from explanability, and from formal verification and automated repair of AI systems to satisfy crucial hyper-properties such as robustness or fairness. Broader notion of a hybrid AI system will be developped with machine learning models co-operating with a software system and/or physical model, giving us greater flexibility in architecting technical solutions for verification and repair, that will be demonstrated on concrete cyber physical systems.

EXPERIENCE & QUALIFICATIONS

Minimum:

– PhD defended in Computer Science.

– Background and research experience in Formal Methods.

– Experience on programming environment.

Keywords:

  1. Research,
  2. Theoretical computer science,
  3. Logics in computer science,
  4. Algorithms,
  5. Computer science,
  6. Artificial intelligence,
  7. Machine learning,
  8. CPS

FURTHER INFORMATION & CONTACT

Salary range: 6000-7200 (depending on suitability and experience)

Workplace Address: CREATE Tower (NUS Campus), 1 Create Way #08-01 Singapore 138602

Please send a short cover letter describing your suitability for the position, detailed CV with academic ranking (if any) and publication list, a concise description of research interests and future plans, and academic transcripts to:

Abhik Roychoudhury (Prof)

abhik@comp.nus.edu.sg

Blaise Genest (Prof)

blaise.genest@irisa.fr

We will begin reviewing applications for the positions immediately.

Job offer also available on mycareersfuture.gov.sg