[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi,
We are opening a faculty position in the area of formal methods.
Highlights
==========
* Institution: Technical University of Denmark, DTU Compute
* Location: Copenhagen Greater Area, Denmark
* Position level: Associate Professor / Tenure Track Assistant Professor
* Area: Formal Methods
* Deadline: May 15, 2024
* Starting date (tentative/negotiable): January 1, 2025
Informal enquiries are welcome and may be sent to Alberto Lluch Lafuente
([email protected]).
More information:
https://urldefense.com/v3/__https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1/job/3409/?utm_medium=jobshare__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_TKzbvrnU$
(copied below for your convenience)
Cheers,
Alberto
============================
Full Description
============================
Do you believe that formal methods are crucial to ensure high quality in
software systems? Do you want to establish your career as a computer scientist
in this area? Do you want to educate new generations of computer scientists and
engineers in this area?
You might find your place as a new associate professor or tenure-track
assistant professor in the Software Systems Engineering Section at DTU Compute.
We are looking for new colleagues to join our vision of a digital society
supported by software systems that are built, assessed and improved according
to solid scientific foundations, engineering principles and societal values.
Formal methods are central in our research and teaching activities.
Responsibilities
================
* You will be conducting scientific research at the international level,
publishing your results in highly reputed conferences and journals.
* You will be seeking opportunities to lead and participate in collaborative,
funded research projects with academia and/or industry.
* You will take part in the development of our research-based teaching
portfolio at the bachelor, master, and PhD levels.
* You will be responsible for the teaching of courses. DTU employs two working
languages: Danish and English. Master and PhD courses are taught in English,
while bachelor courses are taught in Danish and in English. You are expected
to be fluent in at least one of these languages, and in time are expected to
master both.
* You will contribute to the culture of collaboration at the department, and
you will participate actively in joint activities aimed at developing the
department and the section.
Qualifications
==============
* You are an active researcher both on the foundational side and on the
application side of formal methods, witnessed by a publication record at the
international level.
* Your research focuses on quality aspects of software systems such as
correctness, safety, security, performance and/or dependability.
* You are recognized by the international research community as an expert in
your field.
* You are an expert in one or more of the following areas:
- Quantitative / probabilistic aspects of formal methods
- Quantitative / probabilistic aspects of programming languages
- Program verification
* You are genuinely curious about other people's research activities, and you
like to explore research collaborations with colleagues inside and outside your
network.
As a formal qualification you must hold a PhD degree (or equivalent). If you
are applying for the associate professor position you should also have academic
qualifications equivalent to those obtained by holding an assistant
professorship and documented didactic/pedagogic training.
You will be assessed against the responsibilities and qualifications stated
above and the following general criteria:
* Experience and quality of teaching
* Research experience
* Research vision and potential
* International impact and experience
* Societal impact
* Innovativeness, including commercialization and collaboration with industry
* Leadership, collaboration, and interdisciplinary skills
Communication skills
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.
The tentative starting date is 1 January 2025. According to mutual agreement
earlier starting dates in late 2024 or early 2025 are possible. The position is
a full-time position.
The assistant professor position is part of DTU’s Tenure Track program. Read
more about the program and the recruitment process here:
https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/recruitment-process/tenure-track__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_TXAKIIHY$
You can read more about career paths at DTU here:
https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/working-at-dtu/career-paths__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_TsIna8bA$
Further information
===================
Further information may be obtained from Head of Section Alberto Lluch Lafuente
([email protected]). You are welcome to contact him before submitting the formal
application.
You can read more about DTU Compute’s section for Software Systems Engineering
here:
https://urldefense.com/v3/__https://www.compute.dtu.dk/english/research/research-sections/software-systems-engineering__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_T6i1-2U4$
and about DTU Compute at
https://urldefense.com/v3/__http://www.compute.dtu.dk__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_T4EBlXls$
.
If you are applying from abroad, you may find useful information on working in
Denmark and at DTU at DTU – Moving to Denmark:
https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/moving-to-denmark__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_TLvHbEt0$
Application procedure
=====================
Please submit your online application no later than Wednesday, 15 May 2024
(23:59 Danish time).
Application link:
https://urldefense.com/v3/__https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1/job/3409/?utm_medium=jobshare__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_TKzbvrnU$
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)
* Vision for teaching and research
* CV including employment history, list of publications (applicants applying
for the position as associate professor should indicate scientific highlights),
H-index, profiles in ORCID (see
https://urldefense.com/v3/__http://orcid.org/__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_TsSP8gCc$
), Google Scholar
(https://urldefense.com/v3/__https://scholar.google.com/__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_T34iLWj8$
) and DBLP
(https://urldefense.com/v3/__https://dblp.uni-trier.de__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_TWh0uqNg$
)
* Teaching portfolio including documentation of teaching experience
* Academic Diplomas (MSc/PhD)
You can learn more about the recruitment process here:
https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/recruitment-process/academic-assessment-process__;!!IBzWLUs!RBDLgGyr3hKh7HdsNYLU8H4mnFx1bLT-qv0PceyBcdEyyx18eF8QWfBDlFBXqwKoLlwKJUTQHuhDZxQAuL_T6QogRBk$
Please indicate whether you are applying for the position as Associate or
Assistant Professor.
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
around 440 employees and 10 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.
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.
