* [Caml-list] Post-doctoral position available at ENSTA-ParisTech - Secure-OCaml project
@ 2015-06-24 13:35 Michel Mauny
2015-10-05 12:58 ` [Caml-list] [Urgent] " Michel Mauny
0 siblings, 1 reply; 4+ messages in thread
From: Michel Mauny @ 2015-06-24 13:35 UTC (permalink / raw)
To: Caml List, ocaml-jobs
Dear all,
We have a post-doctoral position available at ENSTA-ParisTech (Palaiseau, France), to be filled as soon as possible, on the Secure-OCaml project. See below for more information.
Sorry for multiple postings and don't hesitate to transfer this announce to whom could be interested.
(*****************************************************************************
*
* Secure-OCaml - Checking safety and security properties of OCaml programs
*
******************************************************************************)
(*
* English (Voir plus bas pour une version française.)
*)
Offer: postdoc
Publication date: June 23 2015
Workplace: ENSTA-ParisTech, Palaiseau
(see http://www.ensta-paristech.fr/en/getting-ensta-paristech)
Duration: from 12 to 24 months
Starting: ASAP
Salary: from 2200 € to 2400 € net per month (incl. social security)
Mission: design and implement libraries for verifying safety and security properties of dynamically loaded OCaml code and data.
Description: The Secure-OCaml project aims at adapting the OCaml language to the development of applications involving security issues. The project gathers the following industrial and academic partners: OCamlPro, SafeRiver, LexiFi, TrustInSoft, INRIA, ENSTA-ParisTech, CEA, and Trusted Labs.
Among the objectives of the Secure-OCaml project, the safety of dynamically loaded code and data is a particularly important issue. In the same way as static typing ensures safety properties about statically linked code, applications shoould be able to have similar ensurance about dynamically loaded code and data.
The postdoc's mission will be to study these problems and bring effective solutions that shall be made freely available to the OCaml community.
This work will be realized in cooperation with INRIA-Paris and OCamlpro SAS.
Profile sought:
- skills in typing and compilation
- strong capabilities and taste in functional programming in general and OCaml in particular
- a knowledge of the OCaml compiler is an additional advantage
Context of the job: ENSTA-ParisTech is a french (top ten) engineering schools, located at Palaiseau, on a campus shared with INRIA and Ecole Polytechnique. The research group "Software Safety and Reliability of Software" is part of ENSTA's Computer Science and System Engineering Department, and aims at improving techniques of development, analysis and verification of software.
For more information, contact:
- michel.mauny <at> ensta-paristech <dot> fr
- +33 1 8187 2032
To apply, send the following documents to michel.mauny <at> ensta-paristech <dot> fr:
- your resume, with a list of publications
- a motivation letter
- the name and address (e-mail) of two persons who could write a recommendation
Applications will be received as long as the position remains available. Please check at:
http://u2is.ensta-paristech.fr/members/mauny/postdoc-secureocaml.txt
that the position is still available.
(****************************************************************************
* Français (See above for an english version.)
****************************************************************************)
Type d'offre : post-doctorant
Date de publication : 23 juin 2015
Lieu de travail : ENSTA-ParisTech, Palaiseau
Durée : de 12 à 24 mois
Date de début : dès que possible
Salaire : entre 2200 € et 2400 € nets par mois (sécurité sociale incluse)
Thèmes : Langages de programmation, compilation, typage, OCaml
Mission : concevoir et réaliser des bibliothèques permettant de vérifier des propriétés de sûreté et de sécurité de codes et données chargées dynamiquement par des applications OCaml.
Descriptif du poste : Le projet Secure-OCaml (FUI18) a pour objectif d'adapter le langage OCaml au développement d'applications présentant des enjeux de sécurité. Le projet réunit les partenaires industriels et académiques suivants : OCamlPro, SafeRiver, LexiFi, TrustInSoft, INRIA, ENSTA-ParisTech, CEA, et Trusted Labs.
Parmi les objectifs du projets Secure-OCaml, la fiabilité du traitement des données et codes chargés dynamiquement est un enjeu particulièrement important : en effet, le typage statique effectué par le compilateur OCaml fournit des garanties fortes aux applications. En revanche, lors du chargement dynamique d'un code ou d'une donnée, une application n'a aucune l'assurance que ce code ou cette donnée est conforme aux hypothèses qu'elle fait.
La mission du post-doctorant sera d'étudier ces problèmes et d'y apporter des solutions qui seront rendues librement disponibles sous forme de bibliothèques.
Ce travail sera réalisé en étroite coopération avec INRIA-Paris et OCamlpro SAS.
Profil recherché :
- compétences fortes en typage et compilation
- goût affirmé pour le développement OCaml
- la connaissance de la chaîne de compilation d'OCaml est un atout supplémentaire
Contexte de travail : l'ENSTA-ParisTech est une Grande École d’ingénieurs généraliste, localisée à Palaiseau, sur un campus qu'elle partage avec l'Ëcole Polytechnique. L'équipe « Sûreté et Fiabilité des Logiciels » (http://u2is.ensta-paristech.fr/groups/SL/) de l'Unité d'Informatique et d'Ingénierie des Systèmes » vise à contribuer à l'amélioration des techniques de développement, d'analyse et de vérification des logiciels.
Informations complémentaires :
- michel.mauny <at> ensta-paristech <dot> fr
- +33 1 8187 2032
Pour candidater, envoyer à michel.mauny <at> ensta-paristech <dot> fr les documents suivants :
- CV avec liste de publications
- lettre de motivation
- coordonnées de deux personnes en mesure de recommander le candidat
Les candidatures seront examinées jusqu'à ce qu'un candidat soit accepté. Merci de vérifier sur
http://u2is.ensta-paristech.fr/members/mauny/postdoc-secureocaml.txt
que l'offre est encore disponible avant de candidater.
--
Michel Mauny
michel.mauny <at> ensta.fr
ENSTA ParisTech
--
Michel Mauny
ENSTA ParisTech
Université Paris-Saclay
828, boulevard des Maréchaux
91762 Palaiseau Cedex
+33 1 8187 2032
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Caml-list] [Urgent] Post-doctoral position available at ENSTA-ParisTech - Secure-OCaml project
2015-06-24 13:35 [Caml-list] Post-doctoral position available at ENSTA-ParisTech - Secure-OCaml project Michel Mauny
@ 2015-10-05 12:58 ` Michel Mauny
0 siblings, 0 replies; 4+ messages in thread
From: Michel Mauny @ 2015-10-05 12:58 UTC (permalink / raw)
To: Caml List, ocaml-jobs, gdr.gpl
Dear all, Bonjour à tous,
Nous avons une offre de postdoc à l'ENSTA-ParisTech, sur le plateau de Saclay, sur le projet SecurOCaml. Voir ci-dessous une description de l'offre. N'hésitez pas à transmettre cette offre aux candidats qu'elle pourrait intéresser.
We have a post-doctoral position available at ENSTA-ParisTech (Palaiseau, France), to be filled as soon as possible, on the Secure-OCaml project. See below for more information.
Sorry for multiple postings and don't hesitate to transfer this announce to whom could be interested.
(****************************************************************************
* Français (See below for an english version.)
****************************************************************************)
Type d'offre : post-doctorant
Lieu de travail : ENSTA-ParisTech, Palaiseau
Durée : de 12 à 24 mois
Date de début : dès que possible
Salaire : entre 2200 € et 2400 € nets par mois (sécurité sociale incluse)
Thèmes : Langages de programmation, compilation, typage, OCaml
Mission : concevoir et réaliser des bibliothèques permettant de vérifier des propriétés de sûreté et de sécurité de codes et données chargées dynamiquement par des applications OCaml.
Descriptif du poste : Le projet Secure-OCaml (FUI18) a pour objectif d'adapter le langage OCaml au développement d'applications présentant des enjeux de sécurité. Le projet réunit les partenaires industriels et académiques suivants : OCamlPro, SafeRiver, LexiFi, TrustInSoft, INRIA, ENSTA-ParisTech, CEA, et Trusted Labs.
Parmi les objectifs du projets Secure-OCaml, la fiabilité du traitement des données et codes chargés dynamiquement est un enjeu particulièrement important : en effet, le typage statique effectué par le compilateur OCaml fournit des garanties fortes aux applications. En revanche, lors du chargement dynamique d'un code ou d'une donnée, une application n'a aucune l'assurance que ce code ou cette donnée est conforme aux hypothèses qu'elle fait.
La mission du post-doctorant sera d'étudier ces problèmes et d'y apporter des solutions qui seront rendues librement disponibles sous forme de bibliothèques.
Ce travail sera réalisé en étroite coopération avec INRIA-Paris et OCamlpro SAS.
Profil recherché :
- compétences fortes en typage et compilation
- goût affirmé pour le développement OCaml
- la connaissance de la chaîne de compilation d'OCaml est un atout supplémentaire
Contexte de travail : l'ENSTA-ParisTech est une Grande École d’ingénieurs généraliste, localisée à Palaiseau, sur un campus qu'elle partage avec l'Ëcole Polytechnique. L'équipe « Sûreté et Fiabilité des Logiciels » (http://u2is.ensta-paristech.fr/groups/SL/) de l'Unité d'Informatique et d'Ingénierie des Systèmes » vise à contribuer à l'amélioration des techniques de développement, d'analyse et de vérification des logiciels.
Informations complémentaires :
- michel.mauny <at> ensta-paristech <dot> fr
- +33 1 8187 2032
Pour candidater, envoyer à michel.mauny <at> ensta-paristech <dot> fr les documents suivants :
- CV avec liste de publications
- lettre de motivation
- coordonnées de deux personnes en mesure de recommander le candidat
Les candidatures seront examinées jusqu'à ce qu'un candidat soit accepté. Merci de vérifier sur
http://u2is.ensta-paristech.fr/members/mauny/postdoc-secureocaml.txt
que l'offre est encore disponible avant de candidater.
(*****************************************************************************
*
* Secure-OCaml - Checking safety and security properties of OCaml programs
*
******************************************************************************)
(See french version above)
Offer: postdoc
Workplace: ENSTA-ParisTech, Palaiseau
(see http://www.ensta-paristech.fr/en/getting-ensta-paristech)
Duration: from 12 to 24 months
Starting: ASAP
Salary: from 2200 € to 2400 € net per month (incl. social security)
Mission: design and implement libraries for verifying safety and security properties of dynamically loaded OCaml code and data.
Description: The Secure-OCaml project aims at adapting the OCaml language to the development of applications involving security issues. The project gathers the following industrial and academic partners: OCamlPro, SafeRiver, LexiFi, TrustInSoft, INRIA, ENSTA-ParisTech, CEA, and Trusted Labs.
Among the objectives of the Secure-OCaml project, the safety of dynamically loaded code and data is a particularly important issue. In the same way as static typing ensures safety properties about statically linked code, applications shoould be able to have similar ensurance about dynamically loaded code and data.
The postdoc's mission will be to study these problems and bring effective solutions that shall be made freely available to the OCaml community.
This work will be realized in cooperation with INRIA-Paris and OCamlpro SAS.
Profile sought:
- skills in typing and compilation
- strong capabilities and taste in functional programming in general and OCaml in particular
- a knowledge of the OCaml compiler is an additional advantage
Context of the job: ENSTA-ParisTech is a french (top ten) engineering schools, located at Palaiseau, on a campus shared with INRIA and Ecole Polytechnique. The research group "Software Safety and Reliability of Software" is part of ENSTA's Computer Science and System Engineering Department, and aims at improving techniques of development, analysis and verification of software.
For more information, contact:
- michel.mauny <at> ensta-paristech <dot> fr
- +33 1 8187 2032
To apply, send the following documents to michel.mauny <at> ensta-paristech <dot> fr:
- your resume, with a list of publications
- a motivation letter
- the name and address (e-mail) of two persons who could write a recommendation
Applications will be received as long as the position remains available. Please check at:
http://u2is.ensta-paristech.fr/members/mauny/postdoc-secureocaml.txt
that the position is still available.
--
Michel Mauny
U2IS
ENSTA ParisTech, Université Paris-Saclay
828, boulevard des Maréchaux
F-91762 Palaiseau Cedex
+33 1 8187 2032
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Caml-list] Post-doctoral position available at ENSTA-ParisTech - Secure-OCaml project
@ 2015-06-24 9:47 Michel Mauny
0 siblings, 0 replies; 4+ messages in thread
From: Michel Mauny @ 2015-06-24 9:47 UTC (permalink / raw)
To: Caml List, ocaml-jobs
Dear all,
We have a post-doctoral position available at ENSTA-ParisTech (Palaiseau, France), to be filled as soon as possible, on the Secure-OCaml project. See below for more information.
Sorry for multiple postings and don't hesitate to transfer this announce to whom could be interested.
(*****************************************************************************
*
* Secure-OCaml - Checking safety and security properties of OCaml programs
*
******************************************************************************)
(*
* English (Voir plus bas pour une version française.)
*)
Offer: postdoc
Publication date: June 23 2015
Workplace: ENSTA-ParisTech, Palaiseau
(see http://www.ensta-paristech.fr/en/getting-ensta-paristech)
Duration: from 12 to 24 months
Starting: ASAP
Salary: from 2200 € to 2400 € net per month (incl. social security)
Mission: design and implement libraries for verifying safety and security properties of dynamically loaded OCaml code and data.
Description: The Secure-OCaml project aims at adapting the OCaml language to the development of applications involving security issues. The project gathers the following industrial and academic partners: OCamlPro, SafeRiver, LexiFi, TrustInSoft, INRIA, ENSTA-ParisTech, CEA, and Trusted Labs.
Among the objectives of the Secure-OCaml project, the safety of dynamically loaded code and data is a particularly important issue. In the same way as static typing ensures safety properties about statically linked code, applications shoould be able to have similar ensurance about dynamically loaded code and data.
The postdoc's mission will be to study these problems and bring effective solutions that shall be made freely available to the OCaml community.
This work will be realized in cooperation with INRIA-Paris and OCamlpro SAS.
Profile sought:
- skills in typing and compilation
- strong capabilities and taste in functional programming in general and OCaml in particular
- a knowledge of the OCaml compiler is an additional advantage
Context of the job: ENSTA-ParisTech is a french (top ten) engineering schools, located at Palaiseau, on a campus shared with INRIA and Ecole Polytechnique. The research group "Software Safety and Reliability of Software" is part of ENSTA's Computer Science and System Engineering Department, and aims at improving techniques of development, analysis and verification of software.
For more information, contact:
- michel.mauny <at> ensta-paristech <dot> fr
- +33 1 8187 2032
To apply, send the following documents to michel.mauny <at> ensta-paristech <dot> fr:
- your resume, with a list of publications
- a motivation letter
- the name and address (e-mail) of two persons who could write a recommendation
Applications will be received as long as the position remains available. Please check at:
http://u2is.ensta-paristech.fr/members/mauny/postdoc-secureocaml.txt
that the position is still available.
(****************************************************************************
* Français (See above for an english version.)
****************************************************************************)
Type d'offre : post-doctorant
Date de publication : 23 juin 2015
Lieu de travail : ENSTA-ParisTech, Palaiseau
Durée : de 12 à 24 mois
Date de début : dès que possible
Salaire : entre 2200 € et 2400 € nets par mois (sécurité sociale incluse)
Thèmes : Langages de programmation, compilation, typage, OCaml
Mission : concevoir et réaliser des bibliothèques permettant de vérifier des propriétés de sûreté et de sécurité de codes et données chargées dynamiquement par des applications OCaml.
Descriptif du poste : Le projet Secure-OCaml (FUI18) a pour objectif d'adapter le langage OCaml au développement d'applications présentant des enjeux de sécurité. Le projet réunit les partenaires industriels et académiques suivants : OCamlPro, SafeRiver, LexiFi, TrustInSoft, INRIA, ENSTA-ParisTech, CEA, et Trusted Labs.
Parmi les objectifs du projets Secure-OCaml, la fiabilité du traitement des données et codes chargés dynamiquement est un enjeu particulièrement important : en effet, le typage statique effectué par le compilateur OCaml fournit des garanties fortes aux applications. En revanche, lors du chargement dynamique d'un code ou d'une donnée, une application n'a aucune l'assurance que ce code ou cette donnée est conforme aux hypothèses qu'elle fait.
La mission du post-doctorant sera d'étudier ces problèmes et d'y apporter des solutions qui seront rendues librement disponibles sous forme de bibliothèques.
Ce travail sera réalisé en étroite coopération avec INRIA-Paris et OCamlpro SAS.
Profil recherché :
- compétences fortes en typage et compilation
- goût affirmé pour le développement OCaml
- la connaissance de la chaîne de compilation d'OCaml est un atout supplémentaire
Contexte de travail : l'ENSTA-ParisTech est une Grande École d’ingénieurs généraliste, localisée à Palaiseau, sur un campus qu'elle partage avec l'Ëcole Polytechnique. L'équipe « Sûreté et Fiabilité des Logiciels » (http://u2is.ensta-paristech.fr/groups/SL/) de l'Unité d'Informatique et d'Ingénierie des Systèmes » vise à contribuer à l'amélioration des techniques de développement, d'analyse et de vérification des logiciels.
Informations complémentaires :
- michel.mauny <at> ensta-paristech <dot> fr
- +33 1 8187 2032
Pour candidater, envoyer à michel.mauny <at> ensta-paristech <dot> fr les documents suivants :
- CV avec liste de publications
- lettre de motivation
- coordonnées de deux personnes en mesure de recommander le candidat
Les candidatures seront examinées jusqu'à ce qu'un candidat soit accepté. Merci de vérifier sur
http://u2is.ensta-paristech.fr/members/mauny/postdoc-secureocaml.txt
que l'offre est encore disponible avant de candidater.
--
Michel Mauny
michel.mauny <at> ensta.fr
ENSTA ParisTech
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Caml-list] Post-doctoral position available at ENSTA-ParisTech - Secure-OCaml project
@ 2015-06-23 14:39 Michel Mauny
0 siblings, 0 replies; 4+ messages in thread
From: Michel Mauny @ 2015-06-23 14:39 UTC (permalink / raw)
To: Caml List
[-- Attachment #1: Type: text/plain, Size: 362 bytes --]
Dear all,
We have a post-doctoral position available at ENSTA-ParisTech (Palaiseau, France), to be filled as soon as possible, on the Secure-OCaml project. See attached file for more information.
Sorry for multiple postings and don't hesitate to transfert this announce to whom could be interested.
--
Michel Mauny
michel.mauny <at> ensta.fr
ENSTA ParisTech
[-- Attachment #2: postdoc-secureocaml.txt --]
[-- Type: text/plain, Size: 5761 bytes --]
(*****************************************************************************
*
* Secure-OCaml - Checking safety and security properties of OCaml programs
*
******************************************************************************)
(****************************************************************************
* English (Voir plus bas pour une version française.)
****************************************************************************)
Offer: postdoc
Publication date: June 23 2015
Workplace: ENSTA-ParisTech, Palaiseau
(see http://www.ensta-paristech.fr/en/getting-ensta-paristech)
Duration: from 12 to 24 months
Starting: ASAP
Salary: from 2200 € to 2400 € net per month (incl. social security)
Mission: design and implement libraries for verifying safety and security properties of dynamically loaded OCaml code and data.
Description: The Secure-OCaml project aims at adapting the OCaml language to the development of applications involving security issues. The project gathers the following industrial and academic partners: OCamlPro, SafeRiver, LexiFi, TrustInSoft, INRIA, ENSTA-ParisTech, CEA, and Trusted Labs.
Among the objectives of the Secure-OCaml project, the safety of dynamically loaded code and data is a particularly important issue. In the same way as static typing ensures safety properties about statically linked code, applications shoould be able to have similar ensurance about dynamically loaded code and data.
The postdoc's mission will be to study these problems and bring effective solutions that shall be made freely available to the OCaml community.
This work will be realized in cooperation with INRIA-Paris and OCamlpro SAS.
Profile sought:
- skills in typing and compilation
- strong capabilities and taste in functional programming in general and OCaml in particular
- a knowledge of the OCaml compiler is an additional advantage
Context of the job: ENSTA-ParisTech is a french (top ten) engineering schools, located at Palaiseau, on a campus shared with INRIA and Ecole Polytechnique. The research group "Software Safety and Reliability of Software" is part of ENSTA's Computer Science and System Engineering Department, and aims at improving techniques of development, analysis and verification of software.
For more information, contact:
- michel.mauny <at> ensta-paristech <dot> fr
- +33 1 8187 2032
To apply, send the following documents to michel.mauny <at> ensta-paristech <dot> fr:
- your resume, with a list of publications
- a motivation letter
- the name and address (e-mail) of two persons who could write a recommendation
Applications will be received as long as the position remains available. Please check at:
http://u2is.ensta-paristech.fr/members/mauny/
that the position is still available.
(****************************************************************************
* Français (See above for an english version.)
****************************************************************************)
Type d'offre : post-doctorant
Date de publication : 23 juin 2015
Lieu de travail : ENSTA-ParisTech, Palaiseau
Durée : de 12 à 24 mois
Date de début : dès que possible
Salaire : entre 2200 € et 2400 € nets par mois (sécurité sociale incluse)
Thèmes : Langages de programmation, compilation, typage, OCaml
Mission : concevoir et réaliser des bibliothèques permettant de vérifier des propriétés de sûreté et de sécurité de codes et données chargées dynamiquement par des applications OCaml.
Descriptif du poste : Le projet Secure-OCaml (FUI18) a pour objectif d'adapter le langage OCaml au développement d'applications présentant des enjeux de sécurité. Le projet réunit les partenaires industriels et académiques suivants : OCamlPro, SafeRiver, LexiFi, TrustInSoft, INRIA, ENSTA-ParisTech, CEA, et Trusted Labs.
Parmi les objectifs du projets Secure-OCaml, la fiabilité du traitement des données et codes chargés dynamiquement est un enjeu particulièrement important : en effet, le typage statique effectué par le compilateur OCaml fournit des garanties fortes aux applications. En revanche, lors du chargement dynamique d'un code ou d'une donnée, une application n'a aucune l'assurance que ce code ou cette donnée est conforme aux hypothèses qu'elle fait.
La mission du post-doctorant sera d'étudier ces problèmes et d'y apporter des solutions qui seront rendues librement disponibles sous forme de bibliothèques.
Ce travail sera réalisé en étroite coopération avec INRIA-Paris et OCamlpro SAS.
Profil recherché :
- compétences fortes en typage et compilation
- goût affirmé pour le développement OCaml
- la connaissance de la chaîne de compilation d'OCaml est un atout supplémentaire
Contexte de travail : l'ENSTA-ParisTech est une Grande École d’ingénieurs généraliste, localisée à Palaiseau, sur un campus qu'elle partage avec l'Ëcole Polytechnique. L'équipe « Sûreté et Fiabilité des Logiciels » (http://u2is.ensta-paristech.fr/groups/SL/) de l'Unité d'Informatique et d'Ingénierie des Systèmes » vise à contribuer à l'amélioration des techniques de développement, d'analyse et de vérification des logiciels.
Informations complémentaires :
- michel.mauny <at> ensta-paristech <dot> fr
- +33 1 8187 2032
Pour candidater, envoyer à michel.mauny <at> ensta-paristech <dot> fr les documents suivants :
- CV avec liste de publications
- lettre de motivation
- coordonnées de deux personnes en mesure de recommander le candidat
Les candidatures seront examinées jusqu'à ce qu'un candidat soit
accepté. Merci de vérifier sur
http://u2is.ensta-paristech.fr/members/mauny/
que l'offre est encore disponible avant de candidater.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2015-10-05 12:58 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-06-24 13:35 [Caml-list] Post-doctoral position available at ENSTA-ParisTech - Secure-OCaml project Michel Mauny
2015-10-05 12:58 ` [Caml-list] [Urgent] " Michel Mauny
-- strict thread matches above, loose matches on Subject: below --
2015-06-24 9:47 [Caml-list] " Michel Mauny
2015-06-23 14:39 Michel Mauny
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).