| 查看: 2180 | 回复: 3 | |||
[交流]
美国犹他州立大学ECE学院Zhen Zhang教授招收2020年春季入学全奖博士
|
|
以下是招生信息，有意愿的学生请直接联系Zhen Zhang教授（邮箱见招生信息） https://formal-verification-research.github.io/ PhD position available on probabilistic verification for synthetic biology and nanotechnology A PhD position is available (fully paid for 4 years with the possibility of extension) at the Electrical and Computer Engineering Department of Utah State University. The expected starting date is early January 2020. PhD application information is available at: https://engineering.usu.edu/ece/ ... pplication-info.pdf Abstract: Synthetic biology and nanotechnology place increasing demands on design methodologies to ensure dependable and robust operation. Consisting of noisy and unreliable components, these complex systems have large and often infinite state spaces that include extremely rare error states. Probabilistic model checking techniques have demonstrated significant potential in quantitatively analyzing such system models under extremely low probability. Unfortunately, they generally require enumerating the model's state space, which is computationally intractable or impossible. Therefore, addressing these design challenges in emerging technologies requires enhancing the applicability of probabilistic model checking. Motivated by this problem, this project investigates an automated probabilistic verification framework that integrates approximate probabilistic model checking and counterexample-guided rare-event simulation to improve the analysis accuracy and efficiency. This multi-institution collaborative project focuses on verifying infinite-state continuous-time Markov chain (CTMC) models with rare-event properties. It addresses the scalability problem by first applying property-guided and on-the-fly state truncation techniques to prune unlikely states to obtain finite state representations that are amenable to probabilistic model checking. In the case of false or indeterminate verification results, probabilistic counterexamples are generated and utilized to improve the accuracy of the state reductions. Furthermore, it mines these critical counterexamples as automated guidance to improve the quality and efficiency for rare-event probabilistic simulations. This verification framework will be integrated within existing state-of-the-art probabilistic model checking tools (e.g., the PRISM model checking tool), and benchmarked on a wide range of real-world case studies in synthetic biology and nanotechnology. Project description: 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. In particular, we are interested in investigating: - Model abstraction techniques on chemical reaction networks for synthetic biology - Approximation techniques for state space truncation and abstraction - Property-guided state space pruning techniques Qualifications: 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. Contact: For questions about this position, please contact: Dr. Zhen Zhang, zhen.zhang@usu.edu, https://engineering.usu.edu/ece/faculty-sites/zhen-zhang/index ECE Department at USU: The place of employment is the Electrical and Computer Engineering Department at Utah State University. The university is located in Logan, Utah, 88 miles (about 142 km) north of Salt Lake City. The mission of the Department of Electrical and Computer Engineering is to serve society through excellence in learning, discovery, and outreach. We provide undergraduate and graduate students an education in electrical and computer engineering, and we aspire to instill in them attitudes, values, and visions that will prepare them for lifetimes of continued learning and leadership in their chosen careers. Through research, the department strives to generate and disseminate new knowledge and technology for the benefit of the State of Utah, the nation, and beyond. The detailed graduate program description can be found at: https://engineering.usu.edu/ece/students/graduate/in |
回复此楼» 猜你喜欢
有多少人是今天查系统知道结果的？
已经有19人回复
-
面上合作单位盖章
已经有9人回复
-
面上函评意见出来了，像什么等级？
已经有17人回复
-
为什么国自然不能直接公布
已经有5人回复
-
梦想
已经有7人回复
-
学科评审组评审是指会评吗？
已经有4人回复
-
为什么资助数各大高校都创新高，自己申请怎么就这么难
已经有14人回复
-
小白求助 投论文要求的highlights应该如何写
已经有4人回复
-
麻烦专家们看看评委们的意见（F口面上）
已经有12人回复
-
怎么看青基中了没有啊
已经有6人回复
我不是分割线
新虫 (小有名气)
- 应助: 0 (幼儿园)
- 金币: 186.1
- 散金: 50
- 帖子: 172
- 在线: 29.3小时
- 虫号: 7068154
- 注册: 2017-08-16
- 性别: MM
- 专业: 生化分析及生物传感
2楼2019-08-30 12:38:53
3楼2019-09-01 10:30:37
4楼2020-01-16 16:48:02
30