One Postdoc Research Fellow Positions on System Analysis and Model Checking Singapore University of Technology and Design
Highly motivated applicants are being sought to work on developing model checking techniques or applying model checking techniques to real-world problems. The postdoc will work with department of Information System Technology and Design, Singapore University of Technology and Design and collaborate with the software engineering team at National University of Singapore. The postdoc will contribute to the development of the PAT model checker (http://www.patroot.com). PAT is a self-contained system for specification/modeling, simulating, and verification. It has an extensible architecture so that new modeling language, abstract techniques, and model checking techniques can be easily supported. PAT supports concurrent, real-time, probabilistic, hierachical systems. It offers a library of model checking algorithms for a variety of properties, e.g., reachability analysis, temporal logic verification, refinement checking, verification with fairness, zone abstraction, probabilistic model checking, etc. PAT has been applied to many case studies and successfully found previously unknown bugs. More details about PAT can be found at http://pat.comp.nus.edu.sg. The applicant shall conduct research on either on improving PAT itself (e.g., developing new model checking algorithms, optimizing PAT with advanced state reduction techniques) or applying PAT to new domains. The position involves conducting basic research, developing tools, working as part of a research team, traveling, and giving presentations. The working lanugage is English. Candidate profile: - A PhD in Computer Science or related areas is required. - Expertise in Model Checking technology. - Strong background in logic and discrete math. - Programming skills are preferred (the language we are working with is C#). - An established research record. The term is currently 1 year starting immediately and can be extended (e.g., maximum for another 3 years subject to performance). The salary range is around 60K-85K SGD pa (1 SGD = ~ 0.77 USD). Interested applicants should send their CV to Dr. SUN, Jun at [email protected]. ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
