Logic List Mailing Archive

CfA: Postdoc in Formal methods for autonomous systems, Gothenburg (Sweden), Deadline: 02 April 24

Join us in our quest for developing novel correct-by-design techniques for Autonomous Systems



Join the SynTM research project<https://lazkany.bitbucket.io/grants/syntm.html> and be part of developing novel correct-by-design techniques for autonomous systems.



This position is part of a grant, named SynTM (from the Swedish Research Council), on automatic synthesis of programs for autonomous systems. Early results appeared in venues such as AAMAS, ACC, JAAMAS etc. Our goal is to build correct-by-design techniques for autonomous systems, including (but not limited to) controller synthesis.



My group is part of the Formal Methods unit within the Computing Science division<https://www.chalmers.se/en/departments/cse/our-research/computing-science/> at the Computer Science and Engineering department of Chalmers | Gothenburg  university<https://www.chalmers.se/en/departments/cse/>. The unit and the broader division are lively environments with fun interactions between research areas such as Formal Verification, Functional Programming, Type Theory, Information Security and more.  We have also close contact with research leaders in the field such as Nir Piterman, Martin Fabian, and Gerardo Schneider.



Our research involves developing theories and techniques for formal verification of autonomous systems, e.g., controller synthesis, planning, run-time verification, model checking, etc. Moreover, we are open to techniques that leverage the use of formal verification in machine learning.



Currently, we are actively developing specialised tools for reconfigurable concurrent systems (the ReCiPe formalism, the R-CHECK Model-Checker, and the SynTM synthesis engine). Concrete tasks may involve (but not limited to) advance the development of existing theories and tools, developing simulation and case studies that showcase the practical impact of existing theories. However, there are opportunities to broaden the reach of activities based on mutual interests.



Apply here: https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=33531



Contact me for informal questions at: yehiaa [at]  Chalmers [dot] se



Best Regards,

Yehia Abd Alrahman<https://www.chalmers.se/en/persons/yehiaa/>


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php