Postdoctoral - Machine Learning

School/Institution:CEA TECH, France, Grenoble

Discipline: Machine Learning

Employment Type:Full-time

Posted:2020-05-07

Contact Person:If you wish to apply for this position, please specify that you saw it on AKATECH.tech

PhD position - Formal Specification for Machine Learning Algorithms
JOB DESCRIPTION
SL-DRT-20-0764
RESEARCH FIELD
Artificial intelligence & Data intelligence
ABSTRACT
Machine Learning techniques, Neural Networks in particular, are going through an impressive expansion, permeating various domains from autonomous vehicles to judicial and medical assistance. This effervescence, however, may hold more than benefits, as it slowly but surely reaches critical systems such as autonomous transportation, robotics, or banking. Indeed, the remarkable efficiency of neural nets comes at a price: weakness to adversarial perturbations, lack of formal specification of desired NN properties, behavioral unpredictability...Recent efforts aim at adapting the plethora of methods that help validate "traditional" software to Machine Learning. This thesis follows this line of research by focusing on an essential component of the V&V discipline: formal specifications. In other words, under what form the properties of an AI system can be expressed so as to be readily "understood" by a computer. This thesis is complementary to another thesis that already started in our lab, that focuses on verification technologies.
LOCATION
Département Ingénierie Logiciels et Systèmes (LIST)
Laboratoire pour la Sûreté du Logiciel
Saclay
CONTACT PERSON
CHIHANI Zakaria
CEA
DRT/DILS//LSL
bâtiment 862, bureau 1024CEA Saclay91191 Gif sur Yvettes
Phone number:
Email: zakaria.chihani@cea.fr
UNIVERSITY / GRADUATE SCHOOL
Paris-Saclay
Sciences et Technologies de l’Information et de la Communication (STIC)
START DATE
Start date on
THESIS SUPERVISOR
SIGNOLES Julien
CEA
DRT/DILS//LSL
Phone number: 0169080018
Email: Julien.Signoles@cea.fr
JOB DETAILS
Title PhD position - Formal Specification for Machine Learning Algorithms
Employer CEA Tech
Job location 17 rue des martyrs, F-38054 Grenoble
Published February 22, 2020
Application deadline October 31, 2020
Job types PhD
Fields Artificial Intelligence,   Artificial Neural Network,   Data Mining,   Big Data,   Machine Learning

PhD position - Formal Specification for Machine Learning Algorithms

 

JOB DESCRIPTION

 

SL-DRT-20-0764

 

RESEARCH FIELD

Artificial intelligence & Data intelligence

 

ABSTRACT

Machine Learning techniques, Neural Networks in particular, are going through an impressive expansion, permeating various domains from autonomous vehicles to judicial and medical assistance. This effervescence, however, may hold more than benefits, as it slowly but surely reaches critical systems such as autonomous transportation, robotics, or banking. Indeed, the remarkable efficiency of neural nets comes at a price: weakness to adversarial perturbations, lack of formal specification of desired NN properties, behavioral unpredictability...Recent efforts aim at adapting the plethora of methods that help validate "traditional" software to Machine Learning. This thesis follows this line of research by focusing on an essential component of the V&V discipline: formal specifications. In other words, under what form the properties of an AI system can be expressed so as to be readily "understood" by a computer. This thesis is complementary to another thesis that already started in our lab, that focuses on verification technologies.

 

LOCATION

Département Ingénierie Logiciels et Systèmes (LIST)

 

Laboratoire pour la Sûreté du Logiciel

 

Saclay

 

CONTACT PERSON

CHIHANI Zakaria

 

CEA

 

DRT / dils // LSL

 

bâtiment 862, bureau 1024CEA Saclay91191 Gif sur Yvettes

 

Phone number:

 

Email: zakaria.chihani@cea.fr

 

UNIVERSITY / GRADUATE SCHOOL

Paris-Saclay

 

Sciences et Technologies de l'Information et de la Communication (STIC)

 

START DATE

Start date on

 

THESIS SUPERVISOR

SIGNOLES Julien

 

CEA

 

DRT / dils // LSL

 

Phone number: 0169080018

 

Email: Julien.Signoles@cea.fr

 

 

JOB DETAILS

Title PhD position - Formal Specification for Machine Learning Algorithms

Employer CEA Tech

Job location 17 rue des martyrs, F-38054 Grenoble

Published February 22, 2020

Application deadline October 31, 2020

Job types PhD

Fields Artificial Intelligence, Artificial Neural Network, Data Mining, Big Data, Machine Learning

Contact Person: If you wish to apply for this position, please specify that you saw it on AKATECH.tech

Last viewed: