Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
University, is recognized for its expertise in artificial intelligence and formal methods In this stimulating academic context, we will focus on the problem of explainability of artificial intelligence models
-
an assistant that offers real-time feedback and recommendations without disrupting agile development? Objectives The PhD will develop the ReqSecDes framework by combining AI-driven extraction and formalization
-
shortage of specialized expertise, the lack of systematic methods to refine abstract security goals such as confidentiality, integrity, or availability into actionable design decisions, and the absence
-
/candidatOffres/show/id_offre/133503 Requirements Specific Requirements Master’s students Required skills: machine learning, software engineering, cybersecurity, formal methods Additional Information Work Location
-
years [1], we are in great need of alternative, energy-saving methods of calculation, so that the large-scale rise in AI does not lead to widespread disillusionment. In addition, embedded systems
-
Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description RESEARCHER PROFILE: Postdoc / R2: PhD holders RESEARCH FIELD(S)1
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security
-
on fluctuation of fluorescent molecules methods as they don’t need any specific materiel or fluorophore. The super-resolved image reconstruction is formalized in mathematical terms as an inverse problem with
-
professors, researchers, postdoc and PhD candidates about the administrative steps to be undertaken prior to arrival at AMU and the various practical formalities to be completed once in France: visas and entry
-
these active modules in complex networks have been proposed [1] and are being studied by the SPARKS team at I3S [2-3]. The mission of the recruited researcher will be to develop a method for identifying active