Sort by
Refine Your Search
-
) seek an outstanding candidate to fill a tenure track Fellow (Assistant Professor level) position in the field of Computer Science, with emphasis on formal methods and theorem proving. The candidate is
-
Engineering Cybersecurity Distributed and Cloud Computing Operating Systems and Digital Infrastructure AI for Software Engineering Software Engineering for Internet of Things Software Engineering for Cyber
-
), Constraint Solving, Planning, Answer Set Programming, Model Checking, Symbolic Computation, Knowledge Representation, Reasoning under Uncertainty, Non-monotonic Reasoning, Expert Systems. Programming languages