[Agda] second call: postdoc, research scientist, visiting student positions

[Aaron Stump]

Dear Agda community,

A while back, I advertised for a postdoc working with me on dependently 
typed lambda encodings in our new interactive theorem prover Cedille, 
written in Agda.  I have not yet filled the position, and so I am 
writing to advertise once again, with some further details:

-- I have funds to hire a postdoc (actually two), or if the applicant 
already has done a postdoc, a research scientist
-- salaries for both levels of position are very good: you will live 
very well here in Iowa City.  I can also pay for some relocation costs 
including travel here
-- the position is intended to support your research career. Sometimes 
such positions come with a lot of duties or obligations to further a 
specific project.  While the position here is associated with a project, 
there are almost no such obligations.  You will have maximal flexibility 
to pursue your existing research directions, as well as develop new ones 
with me
-- I warmly invite applications from researchers working in Europe. Our 
group, the Computational Logic Center of U. Iowa, run by myself, Cesare 
Tinelli, and our new colleague Omar Chowdhury (formal methods for 
security) has many connections with European groups, including a number 
of current postdocs trained in Europe
-- Iowa City is a very cosmopolitan college town, consistently rated one 
of the best small cities to live in in the US

I am also very interested in supporting visiting doctoral students. This 
could be especially interesting for students from outside the US.  Would 
you like to spend 3 months, 6 months, or one year working and studying 
in the US?  This would be a very nice opportunity for that.

If you think you might be interested, please drop me a line initially, 
before you put together some more official application. For the postdoc 
and research scientist position, I would eventually like a CV, a short 
description of your research interests, and the names of two 
references.  For the visiting student position, in the end I would like 
a short note from your advisor.  But to start off, please just email me 
and let me know you are thinking about it.  I'd be happy to talk more in 
detail about the project and life here.

Thanks, and hoping to hear from some of you or your students,
Aaron

Aaron Stump
Professor
Computer Science
The University of Iowa