Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 14 hours ago
strategies in complex, uncertain environments. Methodology The methodological pathway follows a generic-to-specific progression: defining a model-agnostic formalism to couple black-box PBM with reinforcement
-
Responsibilities Conduct foundational research in adversarial machine learning, exploring novel attack vectors and defense mechanisms for AI agents and large language models. Develop formal verification methods and
-
the project “Modeling of optically excited states in periodic and molecular systems with the self-consistent Green's function methods” financed by the NAWA Returns grant awarded by Polish National Agency
-
Bayesian computational methods for such (ill-posed) inverse problems and aims both at increasing their validity and at reducing their computational cost. In this project, we will focus on increasing validity
-
research, teaching or mixed experience • documented experience in preparative organic synthesis • knowledge of polymer chemistry will be an advantage • hands-on experience in chromatographic methods (GC
-
benefits are in accordance with the German public sector scale, TV-L E13. Your Qualification: Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry). Master's
-
scattering and by pump-and-probe methods of standard and topological phonons in silicon and 2D materials; Advance experimental methods to study topological phonon waveguides and their coupling to phonon