From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9658 Path: news.gmane.org!.POSTED!not-for-mail From: Ichiro Hasuo Newsgroups: gmane.science.mathematics.categories Subject: Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems Date: Wed, 20 Jun 2018 21:46:55 +0900 Message-ID: Reply-To: Ichiro Hasuo NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1529537230 31379 195.159.176.226 (20 Jun 2018 23:27:10 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 20 Jun 2018 23:27:10 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Jun 21 01:27:06 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fVmVE-00080W-C9 for gsmc-categories@m.gmane.org; Thu, 21 Jun 2018 01:27:04 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:56744) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1fVmWL-0004Lb-Pv; Wed, 20 Jun 2018 20:28:13 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1fVmVb-0003vR-SJ for categories-list@mlist.mta.ca; Wed, 20 Jun 2018 20:27:27 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9658 Archived-At: [Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] Dear colleagues, For our research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and some are still open), together with research assistants (PhD students) and internship students. The project runs until March 2022. http://group-mmm.org/eratommsd 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. In order to deal with the complexity of real-world cyber-physical systems, we need to rely on empirical, learning-based and data-driven measures for quality assurance (such as search-based testing). At the same time, we are finding logical and automata-theoretic methods--the bedrock of formal verification and synthesis--playing pivotal roles also in those empirical quality assurance measures. This way, our project offers an exciting scientific environment that mixes formal methods, software engineering and machine learning. We also collaborate closely with https://www.autonomoose.net/, an automated driving project at Waterloo, Canada. The following are prerequisites for application. - Your background in one of the following fields: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic or category theory - Your willingness to dive into the heterogeneous (and thus exciting!) scientific environment as described in the above For more about the project please visit http://group-mmm.org/eratommsd About the open positions http://group-mmm.org/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro ====== Ichiro Hasuo Associate Professor, National Institute of Informatics i.hasuo@acm.org http://group-mmm.org/~ichiro/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]