Postdoc in Compliance Verification of Business Processes – DTU Compute

Job title:

Postdoc in Compliance Verification of Business Processes – DTU Compute

Company:

Danmarks Tekniske Universitet

Job description

Job Description:If you are an early-stage researcher and you are looking for the best possible foundation for fulfilling your dreams and ambitions, it is right here in front of you. The Department of Applied Mathematics and Computer Science of Technical University of Denmark (DTU) and the faculty of law of Copenhagen University are opening an exciting opportunity for a Postdoctoral position in the intersection between computer science and laws. You will advance computational techniques to support the translation of laws into formal models, as well as investigating how such models can be used in legal compliance of computer systems. The position will involve areas such as formal methods and software engineering. Moreover, the position presupposes a close collaboration with legal specialists, where you will be interfacing legal requirements into formal specifications, using a range of techniques that may involve domain specific languages, process models or logics.Responsibilities and qualifications
Your overall focus will be to support the establishment of the Danish Interdisciplinary Center for Digital Compliance (DICE), A Villum Fonden synergy initiative bringing together researchers from computer and data science with legal scholars. In the project you will be able to explore to which degree laws can be digitalized. As for the toolset, you will combine works on formal verification, AI/NLP, and software engineering. You will not be alone, and you will both interface with the faculty of law of Copenhagen University, and the Process Science Lab at the Software Systems Engineering of DTU Compute.During your Postdoc you will likely cover activities such as:

• Perform rigorous state of the art reviews about the state-of-the-art in research in algorithmic compliance,
• Research and prototype tools and techniques for the extraction of formal models from laws using NLP
• Develop multi-perspective algorithmic compliance verification techniques,
• Explore techniques for modular specification and their application to formal verification of laws

The successful candidate will have previous experience in computer or data science, with a PhD or research experience in at least one of the following areas:

• Formal modeling and verification of business processes or laws,
• Elicitation of requirements 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.

Moreover, the candidate will benefit from basic knowledge in formal methods and programming languages, including model and refinement checking.As a formal qualification, you must hold a PhD degree (or equivalent).We offer
DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. We offer a rewarding and challenging job in an international environment. We strive for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility.Salary and terms of employment
The appointment will be based on the collective agreement with the Danish Confederation of Professional Associations. The allowance will be agreed upon with the relevant union.This is a full-time position, with expected starting date 1 September 2024 (or according to mutual agreement) and finishing date at the end of the DICE project on the 31 March 2026.

You can read more about .Further information
Further information may be obtained from Hugo A. López ).You can read more about the department of applied mathematics and computer science at .If you are applying from abroad, you may find useful information on working in Denmark and at DTU at .Application procedure
Your complete online application must be submitted no later than 25 July 2024 23:59 (Danish time). Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link “Apply now”, fill out the online application form, and attach all your materials in English in one PDF file. The file must include:

• Application (cover letter)
• CV
• Academic Diplomas (MSc/PhD – in English)
• List of publications
• Contact details of at least two references

Applications received after the deadline will not be considered.All interested candidates irrespective of age, gender, disability, race, religion or ethnic background are encouraged to apply.DTU Compute is a unique and internationally recognized academic department with 385 employees and 11 research sections spanning the science disciplines mathematics, statistics, computer science, and engineering. We conduct research, teaching and innovation of high international standard – producing new knowledge and technology-based solutions to societal challenges. We have a long-term involvement in applied and interdisciplinary research, big data and data science, artificial intelligence (AI), internet of things (IoT), smart and secure societies, smart manufacturing, and life science. At DTU Compute we believe in a diverse workplace with a flexible work-life balance.The section for Software Systems Engineering advances and combines applied and foundational knowledge in software engineering, programming languages, process modelling, security and formal methods to address current and future scientific and societal challenges. It includes 12 faculty, 8 PhD students and 1 Postdoc.Technology for people
DTU develops technology for people. With our international elite research and study programmes, we are helping to create a better world and to solve the global challenges formulated in the UN’s 17 Sustainable Development Goals. Hans Christian Ørsted founded DTU in 1829 with a clear mission to develop and create value using science and engineering to benefit society. That mission lives on today. DTU has 13,500 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. DTU has campuses in all parts of Denmark and in Greenland, and we collaborate with the best universities around the world.

Expected salary

Location

Kongens Lyngby, Hovedstaden – Lyngby, Midtjylland

Job date

Sat, 06 Jul 2024 22:11:37 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.