[AISWorld] Expression of interests: Postdoc in compliance verification of business processes

[Hugo-Andrés López-Acosta]

I am looking for a postdoc to join us at the Technical University of Denmark (DTU) in the Software Systems Engineering section (https://www.compute.dtu.dk/sections/software-systems-engineering<https://dtu-psl.github.io/>). A successful candidate has interest and experience in at least one of the following topics:
- Formal modeling and verification of business processes or laws,
- 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, or conformance checking.


We look for a candidate willing to work on an interdisciplinary project involving 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 a requirement. The starting date is to be convened (sooner the better).


Informal inquiries 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
Technical University of Denmark
https://orbit.dtu.dk/en/persons/hugo-andres-lopez-acosta
hulo at dtu.dk<mailto:hulo at dtu.dk>