[TYPES/announce] Assistant Professor Position in the H2020 ROSIN Project

[Andrzej Wasowski]

Context: This position is in applied program analysis, and requires prerequisites in building program analysis tools, and programming language semantics (which obviously includes types).  In this sense, some audience of the Types mailing list may find it relevant. 

***
Assistant Professor Position in the H2020 ROSIN Project
IT University of Copenhagen, Denmark
https://candidate.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=180826&MediaId=5
***

The IT University of Copenhagen invites applications for an Assistant Professor
position in the area of code scanning and program analysis. The proposed
starting date is 15 March 2017 or soon thereafter.

Job description

An up to 46 months Assistant Professor position within code scanning and
program analysis is available at the Computer Science Department at the IT
University of Copenhagen. This post-doc takes place within the context of the
European H2020 ICT Project ROSIN. The position includes an up to 20% teaching
load.

Robot technology is foreseen to have profound impact on society in the not too
distant future. Today, many robots are programmed using the open-source
Robotics Operating System (ROS, http://www.ros.org/) framework. However, at
present no automatic analysis or code scanning tools are used for open-source
robotic components, and specifically none are yet integrated into ROS’s
development process. This post-doc position is aimed at changing this. The idea
is to develop code scanning and program analysis techniques and apply existing
scanning and analysis technologies to key components of the ROS infrastructure.
In the project there is both space for applying and appropriating QA
technologies for ROS and for developing own tools.  However, it is of key
importance that the tools and solutions can be adopted by practitioners.

The research activities of the Assistant Professor will focus on the
development and/or usage of code scanning techniques and technologies, the
application of and evaluation of code scanning to key components of the ROS
infrastructure, and on automated unit test generation. Also, the candidate will
engage in reaching out to the ROS community to learn about what kind of
analyses are needed and would be most effective for robotics developers.
Moreover, the candidate will disseminate key insights.

The successful candidate is expected to hold a Ph.D. in computer science or
similar and the preferred candidate has experience with:

- code scanning, bug finding, or program analysis techniques
- usage of code scanning or program analysis technology
- It is considered an advantage to have experience in:
    designing and executing controlled experiments
    software testing
    robotics programming, mechatronics


General information

The IT University of Copenhagen (ITU) is a teaching and research-based tertiary
institution concerned with information technology (IT) and the opportunities it
offers. The IT University has more than 70 full-time academics. Research and
teaching in information technology span all academic activities which involve
computers including computer science, information and media sciences,
humanities and social sciences, business impact and the commercialisation of
IT.

Questions about the positions can be directed to Associate Professor Claus
Brabrand, IT University of Copenhagen, brabrand at itu.dk or tel. 7218 5076 and
Professor Andrzej Wasowski, IT University of Copenhagen, wasowski at itu.dk or
tel. 7218 5086.

The Assistant Professorship is a temporary position for up to 4 years with the
possibility of extension. The position requires academic qualifications at PhD
level.

Salary

Appointment and salary will be in accordance with the Ministry of Finance’s
agreement with the Danish Confederation of Professional Associations (AC).

Application

The application must be in English and must include:

- A motivated application, including a cogent argument for how qualified you
  are for the position and brief statements of research and teaching plans
- A full CV, including name, address, phone number, e-mail, previous and
  present employment and academic background
- Documentation of academic degrees (copy of degree certificates etc.)
- Copies of 3-5 publications relevant to the position.
- A numbered list of publications. The enclosed publications should be marked
  with an asterisk (*)
- Documentation of pedagogical experience and teaching record within one or
  more of the teaching areas listed for the position

The applicant will be assessed according to the Appointment Order from the
Ministry of Science, Technology and Innovation of 25 April 2008.

The IT University may use shortlisting in connection to the recruitment
process. In case of shortlisting, the Head of Department selects applicants for
assessment on the advice of the hiring committee after the application
deadline. All applicants are notified whether their application has been passed
for assessment. The shortlisting of candidates for assessment is based on the
criteria in the job posting.

Application procedure

You can only apply for this position through our e-recruitment system. Apply by
pushing the button "Apply for position" in the job announcement on our website:
http://en.itu.dk/About-ITU/Vacancies

The IT University uses tests in connection with the recruitment process.

Application deadline: 19 February, at 23:59 CET.

Applications received after the application deadline will not be taken into
consideration. If you submit an application, it is your responsibility to
ensure that it arrives before the deadline, so please allow sufficient time for
upload of publications and other documents.

The IT University invites all qualified researchers regardless of age, gender,
religious affiliation or ethnic background to apply for the positions.

--
prof. Andrzej Wąsowski, PhD,  http://www.itu.dk/~wasowski
IT University, Langgaards Vej 7, 2300 Copenhagen, Denmark
Room: 4D05, phone: +45 7218 5086, skype: wasowski_andrzej