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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 283547F61E for ; Sun, 19 Nov 2017 17:16:55 +0100 (CET) Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.national.inria.fr; envelope-from="Jocelyn.Serot@univ-bpclermont.fr"; x-sender="Jocelyn.Serot@univ-bpclermont.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.national.inria.fr; envelope-from="Jocelyn.Serot@univ-bpclermont.fr"; x-sender="Jocelyn.Serot@univ-bpclermont.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mta02.udamail.fr) identity=helo; client-ip=193.49.117.21; receiver=mail3-smtp-sop.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=3AeXc8dhAalrWciy3xg6L8UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP3zpMbcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6i760TlHERz6MUJo?= =?us-ascii?q?PenvAcaGhM2y06W2+obPSwROnju0J71oekaYtwLU4+sRioZmO6AG8ZrTpWcAL8?= =?us-ascii?q?ZRzm5sNFTVpBvm4duY4Zhi7WFao/kl+tRFVqPmOaoiG+8LRA86Onw4sZW4/SLI?= =?us-ascii?q?ShGCsyMR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C1CgCvrRFahxV1McFbHAEBAQQBAQoBA?= =?us-ascii?q?YQSEANrJ48SjjWPcoh9ggEKH4FSEIgjQxQBAQEBAQEBAQEBEgEBAQoLCQgoL4I?= =?us-ascii?q?4IoMyDTIpVBQTFgaKDQELmSKSPIslgzSCB4M+KYJQhRoBEgGDZYIyBYo1G5dug?= =?us-ascii?q?QWGbY8wYoMGgiSDYodIknGDQYE4Ag8ngSVxflotAYI2CUCCIyWBT3aJCQ0YB4I?= =?us-ascii?q?ZAQEB?= X-IPAS-Result: =?us-ascii?q?A0C1CgCvrRFahxV1McFbHAEBAQQBAQoBAYQSEANrJ48SjjW?= =?us-ascii?q?Pcoh9ggEKH4FSEIgjQxQBAQEBAQEBAQEBEgEBAQoLCQgoL4I4IoMyDTIpVBQTF?= =?us-ascii?q?gaKDQELmSKSPIslgzSCB4M+KYJQhRoBEgGDZYIyBYo1G5dugQWGbY8wYoMGgiS?= =?us-ascii?q?DYodIknGDQYE4Ag8ngSVxflotAYI2CUCCIyWBT3aJCQ0YB4IZAQEB?= X-IronPort-AV: E=Sophos;i="5.44,421,1505772000"; d="scan'208,217";a="245155327" Received: from mta02.udamail.fr ([193.49.117.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Nov 2017 17:16:52 +0100 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id F0FD4160028 for ; Sun, 19 Nov 2017 17:16:51 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id E2E82160029 for ; Sun, 19 Nov 2017 17:16:51 +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 yZgctqeDza-v for ; Sun, 19 Nov 2017 17:16:51 +0100 (CET) Received: from proxy02.udamail.fr (unknown [193.49.117.27]) by mta02.udamail.fr (Postfix) with ESMTPS id C98C5160028 for ; Sun, 19 Nov 2017 17:16:51 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id C061C16202F for ; Sun, 19 Nov 2017 17:16:51 +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 ZkiKna-F5YgB; Sun, 19 Nov 2017 17:16:50 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 87CB7162030; Sun, 19 Nov 2017 17:16:50 +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 JnbQPwf8z9AF; Sun, 19 Nov 2017 17:16:50 +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 E5DCD16202F; Sun, 19 Nov 2017 17:16:49 +0100 (CET) From: =?iso-8859-1?Q?Jocelyn_S=E9rot?= Content-Type: multipart/alternative; boundary="Apple-Mail=_8AC25A71-AF52-48E2-A89A-085F99CD09C3" Date: Sun, 19 Nov 2017 17:16:48 +0100 To: caml users Message-Id: <21BC8E2C-8DE5-4F38-9A5A-4AC84CC2A07C@univ-bpclermont.fr> Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) Subject: [Caml-list] PhD position in Design and implementation of programming languages for embedded vision systems (with Caml inside) --Apple-Mail=_8AC25A71-AF52-48E2-A89A-085F99CD09C3 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 =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 embed= ded 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 ACHIEVE - AdvanCed Hardwa= re/Software components for Integrated/Embedded Vision systEms (H2020-MSCA-I= TN-2017), we are looking for one motivated early stage researcher in at lea= st one of the two following scientific domains: - Design and implementation of programming languages (compilation, formal = semantics, models of computation ...)=20 - Synthesis of digital systems (hardware description languages, FPGA archi= tectures...).=20 The researcher fellow will be hosted at the Institut Pascal (http://www.ins= titutpascal.uca.fr/) in the DREAM research group of Universit=E9 Clermont-A= uvergne (UCA), for a period of 36 months with the aim of obtaining a PhD. T= he DREAM group is working on hardware and software development of advanced = computer vision architectures. It was formed in 2008 and until now we have = been lucky to work with five visiting professors/researchers and more than = 15 graduate students. The group is performing research in the following are= as:=20 - Design of smart cameras=20 - Image processing architectures=20 - Software methods and tools for embedded systems=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 researchers= . They will also cooperate with the other researchers in the ACHIEVE networ= k and participate in the ACHIEVE's training program.=20 Offer ------ You will receive a PhD scholarship according to the general conditions at U= niversit=E9 Blaise Pascal. Tax- fee scholarship includes full social securi= ty coverage (net monthly amount starting at =B1 2.300 EUR/month + 250 EUR/m= onth mobility allowance + (if applicable) family allowance of 500 EUR). The= initial contract will be for a period of 1 year and will start in the firs= t quarter of 2018; this contract should be extended for a total of 3 years,= subject to good performance. You will work at the IP research group. Infor= mation about IP can be found on the web: http://dream.ispr-ip.fr=20 Objectives=20 Objectives -------------- The PhD subject focuses on the development of the CAPH High Level Synthesis= System (http://caph.univ-bpclermont.fr), which has been developed and used= within the group for almost one decade for implementing embedded vision ap= plications of reconfigurable architectures such as FPGAs. Starting from a h= igh-level formulation as a data-flow graph, CAPH generates RT-level, synthe= sis-ready VHDL code. In the current version, the generated RTL descriptions= are typically fine grain, each actor being implemented as a FSM+datapath m= icro-architecture. For some applications, especially in the embedded vision= field, it would be interesting to implement as sequential, imperative code= 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 behavi= or using classical, sequential programming languages such as C or C++, reus= e of existing sequential code and use of the CAPH system in coarse grain re= configuration (CGR) frameworks. The proposed work therefore aims at extendi= ng the CAPH language - which is entirely written in OCaml - with adequate c= oncepts and constructs on the one hand - building on platform-agnostic capa= bilities of the underlying dataflow model of computation -, and implementin= g, in the most portable and efficient way as possible, these extensions in = the compilation and synthesis flow on the other hand. Validation will be ca= rried out on carefully selected, realistic, embedded vision applications.=20 Profile of the candidate ------------------------------- You have a Master of Science degree (at the start of the PhD) and a strong = background in Computer Science. Candidates with an MsC in another disciplin= e but with good skills in programming languages, signal/image processing ma= y also be considered. You have a strong interest in image processing, embedded systems for comput= er vision, a good knowledge of mathematics, signal or image processing, and= very good programming skills. As stated in the preamble, you must have a w= orking experience in digital system design (VHDL) and/or programming langua= ge implementation (C, C++ and OCaml). You function well in a team. You have good or excellent English and scienti= fic writing skills. You combine a strong interest in scientific research wi= th 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 consid= ered. Candidates may not have carried out their main activity (work-studies= ...) in France for more than 12 months in the past 3 years. Universit=E9 C= lermont Auvergne implements gender-neutral recruitment and selection proced= ures. Female candidates are especially encouraged to apply. How to apply ----------------- Please submit your application by email to both Prof. Francois BERRY at fra= ncois.berry@uca.fr and Jocelyn SEROT at Jocelyn.serot@uca.fr In your email, please include the following: =95 - A brief motivation of your application: what do you consider the be= st facts in your CV, which demonstrate your academic excellence in BsC and/= or Msc. education? What are your reasons to pursue a PhD? Why would you lik= e 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 st= age ;=20 =95 - A (rough) indication or estimate of your rank among other students = (e.g., top 10% among 35=20 students in my master);=20 =95 - If available: 1-3 English language documents describing your earlie= r research (e.g., scientific=20 papers, master thesis, report on project work, etc.). These documents need = not be on the topic of the positions.=20 --Apple-Mail=_8AC25A71-AF52-48E2-A89A-085F99CD09C3 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252 =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 implem= entation 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 ACHIEVE= - AdvanCed Hardware/Software components for Integrated/Embedded Vision sys= tEms (H2020-MSCA-ITN-2017), we are looking for one motivated early stage re= searcher in at least one of the two following scientific domains:

- = Design and implementation of programming languages (compilation, formal sem= antics, models of computation ...) 
- Synthesis of digital sy= stems (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 (UCA= ), for a period of 36 months with the aim of obtaining a PhD. The DREAM gro= up is working on hardware and software development of advanced computer&nbs= p;vision architectures. It was formed in 2008 and until now we have been lu= cky to work with five visiting professors/researchers and more than 15 grad= uate students. The group is performing research in the following areas= : 
- Design of smart cameras 
- Image process= ing architectures 
 - Software methods and tools for e= mbedded systems 

The PhD training includes a second inte= rnship 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 researcher= s. They will also cooperate with the other researchers in the ACHIEVE netwo= rk and participate in the ACHIEVE's training program. 

Off= er
------
You will receive a PhD scholarship according to the = general conditions at Universit=E9 Blaise Pascal. Tax- fee scholarship incl= udes full social security coverage (net monthly amount starting at =B1= 2.300 EUR/month + 250 EUR/month mobility allowance + (if applicable) famil= y allowance of 500 EUR). The initial contract will be for a period of = 1 year and will start in the first quarter of 2018; this contract should be= extended for a total of 3 years, subject to good performance. You wil= l work at the IP research group. Information about IP can be found on the w= eb: http://dream.ispr-ip.fr&nb= sp;
Objectives 

Objectives
-----= ---------
The PhD subject focuses on the development of the CAPH High Le= vel Synthesis System (http://cap= h.univ-bpclermont.fr), which has been developed and used within th= e group for almost one decade for implementing embedded vision applications= of reconfigurable architectures such as FPGAs. Starting from a high-l= evel formulation as a data-flow graph, CAPH generates RT-level, synthesis-r= eady VHDL code. In the current version, the generated RTL descriptions = ;are typically fine grain, each actor being implemented as a FSM+datapath m= icro-architecture. For some applications, especially in the embedded vision=  field, it would be interesting to implement as sequential, imperative= code 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 ac= tor behavior using classical, sequential programming languages such as C or= C++, reuse of existing sequential code and use of the CAPH system in = coarse grain reconfiguration (CGR) frameworks. The proposed work therefore = aims at extending the CAPH language - which is entirely written in = OCaml - with adequate concepts and constructs on the one hand - buildin= g on platform-agnostic capabilities of the underlying dataflow model of&nbs= p;computation -, and implementing, in the most portable and efficient way a= s possible, these extensions in the compilation and synthesis flow on the o= ther hand. Validation will be carried out on carefully selected, reali= stic, embedded vision applications. 

Prof= ile of the candidate
-------------------------------
You have a Mas= ter of Science degree (at the start of the PhD) and a strong background in = Computer Science. Candidates with an MsC in another discipline but with goo= d skills in programming languages, signal/image processing may also be= considered.

You have a strong interest in image processing, embedde= d systems for computer vision, a good knowledge of mathematics, signal or i= mage processing, and very good programming skills. As stated in the pr= eamble, you must have a working experience in digital system design (VHDL) = and/or programming language implementation (C, C++ and OCaml).<= br>
You function well in a team. You have good or excellent English and = scientific writing skills. You combine a strong interest in scientific rese= arch with a desire to see your work applied in industry. Due to EC fun= ding rules, only candidates with less than 4 years of research experience c= an be considered. Candidates may not have carried out their main activ= ity (work-studies ...) in France for more than 12 months in the past 3 year= s. Universit=E9 Clermont Auvergne implements gender-neutral recruitment and=  selection procedures. Female candidates are especially encouraged to = apply.

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

Please submit= your application by email to both Prof. Francois BERRY at francois.berry@uca.fr and Jocelyn SEROT at Jocelyn.serot@uca.fr

In you= r email, please include the following:

=95 -  A brief motivation of = your application: what do you consider the best facts in your CV, which dem= onstrate your academic excellence in BsC and/or Msc. education? What a= re your reasons to pursue a PhD? Why would you like to work at Universit=E9= Clermont-Auvergne? ... 
=95 -  A detailed CV, describing you= r earlier experience and studies; 
=95 -  A list of publicati= ons (if available); 
=95 -  A transcript of your educational = record (list of courses per year, number of obtained credits, 
obta= ined marks) if available. This need not be official document at this stage = ; 
=95 -  A (rough) indication or estimate of your rank among= other students (e.g., top 10% among 35 
students in my master);&nb= sp;
= =95 -  If available: 1-3 English language documents describing= your earlier research (e.g., scientific 
papers, master thesis, re= port on project work, etc.). These documents need not be on the topic of th= e positions. 


= --Apple-Mail=_8AC25A71-AF52-48E2-A89A-085F99CD09C3--