Logic List Mailing Archive

Postdoctoral position on dependently typed lambda encodings, Iowa City IA (U.S.A.)

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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam