[TYPES/announce] Associate professor position in computer science at CNAM Paris

[Tristan Crolard]

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

The CNAM opens a position of "Maître de Conférences" (associate professor) in 
Computer Science with specific reference to "advanced programming technics, 
software engineering and formal methods". Research will be conducted within the 
CPR team of the CEDRIC lab, while teaching will be carried out within the 
Computer Science Department.

Fluency in French is required for the position (in particular, teaching is in 
French). Moreover, in order to apply the candidate must be "qualified". 
Information regarding the French Qualification procedure can be found on the 
GALAXIE web site:

https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_qualification.htm

For more information about the CEDRIC lab (and the CNAM institution):

http://cedric.cnam.fr

The detailed announcement (in french) follows.

---

Un poste de maître de conférences en informatique (section 27) est ouvert au 
concours au Cnam à Paris, avec affectation au laboratoire CEDRIC (EA 4629).

Voici le profil détaillé :

- Recherche

Le candidat recruté sera intégré à l'équipe CPR du CEDRIC.

La thématique de l'équipe CPR se situe principalement dans le domaine des 
méthodes dites « formelles » : les membres de l'équipe développent des 
méthodes, techniques et outils pour produire des systèmes et des logiciels à 
haut degré de confiance en matière de sûreté et de sécurité.

Les méthodes formelles sont essentiellement appliquées à la conception, au 
développement et à la vérification de systèmes critiques. Dans ce contexte, 
les domaines d'expertise de l'équipe CPR concernent les méthodes déductives 
(et par extension les assistants de preuve), la sémantique des langages de 
programmation, les systèmes de types et les techniques de preuve de programme.

Le recrutement devra donc en priorité renforcer un de ces domaines. Toutefois 
le poste est aussi ouvert à tout jeune chercheur pouvant contribuer à un des 
autres thèmes actuellement développés dans l'équipe.

- Enseignement

Le candidat devra s'intégrer à l'équipe ayant en charge les enseignements 
fondamentaux et avancés en algorithmique, programmation, informatique 
théorique, et autour des méthodes formelles pour la vérification des 
logiciels.

Il prendra part aux enseignements dans ces thèmes à tous les niveaux, et 
notamment en premier cycle, et interviendra aussi dans des UE avancées sur la 
sûreté de fonctionnement du Master Systèmes Embarqués, Mobiles et Sûrs. Il 
prendra en charge une partie des responsabilités administratives et/ou 
pédagogiques liées à ces enseignements, en particulier dans le cadre ce 
Master.

Le candidat aura une bonne connaissance théorique et pratique des principaux 
paradigmes de programmation (fonctionnelle, impérative, objet) et saura 
manifester un intérêt pour les difficultés pédagogiques associées. Enfin, 
une première expérience dans l'enseignement de la programmation avancée Java 
ou du génie logiciel (plateforme J2EE, environnements de modélisation et 
programmation intégrés, patrons, approche à base de composants, etc) sera 
très appréciée.

- Contacts recherche et enseignement :

Tristan Crolard  (responsable de l'équipe CPR)
Pierre-Henri Cubaud  (directeur du CEDRIC)
Isabelle Wattiau  (directeur du département 
informatique).

[TYPES/announce] ACM SIGBED Paul Caspi Dissertation Award : deadline March 1st, 2016

[Alain Girault]

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


ACM SIGBED Paul Caspi Dissertation Award
  http://sigbed.blogspot.fr/p/awards.html
The nomination should be submitted via EasyChair at
  https://easychair.org/conferences/?conf=caspiaward16
by March 1, 2016. For further information,  contact Wang Yi (y...@it.uu.se)



The Paul Caspi Dissertation Award is a new ACM SIGBED award established 
in 2013. The award will recognize outstanding doctoral dissertations 
that significantly advance the state of the art in the science of 
embedded systems, in the spirit and legacy of Dr. Paul Caspi's work.


The ACM SIGBED Paul Caspi Dissertation Award will be presented annually 
to the author of an outstanding dissertation in the area of Embedded 
Systems. The author of the winning dissertation will be invited to 
publish a dissertation summary in the ACM SIGBED Newsletter and to 
submit their work to the journal ACM TECS (Transactions on Embedded 
Computing Systems) for possible publication, after the normal 
peer-review process. The award will include an award certificate for the 
author and an honorarium of 2000 USD. A public citation for the award 
paper will be placed on the SIGBED web site.


Selection Committee

Christoph Kirsch
Nikil Dutt
Rolf Ernst
Tei-Wei Kuo
Florence Maraninchi
Oleg Sokolsky
Reinhard Wilhelm
Wang Yi (Chair)

Selection Process

The award is for an outstanding doctoral dissertation dated within one 
year preceding the nomination due date. A selection committee and a 
selection committee chair will be selected by the current SIGBED 
Executive Committee. A member of the current SIGBED Executive Committee 
will be one of the selection committee members. The committee chair 
shall adjudicate conflicts of interest, appointing substitutes to the 
committee as necessary. Dissertations supervised by a selection 
committee member are ineligible to be nominated. For purposes of 
continuity, committee members may remain on the committee for up to 
three years. The selection committee shall be no less than three persons 
in size.


Nomination Process

Nominations will be solicited annually, being due March 1st each year, 
via major mailing lists and web forums. Additionally, dissertation 
advisers of each eligible year will be contacted for solicitation of 
award nominations.


A nomination should consist of the following items:

   - Name, address, phone number, and email address of the person 
making the nomination (the nominator).
- Name, address, phone number, and email address of the candidate 
for whom an award is recommended (the nominee).
- A short statement (200-500 words) explaining why the nominee 
deserves the award.
- Supporting statements from up to two persons in addition to the 
nominator.

- The nominated dissertation in an English language version.
- A list of the nominee's publications that were used as the basis 
of chapters in the nominated dissertation.

- The CV of the nominee.

The selection committee will make a recommendation on the winner of the 
award to the SIGBED Executive Committee, which will approve and announce 
the final winner. SIGBED Executive Committee members who have conflicts 
of interest with any nominee will be excluded from the approval process. 
The primary selection criterion will be the quality of the candidate's 
work, with the aim to recognize outstanding doctoral dissertations. The 
selection committee may choose to issue no award in a given year. The 
award may not be given to multiple recipients.