News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position in efficient model abstraction, Logan UT (U.S.A.)

A PhD position is available (fully funded for 4 years with the possibility of extension) at the Electrical and Computer Engineering Department of Utah State University. The PhD position at Utah State University will be advancing and developing efficient model abstraction and state space truncation techniques for the infinite-state CTMC models. The expected starting date is early January 2020.

Applicants must have a bachelor's degree in Computer Science, Computer Engineering, or a related field. A master's degree is preferred. The successful candidate is expected to demonstrate strong background and interest in formal methods and algorithms, and preferably basic knowledge of probability and random process. He/She should be confident in independently developing academic software tools. Good writing and presentation skills in English are important as well. Knowledge of synthetic biology is preferred, but not required.

For more information, see https://formal-verification-research.github.io/ or contact Dr. Zhen Zhang at .

Please note that this newsitem has been archived, and may contain outdated information or links.