[DL] Expression of interests: Postdoc in verification of business processes

[Hugo Andrés Lopez]

I am searching for a postdoc to join us at Technical University of Denmark (DTU) in the process science lab (https://dtu-psl.github.io/). A succesful candidate has interest and experience in at least one of the following topics:
- Formal modellling and verification of business processes
- Elicitation of formal specifications from natural language
- Applications of declarative specifications (e.g. temporal, modal logics, declarative process models) in the analysis of systems
- Model checking 
- Algorithmic approaches for refinement, compliance and/or conformance checking.

We search for a candidate willing to work on an interdisciplinary project involving both computer scientists and legal researchers. The position will run for 1.5 years, with possibilities for extension. The emphasis will be on providing algorithmic approaches for compliance, and some prior experience with NLP and/or Software Engineering may be beneficial, but not requirement. The starting date is to be convened (sooner the better).

Informal enquiries about the role are welcomed, and should be addressed to Hugo A. López at hulo at dtu.dk <mailto:hulo at dtu.dk> 

For more information about DTU and the Department of Mathematics and Computer Science, please visit: https://www.dtu.dk/english/about and https://www.compute.dtu.dk/about-us 

Best regards, 



Hugo A. López
Associate Professor
 
hulo at dtu.dk <mailto:hulo at dtu.dk>
Richard Petersens Plads
Building 321
2800 Kgs. Lyngby
https://orbit.dtu.dk/en/persons/hugo-andres-lopez-acosta
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240611/a1976be4/attachment.htm>