Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
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
-
of information processing), and formal epistemology (in particular, formal representations of inattentiveness and unawareness). This project will involve philosophical / linguistic analysis, experiments with human
-
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
-
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
-
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
-
disabilities will be given preference. Formal appointment procedures will be carried out by the University’s Central Administration. Back
-
of the experimental system, such as the microwave radiometer, the first stage detector element and the dielectric haloscope booster. Formal requirements for this position are a PhD in microwave engineering
-
algorithms in extremely complex and enormously large spaces motivated by physics and chemistry Developing interpretable AI for scientific discovery in physics (example here ) Formal mathematics (using Lean’s