[TYPES/announce] Assistant Professor position at University Paris Diderot

2010-09-14 Thread Roberto Di Cosmo
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

==
Assistant professor (Maitre de Conferences) position
University Paris 7 Denis Diderot
Laboratory PPS (www.pps.jussieu.fr)
Web: https://www.pps.jussieu.fr/annonces/2010-mdc
==

A Maitre de Conference permanent position (~ Assistant
Professor) will be opened during the next academic year
within the Laboratory PPS located at University Paris Diderot
(see: http://www.pps.jussieu.fr).

Since the recruitment procedure in France involves several
preliminary steps, that need to be accomplished before
the position actually becomes available, this message
is sent largely in advance, to allow all potential
interested candidates to start the process in time
(see at the end of the message for more details).

Please notice that this position involves teaching,
in French and proficiency in this language is necessary
at the time the position is taken (September 2011).  

You can find more information on what is a 'Maitre de Conference',
including an approximate salary scale, on a french page on Wikipedia
http://fr.wikipedia.org/wiki/Ma%C3%AEtre_de_conf%C3%A9rences_%28France%29

Important dates
---

 Beginning of the preliminary
 process (qualification):  September 14, 2010

 Expected date of publication
 of the position:  Februrary 2011

 Expected date for sending the
 complete application: end of March 2011

 Expected date of the 
 interview of candidates   May 2011

 Start of the position September 2011

Research area of the position
-

We are looking for strong junior-level candidates who will be able
to contribute to the ongoing effort made in the PPS lagoratory to
study the foundations of programming. 

The researcher to be recruited is expected to contribute to the current
research activities of the PPS laboratory on various challenges arising
from programming in the large: complex software systems based on
heterogeneous, possibly distributed components with short development
lifecycles; theory and applications of formal methods to large codes
or code bases, possibly leading to the development of tools for improving
the quality of software systems.

Potential candidates are encouraged to peruse the laboratory web site
(http://www.pps.jussieu.fr), as well as the websites of some of the research
projects hosted there, like Mancoosi (http://www.mancoosi.org), CerCo
(http://cerco.cs.unibo.it/), CDuce (http://www.cduce.org/) and Ocsigen
(http://ocsigen.org/).

In PPS, the candidate will find a unique blend of computer scientists, with
strong formal basis rooted in mathematics, and a passion for programming
and applications: this is why, while the position description may seem more
oriented towards applications, strong candidates in theoretical computer
science are very welcome and should not hesitate in contacting us.

Application procedure
-

The procedure works in two stages in France: in the first stage, every
candidate applies to a national committee that assesses the overall
level of the candidate's profile and delivers a 'qualification', which
is valid for 4 years.

First stage: Qualification
--

The qualification procedure is specific to France, and is done by the
CNU (Comite National des Universites), which is divided into sections,
one for each discipline. 

The web page of the Computer Science section is http://cnu27.lri.fr/ and
contains extremely useful information: all interested candidates should
read the 'Qualification' section there, but here follows a short summary
of the important dates.

The first step of qualification is performed at the following web site:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/candidats.html
you can register, and fill in the required forms here:
https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/index.jsp

This first step must be completed very soon, before the 28th of October.
The interested candidates should not be afraid to contact us
early in case of difficulty with the qualification procedure.

A few weeks after the application has been registered on the web site,
the names of two reviewers are notified on November 16th
on the ANTARES web site:
https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/index.jsp
The candidate should then immediately send his full application
to the two reviewers, and no later than the 17th of December 2010.

Second stage: Application
-

Once the 'qualification' is obtained, the candidate should send
his full application to the University Paris Diderot, with a resume,
a research project and referee letters.

All necessary information about that step will appear on the web
site https://www.pps.jussieu.fr/annonces/2010-mdc later on.


Contact 

[TYPES/announce] Final CfPart ICGT and SPIN, 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands

2010-09-14 Thread Eduardo Zambon

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

==

   *** Call for Participation ***

 ICGT 2010
Fifth International Conference on Graph Transformation
29 Sep - 1 Oct 2010
  http://www.utwente.nl/icgt2010/

 SPIN 2010
17th International SPIN Workshop on Model Checking of Software
27 Sep - 29 Sep 2010
  http://www.utwente.nl/spin2010/

   University of Twente, Enschede, The Netherlands

==

PROGRAMME AND REGISTRATION

Programme at: http://www.utwente.nl/icgt-spin/programme
Registration: http://www.utwente.nl/icgt-spin/registration

--

JOINT ICGT/SPIN INVITED SPEAKER:
 - Javier Esparza, University of Munich

ICGT 2010 INVITED SPEAKERS:
 - Krzysztof Czarnecki, University of Waterloo
 - Christoph Brandt, University of Luxembourg

SPIN 2010 INVITED SPEAKERS:
 - Alessandro Cimatti, FBK-IRST, Italy
 - Darren Cofer, Rockwell Collins, USA

--

SATELLITE EVENTS:

- PDMC: 9th International Workshop on Parallel and Distributed
Methods in Verification
- HiBi: 2nd International Workshop on High Performance
Computational Systems Biology
- GCM: 3rd Workshop on Graph Computation Models
- GraBaTs: 4th International Workshop on Graph-Based Tools
- PNGT: 4th Workshop on Petri Nets and Graph Transformations
- WTNC: Workshop and Tutorial on Natural Computing
- ICGT Doctoral Symposium

--