From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CA71B7F61E for ; Sun, 19 Nov 2017 19:12:36 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Jocelyn.SEROT@univ-bpclermont.fr; spf=None smtp.mailfrom=Jocelyn.SEROT@univ-bpclermont.fr; spf=None smtp.helo=postmaster@mta02.udamail.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Jocelyn.SEROT@univ-bpclermont.fr) identity=pra; client-ip=193.49.117.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jocelyn.SEROT@univ-bpclermont.fr"; x-sender="Jocelyn.SEROT@univ-bpclermont.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Jocelyn.SEROT@univ-bpclermont.fr) identity=mailfrom; client-ip=193.49.117.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jocelyn.SEROT@univ-bpclermont.fr"; x-sender="Jocelyn.SEROT@univ-bpclermont.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mta02.udamail.fr) identity=helo; client-ip=193.49.117.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jocelyn.SEROT@univ-bpclermont.fr"; x-sender="postmaster@mta02.udamail.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AjXQQvx3qa33JvORGsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segWL/ad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL3WbmHC57CYTFxPjLkI1?= =?us-ascii?q?Y72tQs+Bx/iwguu7/pmbfh5FniH1Nbh7KRHzqQTKquEXh5FjI+A/0E2ajGFPfr?= =?us-ascii?q?F0wmhlIUOVqC19/MCstMpB9C9dv+MnsfVta4LGV7k+TKIdBiwtN20v4crtqV/N?= =?us-ascii?q?V13ctTMnTmwKn08QUED+5xbgU8K063Oiuw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BjBAA0yBFahxV1McFbGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQSEANrJ48SjjWPcoh9ggEKH4FSEIM6AoRnQxQBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQoLCQgoL4I4BQEeAQWCPQZnDQUQCwcLKQsfKg4GExYGig0BC6wJinMBAQEBB?= =?us-ascii?q?gEBAQEBAQEBAQEBHYM0ggeDPimCUDKEaAESAYNlgjIFijUbl24eZ4ZtjzBigwa?= =?us-ascii?q?CJINih0iMcoV/g0GBOAIPJ4ElcX5aLQGCNglAgiMlgU92iQkNGAdBgVgBAQE?= X-IPAS-Result: =?us-ascii?q?A0BjBAA0yBFahxV1McFbGgEBAQEBAgEBAQEIAQEBAYQSEAN?= =?us-ascii?q?rJ48SjjWPcoh9ggEKH4FSEIM6AoRnQxQBAQEBAQEBAQEBEgEBAQoLCQgoL4I4B?= =?us-ascii?q?QEeAQWCPQZnDQUQCwcLKQsfKg4GExYGig0BC6wJinMBAQEBBgEBAQEBAQEBAQE?= =?us-ascii?q?BHYM0ggeDPimCUDKEaAESAYNlgjIFijUbl24eZ4ZtjzBigwaCJINih0iMcoV/g?= =?us-ascii?q?0GBOAIPJ4ElcX5aLQGCNglAgiMlgU92iQkNGAdBgVgBAQE?= X-IronPort-AV: E=Sophos;i="5.44,422,1505772000"; d="scan'208,217";a="301442070" Received: from mta02.udamail.fr ([193.49.117.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Nov 2017 19:12:35 +0100 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 4D245160028 for ; Sun, 19 Nov 2017 19:12:34 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 3EADC16002A for ; Sun, 19 Nov 2017 19:12:34 +0100 (CET) X-Virus-Scanned: amavisd-new at mta02.udamail.fr Received: from mta02.udamail.fr ([127.0.0.1]) by localhost (mta02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id QyfdTJZga8KM for ; Sun, 19 Nov 2017 19:12:34 +0100 (CET) Received: from proxy02.udamail.fr (unknown [193.49.117.27]) by mta02.udamail.fr (Postfix) with ESMTPS id 244D9160028 for ; Sun, 19 Nov 2017 19:12:34 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 1B8A916202E for ; Sun, 19 Nov 2017 19:12:34 +0100 (CET) Received: from proxy02.udamail.fr ([127.0.0.1]) by localhost (proxy02.udamail.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id plmGuWYAMu9r; Sun, 19 Nov 2017 19:12:32 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 942B416202F; Sun, 19 Nov 2017 19:12:32 +0100 (CET) X-Virus-Scanned: amavisd-new at proxy02.udamail.fr Received: from proxy02.udamail.fr ([127.0.0.1]) by localhost (proxy02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id gz6FwuApZz18; Sun, 19 Nov 2017 19:12:32 +0100 (CET) Received: from [192.168.0.42] (lav63-2-88-164-92-250.fbx.proxad.net [88.164.92.250]) by proxy02.udamail.fr (Postfix) with ESMTPSA id E9ADD16202E; Sun, 19 Nov 2017 19:12:31 +0100 (CET) Content-Type: multipart/alternative; boundary="Apple-Mail=_A22750F5-5922-4CE9-BE3C-7592D30C7171" Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) From: =?iso-8859-1?Q?Jocelyn_S=E9rot?= In-Reply-To: <21BC8E2C-8DE5-4F38-9A5A-4AC84CC2A07C@univ-bpclermont.fr> Date: Sun, 19 Nov 2017 19:12:29 +0100 Cc: =?iso-8859-1?Q?Fran=E7ois_Berry?= Message-Id: <4AEE6547-432F-4B95-B2A1-C3034C60D16F@univ-bpclermont.fr> References: <21BC8E2C-8DE5-4F38-9A5A-4AC84CC2A07C@univ-bpclermont.fr> To: caml users X-Mailer: Apple Mail (2.1878.6) Subject: Re: [Caml-list] PhD position in Design and implementation of programming languages for embedded vision systems (with Caml inside) --Apple-Mail=_A22750F5-5922-4CE9-BE3C-7592D30C7171 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 Je d=E9couvre au passage la nouvelle page de Dream. Smart ;) Le chargement par contre est assez lent :/ J ps : me fait penser qu=92il faudra que je mette =E0 jour ma liste de publis= sur HAL :/ Le 19 nov. 2017 =E0 17:16, Jocelyn S=E9rot a =E9crit : > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D > PhD vacancy in Design and implementation of programming languages for emb= edded vision systems. > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D >=20 > For the Innovative Training Network (ITN) project ACHIEVE - AdvanCed Hard= ware/Software components for Integrated/Embedded Vision systEms (H2020-MSCA= -ITN-2017), we are looking for one motivated early stage researcher in at l= east one of the two following scientific domains: >=20 > - Design and implementation of programming languages (compilation, forma= l semantics, models of computation ...)=20 > - Synthesis of digital systems (hardware description languages, FPGA arc= hitectures...).=20 >=20 > The researcher fellow will be hosted at the Institut Pascal (http://www.i= nstitutpascal.uca.fr/) in the DREAM research group of Universit=E9 Clermont= -Auvergne (UCA), for a period of 36 months with the aim of obtaining a PhD.= The DREAM group is working on hardware and software development of advance= d computer vision architectures. It was formed in 2008 and until now we hav= e been lucky to work with five visiting professors/researchers and more tha= n 15 graduate students. The group is performing research in the following a= reas:=20 > - Design of smart cameras=20 > - Image processing architectures=20 > - Software methods and tools for embedded systems=20 >=20 > The PhD training includes a second internship in the company NVIDIA (http= ://www.nvidia.com), the famous producer of GPU. Nvidia is located in Paris. > The new researchers will therefore work as a team with existing researche= rs. They will also cooperate with the other researchers in the ACHIEVE netw= ork and participate in the ACHIEVE's training program.=20 >=20 > Offer > ------ > You will receive a PhD scholarship according to the general conditions at= Universit=E9 Blaise Pascal. Tax- fee scholarship includes full social secu= rity coverage (net monthly amount starting at =B1 2.300 EUR/month + 250 EUR= /month mobility allowance + (if applicable) family allowance of 500 EUR). T= he initial contract will be for a period of 1 year and will start in the fi= rst quarter of 2018; this contract should be extended for a total of 3 year= s, subject to good performance. You will work at the IP research group. Inf= ormation about IP can be found on the web: http://dream.ispr-ip.fr=20 > Objectives=20 >=20 > Objectives > -------------- > The PhD subject focuses on the development of the CAPH High Level Synthes= is System (http://caph.univ-bpclermont.fr), which has been developed and us= ed within the group for almost one decade for implementing embedded vision = applications of reconfigurable architectures such as FPGAs. Starting from a= high-level formulation as a data-flow graph, CAPH generates RT-level, synt= hesis-ready VHDL code. In the current version, the generated RTL descriptio= ns are typically fine grain, each actor being implemented as a FSM+datapath= micro-architecture. For some applications, especially in the embedded visi= on field, it would be interesting to implement as sequential, imperative co= de running on soft or hard-core processors (either on the FPGA itself or on= a on-chip micro-processor). This would allow the definition the actor beha= vior using classical, sequential programming languages such as C or C++, re= use of existing sequential code and use of the CAPH system in coarse grain = reconfiguration (CGR) frameworks. The proposed work therefore aims at exten= ding the CAPH language - which is entirely written in OCaml - with adequate= concepts and constructs on the one hand - building on platform-agnostic ca= pabilities of the underlying dataflow model of computation -, and implement= ing, in the most portable and efficient way as possible, these extensions i= n the compilation and synthesis flow on the other hand. Validation will be = carried out on carefully selected, realistic, embedded vision applications.= =20 >=20 > Profile of the candidate > ------------------------------- > You have a Master of Science degree (at the start of the PhD) and a stron= g background in Computer Science. Candidates with an MsC in another discipl= ine but with good skills in programming languages, signal/image processing = may also be considered. >=20 > You have a strong interest in image processing, embedded systems for comp= uter vision, a good knowledge of mathematics, signal or image processing, a= nd very good programming skills. As stated in the preamble, you must have a= working experience in digital system design (VHDL) and/or programming lang= uage implementation (C, C++ and OCaml). >=20 > You function well in a team. You have good or excellent English and scien= tific writing skills. You combine a strong interest in scientific research = with a desire to see your work applied in industry. Due to EC funding rules= , only candidates with less than 4 years of research experience can be cons= idered. Candidates may not have carried out their main activity (work-studi= es ...) in France for more than 12 months in the past 3 years. Universit=E9= Clermont Auvergne implements gender-neutral recruitment and selection proc= edures. Female candidates are especially encouraged to apply. >=20 > How to apply > ----------------- >=20 > Please submit your application by email to both Prof. Francois BERRY at f= rancois.berry@uca.fr and Jocelyn SEROT at Jocelyn.serot@uca.fr >=20 > In your email, please include the following: >=20 > =95 - A brief motivation of your application: what do you consider the = best facts in your CV, which demonstrate your academic excellence in BsC an= d/or Msc. education? What are your reasons to pursue a PhD? Why would you l= ike to work at Universit=E9 Clermont-Auvergne? ...=20 > =95 - A detailed CV, describing your earlier experience and studies;=20 > =95 - A list of publications (if available);=20 > =95 - A transcript of your educational record (list of courses per year= , number of obtained credits,=20 > obtained marks) if available. This need not be official document at this = stage ;=20 > =95 - A (rough) indication or estimate of your rank among other student= s (e.g., top 10% among 35=20 > students in my master);=20 > =95 - If available: 1-3 English language documents describing your earl= ier research (e.g., scientific=20 > papers, master thesis, report on project work, etc.). These documents nee= d not be on the topic of the positions.=20 >=20 >=20 --Apple-Mail=_A22750F5-5922-4CE9-BE3C-7592D30C7171 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252 Je d=E9couvre au passa= ge la nouvelle page de Dream.
Smart ;)
Le chargement par cont= re est assez lent :/
J
ps : me fait penser qu=92il faud= ra que je mette =E0 jour ma liste de publis sur HAL :/

=
Le 19 nov. 2017 =E0 17:16, Jocelyn S=E9rot <Jocelyn.SEROT@univ-bpclermont.fr= > a =E9crit :

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
PhD vacancy in Design and = implementation of programming languages for embedded vision systems.
=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

For the Innovative Training Network (ITN) project A= CHIEVE - AdvanCed Hardware/Software components for Integrated/Embedded Visi= on systEms (H2020-MSCA-ITN-2017), we are looking for one motivated early st= age researcher in at least one of the two following scientific domains:
=
-=  Design and implementation of programming languages (compilation, form= al semantics, models of computation ...) 
- Synthesis of digi= tal systems (hardware description languages, FPGA architectures...). <= /div>

The researcher fellow will be hosted at the Institut Pascal (= http://www.institutpascal.uca= .fr/) in the DREAM research group of Universit=E9 Clermont-Auvergne&nbs= p;(UCA), for a period of 36 months with the aim of obtaining a PhD. The DRE= AM group is working on hardware and software development of advanced comput= er vision architectures. It was formed in 2008 and until now we have b= een lucky to work with five visiting professors/researchers and more than 1= 5 graduate students. The group is performing research in the following= areas: 
- Design of smart cameras 
- Image p= rocessing architectures 
 - Software methods and tools = for embedded systems 

The PhD training includes a second= internship in the company NVIDIA (http:= //www.nvidia.com), the famous producer of GPU. Nvidia is located in Par= is.
The new researchers will therefore work as a team with existing rese= archers. They will also cooperate with the other researchers in the ACHIEVE= network and participate in the ACHIEVE's training program. 
<= br>Offer
------
You will receive a PhD scholarship according t= o the general conditions at Universit=E9 Blaise Pascal. Tax- fee scholarshi= p includes full social security coverage (net monthly amount starting = at =B1 2.300 EUR/month + 250 EUR/month mobility allowance + (if applicable)= family allowance of 500 EUR). The initial contract will be for a peri= od of 1 year and will start in the first quarter of 2018; this contract sho= uld be extended for a total of 3 years, subject to good performance. Y= ou will work at the IP research group. Information about IP can be found on= the web: http://dream.ispr-ip.fr=  
Objectives 

Objectives
--------------
The PhD subject focuses on the development of the CAPH = High Level Synthesis System (ht= tp://caph.univ-bpclermont.fr), which has been developed and used w= ithin the group for almost one decade for implementing embedded vision appl= ications of reconfigurable architectures such as FPGAs. Starting from = a high-level formulation as a data-flow graph, CAPH generates RT-level, syn= thesis-ready VHDL code. In the current version, the generated RTL descripti= ons are typically fine grain, each actor being implemented as a FSM+da= tapath micro-architecture. For some applications, especially in the embedde= d vision field, it would be interesting to implement as sequential, im= perative code running on soft or hard-core processors (either on the FPGA i= tself or on a on-chip micro-processor). This would allow the definitio= n the actor behavior using classical, sequential programming languages such= as C or C++, reuse of existing sequential code and use of the CAPH sy= stem in coarse grain reconfiguration (CGR) frameworks. The proposed work th= erefore aims at extending the CAPH language - which is entirely writte= n in OCaml - with adequate concepts and constructs on the one hand -= building on platform-agnostic capabilities of the underlying dataflow mode= l of computation -, and implementing, in the most portable and efficie= nt way as possible, these extensions in the compilation and synthesis flow = on the other hand. Validation will be carried out on carefully selecte= d, realistic, embedded vision applications. 

<= div>Profile of the candidate
-------------------------------
You ha= ve a Master of Science degree (at the start of the PhD) and a strong backgr= ound in Computer Science. Candidates with an MsC in another discipline but = with good skills in programming languages, signal/image processing may= also be considered.

You have a strong interest in image processing,= embedded systems for computer vision, a good knowledge of mathematics, sig= nal or image processing, and very good programming skills. As stated i= n the preamble, you must have a working experience in digital system design= (VHDL) and/or programming language implementation (C, C++ and OCam= l).

You function well in a team. You have good or excellent Engl= ish and scientific writing skills. You combine a strong interest in scienti= fic research with a desire to see your work applied in industry. Due t= o EC funding rules, only candidates with less than 4 years of research expe= rience can be considered. Candidates may not have carried out their ma= in activity (work-studies ...) in France for more than 12 months in the pas= t 3 years. Universit=E9 Clermont Auvergne implements gender-neutral recruit= ment and selection procedures. Female candidates are especially encour= aged to apply.

How to apply
-----------------

Pleas= e submit your application by email to both Prof. Francois BERRY at francois.berry@uca.fr and Jocelyn SER= OT at Jocelyn.serot@uca.fr
<= br>In your email, please include the following:

=95 -  A brief motiv= ation of your application: what do you consider the best facts in your CV, = which demonstrate your academic excellence in BsC and/or Msc. educatio= n? What are your reasons to pursue a PhD? Why would you like to work at Uni= versit=E9 Clermont-Auvergne? ... 
=95 -  A detailed CV, descr= ibing your earlier experience and studies; 
=95 -  A list of= publications (if available); 
=95 -  A transcript of your ed= ucational record (list of courses per year, number of obtained credits,&nbs= p;
obtained marks) if available. This need not be official document at t= his stage ; 
=95 -  A (rough) indication or estimate of your = rank among other students (e.g., top 10% among 35 
students in my m= aster); 
=95 -  If available: 1-3 English language documents = describing your earlier research (e.g., scientific 
papers, master = thesis, report on project work, etc.). These documents need not be on the t= opic of the positions. 



= --Apple-Mail=_A22750F5-5922-4CE9-BE3C-7592D30C7171--