Sort by
Refine Your Search
-
Listed
-
Field
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods
-
or equivalent in a relevant electrical engineering or applied physics discipline with focus on microwave engineering. In addition to the formal qualifications, selection is also based on the performance
-
. The position is placed in the Division for Computer Networks and Systems and is formally employed by Chalmers University of Technology. Our research spans from theoretical computer science to applied systems
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions