Research Associate (DesCartes – WP1)
Job offer posted on 25 march 2022
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.
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 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 developed 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.
WP1 is looking for a Research Assistant in Formal Methods to develop verification framework and tools for AI systems, e.g. Neural Networks, which may operate in uncertain physical environments. The objective is to provide different guarantees about these AI systems, focusing on using knowledge about the environment to improve the methods and guarantees provided.
EXPERIENCE & QUALIFICATIONS
– Bachelor Degree/ Master’s Degree
– Background and research experience in Program Analysis and repair.
– Experience on programming environment.
– Research experience in Cyber-Physical Systems (CPS).
FURTHER INFORMATION & CONTACT
Salary Range: SGD4,000 to SGD6,300 (depending on suitability and experience)
Workplace Address: CREATE Tower, 1 Create Way #08-01 Singapore 138602
Interested applicants please send your resume to
Abhik Roychoudhury (Prof) – email@example.com and
Blaise Genest (Prof) firstname.lastname@example.org.
– Please attach your full CV, with the names and contacts (including email addresses) of two character referees.