<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
DTU Compute (Technical University of Denmark) is recruiting a Tenure
Track Assistant Professor in the Formal Methods section:
<ul>
<li>details: <a moz-do-not-send="true"
href="https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=78af4617-2d83-4775-b7ed-f46dbbcac8ee">https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=78af4617-2d83-4775-b7ed-f46dbbcac8ee<br>
</a>(also below)<br>
<br>
</li>
<li>application deadline: 28 February 2021<br>
(note: in the link above, in the "Apply for this job" box, you
may see an earlier deadline --- it will be fixed soon)</li>
</ul>
<hr width="100%" size="2">
<h1>DTU Tenure Track Assistant Professor in Formal Methods</h1>
<p style="font-family: Arial;">If you are establishing your career
as a scientist and you are looking for the best possible
foundation for fulfilling your dreams and ambitions in the area of
formal methods, it is right here in the section on Formal Methods
at DTU. We are looking for a tenure-track assistant professor to
join our vision of a safe and secure digital society supported by
reliable and trustworthy IT-based systems with theoretically
well-founded guarantees. You will help us lead the advancement of
scientific knowledge in this area and to educate new generations
of computer scientists and engineers.<br>
<br>
The position is part of DTU’s Tenure Track program. 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.
We develop talent by offering a career mentor, state-of-the-art
research infrastructure, and postgraduate teacher training. DTU’s
Tenure Track is an appointment of at most six years, during which
you will receive career support in the form of professional and
personal guidance. At the end of the tenure track appointment you
will be evaluated by an external assessment committee, who will
assess your appointment to a permanent Associate Professorship. <a
href="https://www.dtu.dk/english/about/job-and-career/recruitment-process/tenure-track"
style="color:blue; text-decoration:underline"
moz-do-not-send="true">Read more about the DTU Tenure Track
program at DTU at this homepage</a>. <br>
</p>
<h3>Responsibilities and qualifications</h3>
<p style="font-family: Arial;"> You will be conducting high-quality
scientific research at international level, publishing your
results in highly-reputed venues, combining theoretical and
practical aspects of formal methods, as well as leading and
participating in collaborative research projects. You will take
part in the development of research-based teaching at the
bachelor, master, and PhD levels at DTU. Our teaching portfolio
includes courses in topics tightly connected to our research
expertise and activities: models of computation, programming
languages, semantics, interpreters and compilers, formal methods,
program analysis, model checking, security, and distributed and
concurrent programming. You will be strengthening our research and
research-based teaching competences within formal methods, and
expanding them in new directions. <br>
<br>
You will be responsible for the teaching of courses. Master and
PhD courses are taught in English, while bachelor courses are
taught in Danish and in English. You will be expected to learn
Danish and be able to teach in Danish after 3 years. DTU can
provide Danish language courses.<br>
<br>
As formal qualification you must hold a PhD degree (or
equivalent).<br>
<br>
You will be assessed against the responsibilities and
qualifications stated above and the following general criteria:</p>
<ul>
<li>Experience and quality of teaching </li>
<li>Research experience</li>
<li>Research vision and potential</li>
<li>International impact and experience</li>
<li>Societal impact</li>
<li>Innovativeness, including commercialization and collaboration
with industry</li>
<li>Leadership, collaboration, and interdisciplinary skills</li>
<li>Communication skills</li>
</ul>
<h3>Salary and terms of employment</h3>
<p style="font-family: Arial"> The appointment will be based on the
collective agreement with the Danish Confederation of Professional
Associations. The salary for the position will be determined by
the applicants qualifications and in agreement with the relevant
union. Further information on qualification requirements and job
content may be found in the <a
href="https://www.retsinformation.dk/Forms/R0710.aspx?id=212083"
style="color:blue; text-decoration:underline"
moz-do-not-send="true">Ministerial Order on Job Structure for
Academic Staff at Universities</a>. <br>
<br>
The position is available from July 1st or according to mutual
agreement.<br>
</p>
<h3>Further information</h3>
<p style="font-family: Arial"> Further information may be obtained
from Head of Section Alberto Lluch Lafuente (<a
href="mailto:albl@dtu.dk" style="color:blue;
text-decoration:underline" moz-do-not-send="true">albl@dtu.dk</a>).
You are welcome to contact him before submitting the formal
application.<br>
<br>
You can read more about DTU Compute’s section for Formal Methods
at <a
href="http://www.compute.dtu.dk/english/research/research-sections/formalmethods"
style="color:blue; text-decoration:underline"
moz-do-not-send="true">www.compute.dtu.dk/english/research/research-sections/formalmethods</a>. <br>
<br>
If you are applying from abroad, you may find useful information
on working in Denmark and at DTU at <a
href="https://www.dtu.dk/english/about/job-and-career/moving-to-denmark"
style="color:blue; text-decoration:underline"
moz-do-not-send="true">DTU – Moving to Denmark</a>. <br>
</p>
<h3>Application procedure</h3>
<p style="font-family: Arial"> Your complete online application must
be submitted no later than 28 February 2021 (Danish time).
Applications must be submitted as one PDF file containing all
materials to be given consideration. To apply, please open the
link "Apply online", fill out the online application form, and
attach all your materials in English in one PDF file. The file
must include:</p>
<ul>
<li>Application (cover letter)</li>
<li>Vision for teaching and research for the tenure track period </li>
<li>CV including employment history, list of publications,
H-index, and profiles in ORCID (see <a href="http://orcid.org/"
style="color:blue; text-decoration:underline"
moz-do-not-send="true">http://orcid.org/</a>), Google Scholar
(<a href="https://scholar.google.com/" style="color:blue;
text-decoration:underline" moz-do-not-send="true">https://scholar.google.com/</a>)
and DBLP (<a class="moz-txt-link-freetext"
href="https://dblp.uni-trier.de/" moz-do-not-send="true">https://dblp.uni-trier.de/</a>)</li>
<li><a
href="https://learninglab.dtu.dk/english/Resources/Teaching-Portfolio"
style="color:blue; text-decoration:underline"
moz-do-not-send="true">Teaching portfolio</a> including
documentation of teaching experience </li>
<li>Academic Diplomas (MSc/PhD)</li>
</ul>
<p style="font-family: Arial;">All interested candidates
irrespective of age, gender, disability, race, religion or ethnic
background are encouraged to apply.<br>
</p>
<h3>DTU Compute</h3>
<p style="font-family: Arial;"> DTU Compute is a unique and
internationally recognized academic environment 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.<br>
</p>
<h3>Technology for people</h3>
<p style="font-family: Arial;"> 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
vision to develop and create value using science and engineering
to benefit society. That vision lives on today. DTU has 12,000
students and 6,000 employees. We work in an international
atmosphere and have an inclusive, evolving, and informal working
environment. Our main campus is in Kgs. Lyngby north of Copenhagen
and we have campuses in Roskilde and Ballerup and in Sisimiut in
Greenland.</p>
<pre class="moz-signature" cols="72">--
Alceste Scalas <a class="moz-txt-link-rfc2396E" href="mailto:alcsc@dtu.dk" moz-do-not-send="true"><alcsc@dtu.dk></a> - <a class="moz-txt-link-freetext" href="https://people.compute.dtu.dk/alcsc" moz-do-not-send="true">https://people.compute.dtu.dk/alcsc</a>
Assistant Professor @ DTU Compute - Section for Formal Methods
Technical University of Denmark
Richard Petersens Plads, Building 324, Room 180
2800 Kgs. Lyngby</pre>
</body>
</html>