Research Assistant Positions at Different Levels Available
I am currently looking for research assistants for the NSFC projects "Formal Modeling and Verification of Complex Concurrent Behavior in Cyber-Physical Systems" and "Model Checking Large-scale Probabilistic Concurrent Real-time Systems" at postdoc/PhD/master level. The key criteria for the RA positions include good mathematical background and/or programming skills. The positions are available until the end of 2021.
Undergraduate students from mathematics, computer science, information science or other related disciplines at Peking University are also welcome to join my group for internship of research. Please feel free to contact me.
I have received many requests for summer internships from Indian undergraduate students. However, due to administrative reasons I will not have summer internships for international students (I am usually out of the campus in July and August for conference trips and academic visits). Please do not apply.
Contact Information
Post: School of Mathematical Sciences, Peking University, Yiheyuan Road No. 5, Haidian District, Beijing, China, 100871
Visits: Science Building No. 1, Room 1382E, Peking University
Tel: +86-10-62768931
Fax: +86-10-62751801
Email: sunmeng x math [dot] pku [dot] edu [dot] cn [@/x]