CS@USF招生 software verification

旅游胜地城市学校usf招生，老板人非常好，很耐心，有足够的funding，现在申也来得及。

Dr. Hao Zheng invite self-motivated and hardworking students to fill a PhD position and to participate the research in developing efficient algorithms and methods for scalable probabilistic model checking.  This research is part of a recently funded project on developing an efficient framework for the stochastic verification of computing and communication systems using emerging technologies.

Expectations of the Applicants

- Solid background in formal methods and algorithms,
- Interest in formal verification research,
- Strong programming skills,
- Knowledge of probability and random process is desirable,
- Past experience with model checking tools is desirable,

For questions regarding these positions and the research, please contact: Dr. Hao Zheng haozheng@usf.edu.

招2020年的暑研吗？

乐呵 发表于 2019/12/08 20:41:38
招2020年的暑研吗？

要看老板今年的招人状况，你可以邮件他问一下。