The Coq mailing list

[Herman Geuvers <herman AT cs.ru.nl>]

Dear all,

At Radboud University Nijmegen in the Netherlands, we have a vacancy for

    Full Professor of Software Science (0,8 - 1,0 fte)

See http://www.ru.nl/werken/details/details_vacature_0/?recid=600979

Closing date: May 1 2018

Herman Geuvers

======================================================================

Full Professor of Software Science (0.8 - 1.0 FTE)

Faculty of Science
Maximum salary: € 7,766 gross/month
Vacancy number: 62.33.18
Application deadline: 1 May 2018

Responsibilities
----------------
As a full professor you will lead the research in the area of software 
science as outlined below. You will further develop your own research 
and your research group. You will teach and contribute to a supportive, 
collaborative work environment. You will broaden and enrich the 
expertise of our institute, notably within the section Software Science. 
You are eager to extend and deepen the relationship between the section 
Software Science and the other sections of iCIS (Data Science and 
Digital Security), as well as with other research institutes within the 
Faculty of Science.

You are expected to acquire funding for research, in particular by 
bringing in new PhD candidates, developing new research collaborations 
and new application areas. You will contribute to the teaching and 
management of the master track on Software Science, but also in general 
to teaching within the bachelors Computing Science and Artificial 
Intelligence. All scientific staff is expected to teach at undergraduate 
level as well.
Work environment

Software Science is a core field of research within Computing Science. 
It addresses the specification, design, development and evolution of 
software. It designs programming and language formalisms and 
methodologies, constructs tools to support these, and develops 
techniques for program analysis, software generation and software 
engineering, where empirical validation on realistic use cases is an 
integral part of the research. Developments in the field of Software 
Science are guided to a large extent by emerging technologies and 
information needs in society, which require that high quality software 
be developed quickly and effectively.

You will be appointed in the section Software Science of the Institute 
for Computing and Information Sciences (iCIS) of the Faculty of Science. 
Our Software Science section is responsible for several courses at both 
the Bachelor’s and Master’s level of the Computing Science programme, 
particularly in the Master’s specialisation in Software Science. 
Research at iCIS focuses on software science, digital security and data 
science. During a recent evaluation of Dutch Computing Science research, 
iCIS received the highest ranking of all computing science departments 
in the Netherlands (together with Twente).

Strategically located in Europe, Radboud University is one of the 
leading academic communities in the Netherlands. Radboud University is 
an equal opportunity employer, committed to building a culturally 
diverse intellectual community, and as such encourages applications from 
women and minorities. The university offers customised facilities to 
better align work and private life. Parents are entitled to partly paid 
parental leave and Radboud University employees enjoy flexibility in the 
way they structure their work. The university highly values the career 
development of its staff, which is facilitated by a variety of programmes.
What we expect from you
*    track record of publications in leading international conferences 
and journals;
*    experience with supervision of PhD projects;
*    experience with acquiring external research funds;
*    an established researcher in your field of expertise, active in the 
international scientific community;
*    a vision on future directions of research in software science and 
in computer science as a whole;
*    a vision on possible cooperations within the section Software 
Science and with other research disciplines within iCIS, the Faculty of 
Science and Radboud University;
*    well-developed didactic skills and qualifications, and an 
enthusiastic teacher and student supervisor;
*    ability to teach in bachelor and master programmes; an appealing 
vision on the role of programming and software engineering in the 
computer science urricula;
*    experience with and aspiration for further development of courses 
and curricula.

What we have to offer
---------------------
*    employment: 0.8 - 1.0 FTE;
*    a maximum gross monthly salary of € 7,766 based on a 38-hour 
working week (salary scale H2);
*    in addition to the salary: an 8% holiday allowance and an 8.3% 
end-of-year bonus;
*    the appointment is for an initial period of 5 years, after which 
you may be granted tenure following a positive review;
*    you will be classified as a Full Professor in the Dutch university 
job-ranking system (UFO);
*    you will be able to make use of our Dual Career Service where our 
Dual Career Officer will assist with family related support, such as 
child care, and help your partner prepare for the local labour market 
and with finding an occupation.

Are you interested in our excellent employment conditions?
Would you like to know more?

Further information on: Institute for Computing and Information Sciences 
(iCIS)

For more information about this vacancy, please contact:
Prof. Dr H. Geuvers
Telephone: +31 24 3652603
E-mail: 
Research-Director-ICIS AT cs.ru.nl

Are you interested?
-------------------
You should upload your application (attn. of Ms. W. van der Pluijm) 
exclusively using the button 'Apply' on
http://www.ru.nl/werken/details/details_vacature_0/?recid=600979
Your application should include (and be limited to) the following 
attachment(s):

*    letter of motivation
*    CV including the (e-mail) adresses of two referees
*    research and teaching statement

For more information on your application: +31 24 3652131.