The Coq mailing list

[Barry Jay <Barry.Jay AT uts.edu.au>]

Dear Herman,

I don’t believe we have met, but I’ve known of you for a long time.
Perhaps you have heard of my work on pattern calculus or, more recently, on 
SF-calculus and intensional computing. Anyway, I saw your ad and felt that we 
might make a good fit. In brief, I am in the School of Software at University 
of Technology Sydney.
I teach research methods to ~100 research students each semester, from my 
pamphlet “Writing your dissertation one paragraph at a time”. In research, I 
am trying to effect a revolution in the foundations of computing. In brief, 
the idea is that there are higher-order intensional calculi,  as well as 
first-order intensional calculi (Turing machines) and higher-order 
extensional calculi (lambda calculi). I could send you a variety of papers 
(published and not) and Coq implementations, if you are interested. There is 
also a “pitch trailer” for a fly-on-the-wall documentary about all this, at 
wip.doco.tv (password AIDC2018). My point is, if Radboud is willing to 
entertain such a radical research program, of rebuilding the foundations of 
computing, then I would be interested in seeking a position with you.

Yours,
Barry


Sent from my iPad

> On 30 Mar 2018, at 9:11 am, Herman Geuvers 
> <herman AT cs.ru.nl>
>  wrote:
>
> 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.
UTS CRICOS Provider Code: 00099F DISCLAIMER: This email message and any 
accompanying attachments may contain confidential information. If you are not 
the intended recipient, do not read, use, disseminate, distribute or copy 
this message or attachments. If you have received this message in error, 
please notify the sender immediately and delete this message. Any views 
expressed in this message are those of the individual sender, except where 
the sender expressly, and with authority, states them to be the views of the 
University of Technology Sydney. Before opening any attachments, please check 
them for viruses and defects. Think. Green. Do. Please consider the 
environment before printing this email.