The Coq mailing list

[Travis Ayres <trayres AT gmail.com>]

So that was a pretty cool pitch trailer, was it supposed to be sent to everyone?

Might want to change the password and send a direct mail next time. 

Also, I'd totally read your work, is there a link with more info? 

On Fri, Mar 30, 2018, 3:31 PM Barry Jay <Barry.Jay AT uts.edu.au> wrote:

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.