[DL] Postdoc Position in Formal Methods, Gothenburg (Sweden), Deadline Extended 21 May

[Yehia Abd Alrahman]

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/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240427/6a74909b/attachment-0001.htm>