[TYPES/announce] One or multiple positions as Tenure-track or Associate Professor in Formal Methods or Process Science - Technical University of Denmark (DTU)

[Hugo Andrés López]

Dear colleagues, 

The Technical University of Denmark, DTU Compute, is having an opening for one or multiple positions as Associate Professor or Tenure-Track Assistant Professor in Computer Science in the Software Systems Engineering Section at DTU Compute.

Our current focus areas include formal methods (e.g., programming languages, formal modelling, formal verification, etc) and process science (e.g., process mining and BPM), addressing challenges arising from software, distributed, information, and cyber-physical systems.

We are open and curious about exploring the full potential of these areas —as well as complementary ones— across current and emerging challenges.

We are looking for colleagues who enjoy combining foundational research with real-world impact, contributing to teaching at the Bachelor's, Master's, and PhD levels, and growing scientifically in a collaborative and supportive research environment.

If this may be of interest to you, it is time to start preparing your application materials.

Link to the position https://urldefense.com/v3/__https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_2001/job/6818__;!!IBzWLUs!TwDJ-_dpfQpBpoxqVb9qBa0XK2zuL54Y5WCgD_szFj1XIky1ZJ-XdK6Rfddk8BUJINKfOyubaXOlKC1sUhUoaNWsKdRQTw$  

👉 More information about our section:
https://urldefense.com/v3/__https://orbit.dtu.dk/en/organisations/software-systems-engineering/__;!!IBzWLUs!TwDJ-_dpfQpBpoxqVb9qBa0XK2zuL54Y5WCgD_szFj1XIky1ZJ-XdK6Rfddk8BUJINKfOyubaXOlKC1sUhUoaNW13E3f9Q$ 

https://urldefense.com/v3/__https://www.compute.dtu.dk/sections/sofsys__;!!IBzWLUs!TwDJ-_dpfQpBpoxqVb9qBa0XK2zuL54Y5WCgD_szFj1XIky1ZJ-XdK6Rfddk8BUJINKfOyubaXOlKC1sUhUoaNUSMhtJeA$ 


Highlights 
========== 
* Institution: Technical University of Denmark, DTU Compute 
* Location: Copenhagen Greater Area, Denmark 
* Position level: Associate Professor / Tenure Track Assistant Professor 
* Deadline: March 15, 2026 
* Starting date (tentative/negotiable): September 1, 2026 




-- 

Hugo A. López
Associate Professor
 
Dir. +45 29 93 68 42 <tel:+4529936842>
hulo at dtu.dk <mailto:hulo at dtu.dk>
Richard Petersens Plads
Building 321
2800 Kgs. Lyngby
https://urldefense.com/v3/__https://orbit.dtu.dk/en/persons/hugo-andres-lopez-acosta__;!!IBzWLUs!TwDJ-_dpfQpBpoxqVb9qBa0XK2zuL54Y5WCgD_szFj1XIky1ZJ-XdK6Rfddk8BUJINKfOyubaXOlKC1sUhUoaNUagjbEgg$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260225/ff3d2fa7/attachment-0001.htm>