*Post-Doc Vacancies in the rCOS Group* Vacancy Announcement United Nations University International Institute for Software Technology (UNU-IIST) *Three Postdoctoral Research Fellows* Model-Based Design and Verification The rCOS Team at UNU-IIST is looking for three postdoctoral research fellows in the area of model-based design and verification techniques, and tool development. *http://rcos.iist.unu.edu/rcos-postdocs-2010* Research topics include, but are not limited to: Research on Formal Methods with application to Software Engineering (e.g. semantics of OO, model- and program transformation, correctness by construction, refinement). Formal use of UML and tool development for model-driven design and analysis. Specification languages for verification properties, their expressiveness and visualization. Efficiency of runtime monitors: analyse, visualize and improve performance of runtime monitors. Guided runtime verification: combine testing and runtime verification. Synthesize and monitor runtime checks in generated code from specifications.
Mais informações no link no corpo da mensagem. ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> Blog: http://professoradolfo.blogspot.com Twitter: http://twitter.com/adolfont ========================================== ---------- Forwarded message ---------- From: Augusto Sampaio <[email protected]> Date: 2010/2/10 Subject: [Sbc-l] [Fwd: Postdocs] To: [email protected] Dear Augusto, Can you please help us to circulate and encourage people to apply? Thanks, Zhiming -- Dr. Zhiming Liu Senior Research Fellow UNU-IIST, P.O. Box 3058, Macao Phone: +853 85040457 http://www.iist.unu.edu/~lzm <http://www.iist.unu.edu/%7Elzm> _______________________________________________ Sbc-l mailing list [email protected] https://grupos.ufrgs.br/mailman/listinfo/sbc-l
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
