Logic List Mailing Archive
Assistant Professorship in Formal Methods, Kungens Lyngby (Denmark), Deadline: 28 Feb 2021
Dear all,
DTU Compute (Technical University of Denmark) is recruiting a Tenure Track
Assistant Professor in the Formal Methods section:
* details:
https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=78af4617-2d83-4775-b7ed-f46dbbcac8ee
(also below)
* application deadline: 28 February 2021
(note: in the link above, in the "Apply for this job" box, you may
see an earlier deadline --- it will be fixed soon)
------------------------------------------------------------------------
DTU Tenure Track Assistant Professor in Formal Methods
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.
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. Read more about the DTU Tenure Track program
at DTU at this homepage
<https://www.dtu.dk/english/about/job-and-career/recruitment-process/tenure-track>.
Responsibilities and qualifications
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.
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.
As formal qualification you must hold a PhD degree (or equivalent).
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 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 Ministerial Order on Job Structure for Academic Staff at
Universities <https://www.retsinformation.dk/Forms/R0710.aspx?id=212083>.
The position is available from July 1st or according to mutual agreement.
Further information
Further information may be obtained from Head of Section Alberto Lluch Lafuente
(albl@dtu.dk <mailto:albl@dtu.dk>). You are welcome to contact him before
submitting the formal application.
You can read more about DTU Compute?s section for Formal Methods at
<http://www.compute.dtu.dk/english/research/research-sections/formalmethods>.
If you are applying from abroad, you may find useful information on working in
Denmark and at DTU at DTU ? Moving to Denmark
<https://www.dtu.dk/english/about/job-and-career/moving-to-denmark>.
Application procedure
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:
* Application (cover letter)
* Vision for teaching and research for the tenure track period
* CV including employment history, list of publications, H-index, and
profiles in ORCID (see http://orcid.org/ <http://orcid.org/>),
Google Scholar (https://scholar.google.com/
<https://scholar.google.com/>) and DBLP (https://dblp.uni-trier.de/)
* Teaching portfolio
<https://learninglab.dtu.dk/english/Resources/Teaching-Portfolio>
including documentation of teaching experience
* Academic Diplomas (MSc/PhD)
All interested candidates irrespective of age, gender, disability, race,
religion or ethnic background are encouraged to apply.
DTU Compute
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.
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 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.
--
Alceste Scalas<alcsc@dtu.dk> -https://people.compute.dtu.dk/alcsc
Assistant Professor @ DTU Compute - Section for Formal Methods
Technical University of Denmark
Richard Petersens Plads, Building 324, Room 180
2800 Kgs. Lyngby
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam