coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems

From: Ichiro Hasuo <i.hasuo AT acm.org>
To: announcements AT lists.artist-embedded.org, types-announce AT lists.seas.upenn.edu, pvs AT csl.sri.com, fmcad AT utlists.utexas.edu, hscc AT lists.illinois.edu, qest-announce AT iti.illinois.edu, coq-club AT inria.fr, logic-ml AT fos.kuis.kyoto-u.ac.jp, sonoteno AT googlegroups.com, jssst-ppl AT fos.kuis.kyoto-u.ac.jp, control AT bode.amp.i.kyoto-u.ac.jp, jssst_members_rq AT jssst.or.jp, ipsj-pro AT spa.is.uec.ac.jp, seworld AT sigsoft.org
Subject: [Coq-Club] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
Date: Sun, 21 Jan 2018 21:05:34 +0900
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=i.hasuo AT gmail.com; spf=Pass smtp.mailfrom=i.hasuo AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf0-f53.google.com
Ironport-phdr: 9a23:qBMeTRB70UPAsPmtgqr/UyQJP3N1i/DPJgcQr6AfoPdwSP37rsiwAkXT6L1XgUPTWs2DsrQY07OQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmCexbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOT43/m/Ul8J+kr5UrQm7qBBj2YPZep2ZOOZ8c67bYNgURXBBXsFUVyFZAY2zc4sPD+sbPeZfsoLzpUEBrQCjBQmrGejizT5IimX23aIgyOQhDAbG0Rc6EN0StXTYttL1NL0dUe2syqTD0DvNb/RT2Tjn6YjIdAgsof6WXbJ3bMrR0VAjFwbAjlWVs4DlOCmV1usLvmOG7ORgTfqih3A7pwx1uDSixcchhpPXio4Iyl3I7yV0zYgzKNalUkB0e8SkH4FVtyyCN4t5XMciQ2ZwtSY/0LIGuJq7cDEOyJQp2xLTcvKHfoiG7x75W+aRJjB4hH1heL2hnRq97U+gyujkWsm11lZFsDZFn8HSunwR0xHf8MuKR/tn8ku/xDqC1xrf5+FKLEwskKrUMZ8hwro+lpoJtkTDGzf7mETsgK+WbEok4fWo6+P8b7Xpo5+TLY50igXkPqsyncy/BPw0MhISUGiD5eS8yLrj8FXlT7VNl/06i7XWsJTHJcsAvaO5GA9U0oM76xmlFTum0dIYnWMGLF1fYh6HgZLpaBnyJ6XxC/G4nlKnnTJmwezdFrngGYnWaHHZjLb6YfNw7kRRxAY+wZZY/Z0QQq0QOP/oH0b3stvFCBQ0Gwi12Pr8Ts5w35hYRHqCBKnfPa/P9ReQ+PkHKPKIIpQPuXD2LP1hr/DrhnY1sUIBeaiywYBRdWy1Dv19ZUiVfD6kgswKGk8OvxEiV6rrjFmDVzlSfDC/U794rig2E57jBIHFQZ2ri7Gp3Tu6WJxSYmFADVGXV3rkasHMUPAVLSmWP8VJkzoeVLHnRZVlnRWpuw7xjr9jBuTT4WsbqJP4kttk4PHU0Ax0/DcyDdzZm3qKSWZok2UPbzAx2697rENnzUqbyu5zhPkcXd5I/OhVFx8iMbbSyPc8CM3zQUTCb9CVTxO7BNytRzMpCpo6xNkSeUF5M9+lgh2F1i+yRb5TlK2MGJtx7+TV1D7zP4I1yW3dz7UWilQjSMZVLlq8n4Z97BPIG8jOiQObj+LidLwH3mvV7mCr1nKH+kBDFhN9WuPMVjYdfg+ettnm4VnGQ5e1CLs8NQVdj8mYJfhkcNrs2HRNRPb5P5z+anmsnC/kBFCIz6iRa6LjcGBb2z/SXhtX2zsP9GqLYFBtThyqpHjTWWQ3RADfJnj0+Ow7k0uVC0o9zgWEdUpkjuPn9RschPjaQPQWjOtd5HUR7g5sFVP45Or4TsKarlM4LqpZaNI5plxA0DCB7lEvDtmbN6lnw2UmXUF3skfpjUglD4xBlY0uoitvwlcpb62f11xFenWT2pWiYrA=

[Thanks a lot for disseminating among potentially interested

candidates. Apologies for multiple copies]

[New! Our positions are being filled up, but there still are

a few open ones]

Dear colleagues,

For our 5-year research project (ERATO MMSD, Metamathematics for
Systems Design) we are looking for

- senior researchers and

- postdocs
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:
formal methods, programming languages, control theory, control
engineering, software science, software engineering, machine learning,
numerical optimization, user interface, mathematical logic and
category theory.

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 AT acm.org

http://group-mmm.org/~ichiro/

[Coq-Club] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems, Ichiro Hasuo, 01/21/2018