Logic List Mailing Archive

CfA: Postdoc Position in Formal Methods, Gothenburg (Sweden), Deadline Extended 21 May

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.

 

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