Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
of formal theory or quantitative methods. The Term of appointment is based on rank. Positions at the postdoctoral rank are for one year with the possibility of renewal pending satisfactory performance and
-
post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory
-
The Department of Politics at Princeton University seeks applicants for postdoctoral research associates or more senior research positions in the fields of formal theory or quantitative methods
-
research team to contribute to projects at the intersection of AI/ML, real-world data, and health outcomes. The Postdoctoral Researcher will play a key role in developing and applying cutting-edge methods
-
essentially new methods to automatically verify cyber-physical systems. Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods
-
contribute to teaching. Qualifications: You should have (or be close to achieving) a PhD degree. Background within computational methods for inverse problems, ideally tomography. Experience with development
-
live in. Your role Research related to the following areas: Mathematical statistics, Machine Learning, High-dimensional statistics, Robust estimation methods, Probabilistic foundations of mathematical
-
, antibodies, and their complexes using techniques such as cryo-electron microscopy (cryo-EM), X-ray crystallography, and supporting biophysical methods. Responsibilities will include protein expression and
-
. Kyriakopoulos seeks to improve the autonomy of Field Robotic systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. Marine
-
- Statistical learning and safe reininforcement learning - Simulation-based analysis - Explainability methods for AI/ML-based systems - Specification formalisms for learning-enabled systems We encourage