Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The PhD will be carried out at LRGP (Laboratoire
-
density functional to ab initio methods coupled to effective field theory) and related numerical and formal techniques. We are particularly fond of interdisciplinary connections and emerging technologies
-
of 3D crystalline structures; – depending on the candidate's profile, implementing machine learning methods (AI & machine learning) for the analysis of physicochemical data from the hpmat.org database
-
. Research within LIG is organized into 5 focus areas: Intelligent Systems for Bridging Data, Knowledge and Humans, Software and Information System Engineering, Formal Methods, Models, and Languages
-
• Supervision of interns, collaboration with PhD students The team investigates logical foundations and formal methods for quantum programming languages leveraging on a strong expertise in linear logic, lambda
-
the formal and functional properties of gestures and their relationship to discourse. - Support for computational modeling: o Contributing to the gesture–speech modeling carried out by Loria, based
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The PhD will be completed
-
engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing