Dear All,
Our group has multiple Research Assistant (two) or Postdoc (two) positions available. The research projects are related to: · Source-code level verification of programs (against safety properties or security-related properties) · Run-time verification/enforcement, in the setting of standard Java/C programs or PLC control program in cyber-physical systems · Probabilistic system analysis methods (e.g. probabilistic model checking, statistical model checking, probabilistic model learning) · Data analysis and mining (for the purpose of applying formal system analysis/reasoning methods) The research assistants or postdocs will work with existing researchers in the group as well as interact with researchers in the same research center (e.g. iTrust at Singapore University of Technology and Design). Once hired, the candidate will have the opportunity to travel overseas to collaborate with partners of the projects. The working language is English. The general requirements on the candidate are: - A PhD for postdoc position or a bachelor degree for research assistants, in Computer Science or related areas. - Strong background in logic and reasoning. - Strong programming skills (for research assistants and optionally for postdoc) - An established research record (for postdocs). Prior experience on working with actual systems will be highly regarded. The term is currently one to three years starting as early as October 2016. The salary range is 65K - 80K per annual for postdoc and 40K to 65K for research assistant. Singapore's tax is around 3%-5% of the annual salary. 1USD = 1.35 SGD. Interested candidates are encouraged to contact Jun Sun ([email protected]) for more information. yours, Sun Jun
---- [[ 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] ]]
