Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
of system modelling and control, with emphasis on applications in power electronics. The student will be employed as researcher in Prof. George Weiss' control and power electronics team for a period of 15
-
geometry, affine algebraic geometry Lena Bunina Model theory, AI in mathematics, algebraic groupsmodel theory of groups, Chevalley groups, applications of AI to mathematics Naomi Feldheim Probability
-
, ergodic theory and fractal geometry Gil Kalai Combinatorics Itay Kaplan Logic, model theory David Kazhdan Representation theory Ori Gurel-Gurevich Probability, random walks, random graphs
Searches related to model checking
Enter an email to receive alerts for model-checking positions