Job vacancy

2-YEAR POSTDOCTORAL POSITION ON STRUCTURAL PROOF THEORY

Submissions: Dec 01, 2011

http://lists.seas.upenn.edu/mailman/listinfo/types-announce

2-YEAR POSTDOCTORAL POSITION ON STRUCTURAL PROOF THEORY

* The Vienna University of Technology is looking to recruit one Postdoctoral Research Assistant to work on the FWF-funded project “Nonclassical Proofs: theory, applications and tools”, under the direction of Agata Ciabattoni. * The [...]

2 year position as postdoctoral researcher

2 year position as postdoctoral researcher

Submissions: Aug 20, 2011

http://cl-informatik.uibk.ac.at

Within the ANR-FWF project STRUCTURAL there is a 2 year position as postdoctoral researcher

at the Computational Logic group of the Institute of Computer Science, University of Innsbruck, Austria. It might be possible to extend the position to a 3 year position. [...]

Postdoc: Canberra

Postdoc in Logic in Computer Science: Canberra Canberra, Australia

Submissions: June 6th 2010

http://jobs.anu.edu.au/PositionDetail.aspx?p=1243

The Logic and Computation Group at the Australian National University in Canberra is currently advertising a three-year fixed term post-doc. Applications close on June 6th 2010. We are looking for people whose research interests are in logic in computer [...]

Two PhD positions: Amsterdam

Two PhD positions: Amsterdam Amsterdam, Netherlands

Submissions: May 22, 2010

http://www.uva.nl/vacatures/vacatures.cfm/94363E7C-D4BD-4AA6-B5EF1F49B3ECEEDB

The Institute for Logic, Language, and Computation of the University of Amsterdam invites applications for 2 PhD positions within the research programme: The Inquisitive Turn. A New Perspective on Semantics, Logic, and Pragmatics.

Applications are expected before May 22.

For the full [...]

Research Fellow: Warwick

Research Fellow in Non-parametric Bayesian Methods in Bioinformatics University of Warwick – Warwick Systems Biology Centre Warwick, UK

Submissions: May 6, 2010

http://www2.warwick.ac.uk/services/humanresources/jobsintro/apply

£27,319 – £35,646 pa

Fixed Term Contract for 1 year

You will work on non-parametric Bayesian models in bioinformatics data integration and analysis. This is a collaborative project involving Warwick [...]

IFCoLog Post Page Launched

To post a conference, cfp or job listing just fill in the form on our POST SUBMISSION PAGE Some Tags: text, Conference, Job

150+ posts on IFCoLog

Over 150 conferences, workshops and summer schools have been posted on the IFCoLog Website.

Take a look at the IFCoLog calendar of events to get an idea of the sheer volume of high quality international meetings happening this year. Or subscribe to the RSS to get constant updates.

All events are fully searchable and categorised [...]

Professor: University of Greenwich

Professor in Computer Science University of Greenwich – School of Computing and Mathematical Sciences

Applications: 15 April 2010.

www.gre.ac.uk

Greenwich Campus

(REF: 01534)

We are seeking applications for the post of a Professor in Computer Science within the School of Computing and Mathematical Sciences. We are a large research-active School consisting of 65 Academic Staff [...]

Lecturer: University of Glasgow

Lecturer Complex Systems Engineering University of Glasgow – Department of Computing Science

Applications: 30 April 2010

www.glasgow.ac.uk/jobs

Faculty of Information & Mathematical Sciences

Ref: 00089-5

Salary: £31,671 – £35,646(grade 7)/£38,951 – £45,155 ( grade 8 ) per annum

You will undertake research in Computing Science, in particular in the area of Complex Systems Engineering. Be [...]

Research Assistant or Research Associate: Imperial College London

Research Assistant or Research Associate in Theory of Computational Systems Section Imperial College London – Department of Computing

Applications: 15th April 2010

http://www3.imperial.ac.uk/employment

Research Assistant salary: £26,720 – £29,700 per annum

Research Associate salary: £30,520 – £31,340 per annum

Fixed Term Appointment for 2 years starting in May 2010 or as soon as possible thereafter

[...]