Submitted by Anonymous on Thu, 10/05/2017 - 3:27pm
Dear colleagues,
For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students.
This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include:
Submitted by Anonymous on Thu, 10/05/2017 - 3:27pm
Dear colleagues,
For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students.
This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include:
25/05/2018 - 26/05/2017 | Obuda University (1084. Budapest, Tavaszmezo u. 15-17.)
Organizer: Obuda University
Faculty of Security Engineering, University of Zilina
IEEE SMC Technical Committee on Homeland Security
Hungarian Association of Ph.D. and DLA Students (DOSZ)
25/05/2018 - 26/05/2017 | Obuda University (1084. Budapest, Tavaszmezo u. 15-17.)
Organizer: Obuda University
Faculty of Security Engineering, University of Zilina
IEEE SMC Technical Committee on Homeland Security
Hungarian Association of Ph.D. and DLA Students (DOSZ)
