[DL] Postdoc in Formal methods

Yehia Abd Alrahman yehia.abdalrahman86 at gmail.com
Sat Mar 9 08:06:41 CET 2024


*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/>



>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240309/dcbd3088/attachment-0001.htm>


More information about the dl mailing list