Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
, incorporating insights from the philosophy of language, the cognitive language sciences, linguistic pragmatics, and formal logic / epistemology. The main task of the post-doctoral researcher is to contribute to a
-
propose to combine machine learning techniques with formal methods. We will focus on safe reinforcement learning of motion planning problems for autonomous vessels. Motion planning is particularly
-
Max Planck Institute of Molecular Cell Biology and Genetics | Dresden, Sachsen | Germany | about 18 hours ago
Dresden . Your responsibilities: Drive independent and collaborative research in applied topology within the group’s thematic focus. Develop and refine methods to address new mathematical questions
-
Max Planck Institute of Molecular Cell Biology and Genetics, Dresden | Dresden, Sachsen | Germany | 8 days ago
and refine methods to address new mathematical questions. Contribute to publications, proposals, and joint projects with internal and external partners. Present and discuss results at seminars and
-
derivation, analysis, and comparison of numerical methods and simulation approaches for the solution of PDEs Formal proofs, e.g., for convergence, existence, and uniqueness of solutions Fast prototyping of new
-
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
-
brings together methodologists (from areas like statistics, computer science or formal demography) with population scientists in order to foster cross-pollination of ideas, to advance methods and theories
-
interdisciplinary team. Applicants with strong background in the following fields are preferred: Dynamical Systems Control Theory Formal Methods Machine Learning Context The applicant will be directly advised by Prof
-
of results in scientific journals Requirements PhD in Physics, Engineering, Economics, Environmental Sciences, Mathematics, System Sciences or a related field training in formal, quantitative methods
-
of results in scientific journals Requirements: PhD in Physics, Engineering, Economics, Environmental Sciences, Mathematics, System Sciences or a related field training in formal, quantitative methods