[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a postdoctoral position in the Software
Reliability Group (http://srg.doc.ic.ac.uk/) in the Department of
Computing at Imperial College London.
The goal of this
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Indiana University invites applications for a postdoctoral position in
programming languages, focusing on contracts, verification, and
gradual types. The position is in the PLT group led by
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Indiana University invites applications for a postdoctoral position in the
programming languages research cluster (http://lambda.soic.indiana.edu/)
with a possible dual affiliation with the
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
6 year postdoc position in computational logic
==
The University of Innsbruck invites applications for a 6 year
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Programming Languages and Verification Group at the University of
Colorado Boulder (CUPLV) is looking for exceptional candidates for a
postdoctoral research associate in the area of
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues,
I have an opening for a postdoc, as described in the ad below. In
addition to accepting applications, I am very happy to respond to
informal enquiries about any aspect
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The recently-established Systems Security Research Lab
(http://s2lab.isg.rhul.ac.uk), led by Dr Lorenzo Cavallaro within the
Information Security Group (ISG) at Royal Holloway University
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications in the area of logic/types/semantics to the postdoc
position below are welcome, in particular in view of an integration to
the Plume (Proofs and languages) team at
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Research Associate position in Automated Verification, Logic and Theorem
Proving (ref:1439542)
Dept. of Computer Science, University College London, UK
The UCL Dept. of Computer Science
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*** PostDoc Position in the Parkas team, ENS Paris, France ***
We are seeking applicants for a post-doctoral position to join a group
working on the broad area of concurrency
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The School of Mathematics at the Institute for Advanced Study in Princeton, NJ,
is looking to fill one or more postdoc positions for the academic year 2015-16
focusing on univalent
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
* Summary
o Postdoc position: Deepsea Project, INRIA Rocquencourt-Paris
o Duration: 2 (+1) Year
o Area: programming languages
o Note: Collaborations and extended stays at Carnegie Mellon
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc position: Hybrid Systems Theorem Proving
Carnegie Mellon University, Computer Science Department
Professor André Platzer is looking for talented researchers with a strong
research
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all
I'd be grateful if you could forward this job advert on to anyone you
think might be interested.
For full details about the post, please see:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for PostDocs
The ANR REVER project is seeking applicants for two 1-year
post-doctoral research positions. The work will be done either at the
Spades team at INRIA Grenoble, at
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A position for a postdoctoral scholar is available in the School of Electrical
Engineering and Computer Science at Oregon State University. The individual
working in this position will be
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
One postdoc position is available in the ANR-NSFC project LOCALI
* Location:
Preuves, Programmes et Systemes laboratory (PPS)
University Paris Diderot - Paris 7
* Description:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*Nominal Structural Operational Semantics*
*School of Computer Science, Reykjavik University*
*One postdoctoral position*
Applications are invited for one postdoctoral position at the
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[This is an informal announcement, with a formal call for applications
possibly to follow in the future.]
I am seeking a postdoctoral research associate at the University of
Athens, for a
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We welcome applications for a post-doctoral scholarship.
The position is funded by the research project Advanced Type Systems
for Multicore Programming. The objective of the project is the
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a postdoctoral position at the IMDEA Software
Institute in Madrid, Spain. The post is available for the duration of up to
three years. The postdoc will work
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
A post-doctoral position is still available in Toulouse, France, jointly
proposed by Onera/DTIM and IRIT. The objective is to enrich existing
formally-grounded
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A post-doctoral position is available at Toulouse, France, jointly proposed by
Onera/DTIM and IRIT. The objective is to enrich existing formally-grounded
requirement modelling approaches
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We invite applications for a postdoctoral research associate at
Cornell University. The position is part of a project that seeks to
develop new language abstractions for managing software
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The team Logique de la Programmation (LDP) of the Institut de Mathématiques
de Luminy (IML) in Marseille, France, is inviting applications for a
postdoctoral position in proof theory.
Do not
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Manticore project at the Rochester Institute of Technology (Rochester,
NY, USA) is offering a 2-year post-doctoral research position. The
Manticore project (joint with the University
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=== Postdoc position on program verification at KU Leuven ===
We have an open postdoc position on program verification as part of our
participation in the EU FP7 project ADVENT
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---
PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK MIGHT BE INTERESTED.
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc position in proof theory in Paris
There is an opening
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Disclaimer: This message does NOT include the word types in it, as requested
on the types list webpage,
but the successful candidate will also need to define a static semantics of
C/LLVM.
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a postdoctoral position at the IMDEA Software
Institute (www.software.imdea.org) in Madrid, Spain. The postdoc will work
under supervision of Alexey Gotsman
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The U Combinator research group at the University of Utah has an open
postdoc position in static analysis. The position, funded by a joint
project between the University of Utah and
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Sorry if you receive multiple copies of this]
Applications are invited for a full-time postdoctoral researcher
position in GoNative, a joint project between Lehigh University
and Harvard
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
New postdoc position in the FP7 CerCo Project
Job description:
We are currently looking for a one year (or less) Post-Doc position at
the Department of Computer Science,
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*** PostDoc Position in the Parkas team, ENS Paris, France ***
We are seeking applicants for a post-doctoral position to join a group
working on the broad area of concurrency
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
There is a 12 month postdoc position available at LIX, Ecole Polytechnique,
within the PARSIFAL team.
http://team.inria.fr/parsifal/
The selected candidate will have to conduct
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(Apologies for multiple copies)
Applications are invited for
- one PostDoc position (DEADLINE 4/July/2012)
within the Security and Quantum Information Group (SQIG) of Instituto de
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple posting]
SECOND ANNOUNCEMENT
The French ANR project LOGOI is inviting applications for a postdoctoral
position within the team Logique de la Programmation (LDP) of
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Please bring these to the attention of any suitable candidates -
thanks, -francesco]
**
We are seeking applicants for a
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple posting]
The French ANR project LOGOI is inviting applications for a postdoctoral
position within the team Logique de la Programmation (LDP) of the Institut de
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc position for 2 years in Mathematical Logic
at Stockholm University, Department of Mathematics.
The research in mathematical logic at the department
include such subjects
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
I invite applications for one postdoctoral position, starting
September 1 or as soon as possible, at Dalhousie University under my
supervision.
The position is initially
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Queen Mary, University of London is looking to appoint a Post Doctoral
Research Assistant the area of Program Verification and Analysis. The
successful applicant will be supervised by
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A new postdoc position is available for 5-year project Higher-Order
Model Checking and its Applications (see the project description below),
at Tohoku University, Japan.
The appointment
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc position in proof theory in Paris
There is an opening of a postdoc
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We welcome applications for a post-doctoral scholarship.
*** DEADLINE 30 FEBRUARY 2011
The position is funded by the research project Certified Interfaces
for Integrity
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a full-time postdoctoral research position
in the Software Analysis and Verification group, headed by Viktor
Vafeiadis, at the Max Planck Institute for Software
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We invite applications for a full-time postdoctoral research position
in the Type Systems and Functional Programming Group, headed by Derek
Dreyer, at the Max Planck Institute for Software
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POST-DOCTORAL POSITION
Posted 2009 October 29
The Computer Science Department (Dipartimento di Informatica) of the
University of Torino seeks candidates for a post-doctoral position
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Rupak Majumdar and I are looking for a postdoc to work with us on a
project involving analysis and testing of safety critical systems.
The position is for two years starting this summer or
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Software Engineering for Service-
Oriented Overlay Computers
The Department of Informatics at the Faculty of Sciences, University of
Lisbon is seeking candidates for one post-doc
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Modeling and analysis of security protocols
===
One post-doc position is available in the Department of Computer Science,
Stevens Institute of
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[ Please forward to candidates who might be interested ]
---
Postdoctoral Research
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Apologies for multiple postings.
-
[http://info.anu.edu.au/hr/Jobs/Academic_Positions/_CECS4727.asp]
Employment Position Available
ANU College of Engineering and Computer Science
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A postdoctoral position within programming languages and software
technology is available at the Department of Computer Science,
University of Aarhus, Denmark.
The position is funded by a
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Plume team of the Ecole Normale Superieure de Lyon
(http://www.ens-lyon.fr/LIP/PLUME/index.html.en) is offering a 12
months job to collaborate within the project MoDyFiable
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Following the departure of Matthew Parkinson to an Academy of
Engineering Fellowship, I have a postdoc vacancy. The official
advertisement follows. Really, the project is to do
101 - 157 of 157 matches
Mail list logo