From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 9719A2DF6 for ; Thu, 22 Mar 2018 15:38:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,345,1517871600"; d="png'150?scan'150,208,217,150";a="319473013" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Mar 2018 16:38:36 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 78EA88242C; Thu, 22 Mar 2018 16:38:36 +0100 (CET) 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 1A65B8240C; Thu, 22 Mar 2018 15:31:05 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.48,345,1517871600"; d="png'150?scan'150,208,217,150";a="259442481" Received: from gandalf.irisa.fr ([131.254.11.243]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Mar 2018 15:30:53 +0100 From: Olivier Zendra Content-Type: multipart/alternative; boundary="Apple-Mail=_8A071624-0A5C-4247-BAA9-84E0FD50AC4C" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Thu, 22 Mar 2018 15:31:43 +0100 Message-Id: To: Olivier ZENDRA X-Mailer: Apple Mail (2.3273) X-Validation-by: olivier.zendra@inria.fr Subject: [Caml-list] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France Reply-To: Olivier Zendra X-Loop: caml-list@inria.fr X-Sequence: 16746 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --Apple-Mail=_8A071624-0A5C-4247-BAA9-84E0FD50AC4C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Dear all, Inria Rennes (Tamis team) is recruiting a Postdoctoral Researcher in comput= er science and engineering in security for the TeamPlay European project (2= 018-2020). The position is available now. Additional details below. Best regards, Olivier Zendra ***************************************************************************= *********************** DESCRIPTION OF POSTDOCTORAL POSITION TEAMPLAY PROJECT @ INRIA Research Domains: computer science, security, programming languages, softwa= re engineering, security properties, Research project: Inria TAMIS team / EU H2020 TeamPlay project (https://tea= mplay-h2020.eu/) POSITION TITLE: Postdoctoral Researcher in computer science and engineering= in security for the TeamPlay European project Leader of the TAMIS team : Axel LEGAY Coordinator of the TeamPlay project: Olivier ZENDRA =09 Duration of the contract: From now till end of December 2020. Inria =3D=3D=3D=3D=3D Created in 1967, Inria, the French National Institute for computer science = and applied mathematics, promotes =E2=80=9Cscientific excellence for techno= logy transfer and society=E2=80=9D. Graduates from the world=E2=80=99s top = universities, Inria's 2,600 employees rise to the challenges of digital sci= ences. Research at Inria is organised in =E2=80=9Cproject teams=E2=80=9D wh= ich bring together researchers with complementary skills to focus on specif= ic scientific projects. With this open, agile model, Inria is able to explo= re original approaches with its partners in industry and academia and provi= de an efficient response to the multidisciplinary and application challenge= s of the digital transformation. The source of many innovations that add va= lue and create jobs, Inria transfers expertise and research results to comp= anies (startups, SMEs and major groups) in fields as diverse as healthcare,= transport, energy, communications, security and privacy protection, smart = cities and the factory of the future. TAMIS (Threat Analysis and Mitigation for Information Security) project-team =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D TAMIS is an Inria cybersecurity research team located in Rennes, in wonderf= ul Brittany, France. Systems security requires both formal and engineering techniques to assess = or even secure systems. Modernsystems are networked, use virtual machines t= o improve security and handle multiple applications concurrently on the sam= e hardware, which is often enhanced to with hardware security modules. The = resulting complexity is typically far beyond what formal verification techn= iques can manage. On the other hand, merely applying engineering techniques= to build secure systems has consistently resulted in deployments riddled w= ith significant vulnerabilities. TAMIS=E2=80=99 central goal is thus to demonstrably narrow the gap between = the vulnerabilities found using formal verification and the issues found us= ing systems engineering. Type theory is a representative examplewhere forma= l verification and software engineering are combined, as in type theory for= mal methods are used to formally prove the absence of certain classes of bu= gs. However, it is not the case that the entire system is shown to be forma= lly correct with respect to a morecomprehensive specification, which requir= es software engineering effort to handle classes of bugs not captured by th= e type system. TAMIS thus aim at creating tool chains that combine statistical model check= ing, abstract interpretation, supervisedexecution and manual annotations to= efficiently check interesting security properties of realistic systems tha= t were previously not efficiently checkable. TAMIS have established a strong connection with industry and with internati= onal teams recognized in this area, with numerous research contracts both w= ith EU and industry. TeamPlay EU H2020 project (https://teamplay-h2020.eu/) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D The work occurs in the context of the TeamPlay (Time, Energy and security A= nalysis for Multi/Many-core heterogeneous PLAtforms) research project that = is funded from early 2018 till end 2020 by the European Union. This project federates 6 academic and 5 industrial partners from 7 European= countries and aims to develop new, formally-motivated, techniques that wil= l allow execution time, energy usage, security, and other important non-fun= ctional properties of parallel software to be treated effectively, and as f= irst- class citizens. We will build this into a toolbox for developing high= ly parallel software for low-energy systems, as required by the internet of= things, cyber-physical systems etc. The TeamPlay approach will allow progr= ams to reflect directly on their own time, energy consumption, security, et= c., as well as enabling the developer to reason about both the functional a= nd the non-functional properties of their software at the source code level. Our success will ensure significant progress on a pressing problem of major= industrial importance: how to effectively manage energy consumption for pa= rallel systems while maintaining the right balance with other important sof= tware metrics, including time, security etc. The project brings together leading industrial and academic experts in para= llelism, energy modeling/ transparency, worst-case execution time analysis,= non-functional property analysis, compilation, security, and task coordina= tion. Results will be evaluated using industrial use cases taken from the compute= r vision, satellites, flying drones, medical and cyber security domains. Within TeamPlay, Inria and TAMIS lead and coordinate the whole project, whi= le being also in charge of the research aspects more specifically related t= o security. Goals of the postdoctoral researcher =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Under supervision of the scientists in charge and of the European TeamPlay = project, in the TAMIS team of Inria in Rennes, the postdoctoral researcher = shall mainly contribute to the project technical lead and coordination, and= to the research work pertaining to the non- functional property of securit= y. She/he shall interact with the local senior and junior scientists and en= gineers working on TeamPlay at Inria, as well as with the other internation= al partners in the project. Position description (activities) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D Main: research and project management for security in TeamPlay, in the TAMI= S team: =E2=80=A2 =E2=88=92 Participate to the research on expressing, evaluating= and guaranteeing the security and energy non-functional properties in prog= rams =E2=80=A2 =E2=88=92 Participate to the technical lead and coordination of= the project by Inria =E2=80=A2 =E2=88=92 Participate to the supervision of junior researchers = and engineers at Inria =E2=80=A2 =E2=88=92 Participate to the integration to the project toolcha= in of the models and tools developed at Inria =E2=80=A2 =E2=88=92 Participate to the publication of Inria results in Te= amPlay Additional: participate to project demonstrations locally and abroad Profile sought (expected competences and qualifications) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D =E2=80=A2 =E2=88=92 PhD or Eng.D. in computer science or software enginee= ring =E2=80=A2 =E2=88=92 Software engineering and/or cybersecurity. =E2=80=A2 =E2=88=92 Formal methods, modeling =E2=80=A2 =E2=88=92 Taste for research =E2=80=A2 =E2=88=92 Dynamism, willingness to take initiative =E2=80=A2 =E2=88=92 Team spirit =E2=80=A2 =E2=88=92 Ability to meet deadlines and have them met =E2=80=A2 =E2=88=92 Good writing skills =E2=80=A2 =E2=88=92 Good level in written and spoken English Work conditions =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =E2=80=A2 - Salary based on experience, full benefits =E2=80=A2 - Subsidized cafeteria in the premises, subsidized meals outside =E2=80=A2 - Social committee subsidizing various activities =E2=80=A2 - Public transportation (subsidized 50%) 400m from the premises =E2=80=A2 - Large free parking lots around the premises Work location =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Research Center Inria Rennes - Bretagne Atlantique=20 Alle=CC=81e Jean Perrin, Campus universitaire de Beaulieu.=20 Rennes. FRANCE. Contact : =3D=3D=3D=3D=3D=3D=3D=3D=3D Olivier ZENDRA, Inria Rennes - Bretagne Atlantique Campus universitaire de Beaulieu.=20 35042 Rennes Cedex, FRANCE=20 Email: Olivier.Zendra@inria.fr Tel: + 33 299 847 552 Web: https://jobs.inria.fr/public/classic/en/offres/2018-00596 ***************************************************************************= *********************** --- Olivier ZENDRA,=20 Ph.D., Inria Researcher Olivier dot Zendra at inria dot fr http://members.loria.fr/Olivier.Zendra + 33 299 847 552 Inria Rennes - Bretagne Atlantique Office F-436 Red Campus universitaire de Beaulieu 35042 Rennes cedex, France --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_8A071624-0A5C-4247-BAA9-84E0FD50AC4C Content-Type: multipart/related; type="text/html"; boundary="Apple-Mail=_EC218979-BE50-443D-8F06-5DA14921A6E6" --Apple-Mail=_EC218979-BE50-443D-8F06-5DA14921A6E6 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
Dear all,

Inria Rennes (Tamis team) is recruiting a Postdoct= oral Researcher in computer science and engineering in security for the Tea= mPlay European project (2018-2020). The position is available now.

Additional details below.

Best regards,

Olivier Zendra

************************************************************************= **************************

DESCRIPTION OF POST= DOCTORAL POSITION TEAMPLAY PROJECT @ INRIA

Res= earch Domains: computer science, security, programming languages, software = engineering, security properties,

3D"=
Research project: Inria TAMIS team / EU H2020 TeamPlay project (https://teamplay-h2020.eu/= )

3D"page1image9952"
POSITION TITLE: Postdoctor= al Researcher in computer science and engineering in security for the TeamP= lay European project

3D"page1image124=
Leader= of the TAMIS team : Axel LEGAY

Coordinator of= the TeamPlay project: Olivier ZENDRA
3D"page1image1=
Duration of t= he contract: From now till end of December 2020.

Inria
=3D=3D=3D=3D=3D
Created in 1967, Inria= , the French National Institute for computer science and applied mathematic= s, promotes =E2=80=9Cscientific excellence for technology transfer and= society=E2=80=9D. Graduates from the world=E2=80=99s top universities, Inr= ia's 2,600 employees rise to the challenges of digital sciences. Research a= t Inria is organised in =E2=80=9Cproject teams=E2=80=9D which bring to= gether researchers with complementary skills to focus on specific scientifi= c projects. With this open, agile model, Inria is able to explore orig= inal approaches with its partners in industry and academia and provide an e= fficient response to the multidisciplinary and application challenges = of the digital transformation. The source of many innovations that add valu= e and create jobs, Inria transfers expertise and research results to c= ompanies (startups, SMEs and major groups) in fields as diverse as healthca= re, transport, energy, communications, security and privacy protection= , smart cities and the factory of the future.

= TAMIS (Threat Analysis and Mitigation for Information Security) project-tea= m
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
TAMIS is an Inria cybersecurity rese= arch team located in Rennes, in wonderful Brittany, France.
<= br class=3D"">Systems security requires both formal and engineering techniq= ues to assess or even secure systems. Modernsystems are networked, use virt= ual machines to improve security and handle multiple applications conc= urrently on the same hardware, which is often enhanced to with hardware sec= urity modules. The resulting complexity is typically far beyond what f= ormal verification techniques can manage. On the other hand, merely applyin= g engineering techniques to build secure systems has consistently resu= lted in deployments riddled with significant vulnerabilities.

TAMIS=E2=80=99 central goal is thus to demonstrably narrow = the gap between the vulnerabilities found using formal verification and the= issues found using systems engineering. Type theory is a representati= ve examplewhere formal verification and software engineering are combined, = as in type theory formal methods are used to formally prove the absenc= e of certain classes of bugs. However, it is not the case that the entire s= ystem is shown to be formally correct with respect to a morecomprehens= ive specification, which requires software engineering effort to handle cla= sses of bugs not captured by the type system.

= 3D"page1image33728"
TAMIS thus aim at creating tool chains that combine st= atistical model checking, abstract interpretation, supervisedexecution and = manual annotations to efficiently check interesting security propertie= s of realistic systems that were previously not efficiently checkable.

TAMIS have established a strong connection with in= dustry and with international teams recognized in this area, with numerous = research contracts both with EU and industry.

TeamPlay EU H2020 project (https://teamplay-h2020.eu/)
=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
The work occurs in the context of the TeamPlay (Time, Energy and secu= rity Analysis for Multi/Many-core heterogeneous PLAtforms) research project= that is funded from early 2018 till end 2020 by the European Union.
This project federates 6 academic and 5 industr= ial partners from 7 European countries and aims to develop new, formally-mo= tivated, techniques that will allow execution time, energy usage, secu= rity, and other important non-functional properties of parallel software to= be treated effectively, and as first- class citizens. We will build t= his into a toolbox for developing highly parallel software for low-energy s= ystems, as required by the internet of things, cyber-physical systems = etc. The TeamPlay approach will allow programs to reflect directly on their= own time, energy consumption, security, etc., as well as enabling the= developer to reason about both the functional and the non-functional prope= rties of their software at the source code level.

Our success will ensure significant progress on a pressing problem of= major industrial importance: how to effectively manage energy consumption = for parallel systems while maintaining the right balance with other im= portant software metrics, including time, security etc.

The project brings together leading industrial and academic exper= ts in parallelism, energy modeling/ transparency, worst-case execution time= analysis, non-functional property analysis, compilation, security, an= d task coordination.

Results will be evaluated= using industrial use cases taken from the computer vision, satellites, fly= ing drones, medical and cyber security domains.

Within TeamPlay, Inria and TAMIS lead and coordinate the whole project, w= hile being also in charge of the research aspects more specifically related= to security.

Goals of the postdoctoral r= esearcher
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Und= er supervision of the scientists in charge and of the European TeamPlay pro= ject, in the TAMIS team of Inria in Rennes, the postdoctoral researcher&nbs= p;shall mainly contribute to the project technical lead and coordination, a= nd to the research work pertaining to the non- functional property of secur= ity. She/he shall interact with the local senior and junior scientists= and engineers working on TeamPlay at Inria, as well as with the other inte= rnational partners in the project.

Positi= on description (activities)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Main: research and project management for security in TeamPlay, in th= e TAMIS team:

=E2=80=A2 =E2=88=92  Participate to t= he research on expressing, evaluating and guaranteeing the security and ene= rgy non-functional properties in programs
=E2=80=A2 =E2=88=92  Par= ticipate to the technical lead and coordination of the project by Inria
=E2=80=A2 =E2=88=92  Participate to the supervision of junior researc= hers and engineers at Inria
=E2=80=A2 =E2=88=92  Participate to th= e integration to the project toolchain of the models and tools developed at=
Inria
=E2=80=A2 =E2=88=92  Participate to the publi= cation of Inria results in TeamPlay

Additional= : participate to project demonstrations locally and abroad
Profile sought (expected competences and qualifications)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D
=E2=80=A2 =E2=88=92  PhD or Eng.D. in = computer science or software engineering
=E2=80=A2 =E2=88=92  Soft= ware engineering and/or cybersecurity.
=E2=80=A2 =E2=88=92  Formal= methods, modeling
=E2=80=A2 =E2=88=92  Taste for research
=E2= =80=A2 =E2=88=92  Dynamism, willingness to take initiative
=E2=80= =A2 =E2=88=92  Team spirit
=E2=80=A2 =E2=88=92  Ability to me= et deadlines and have them met
=E2=80=A2 =E2=88=92  Good writing s= kills
=E2=80=A2 =E2=88=92  Good level in written and spoken Englis= h

Work conditions
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=E2=80=A2 -  Salary based on exp= erience, full benefits
=E2=80=A2 -  Subsidized cafeteria in the = premises, subsidized meals outside
=E2=80=A2 -  Social committee s= ubsidizing various activities
=E2=80=A2 -  Public transportation (= subsidized 50%) 400m from the premises
=E2=80=A2 -  Large free par= king lots around the premises

Work location=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Research = Center Inria Rennes - Bretagne Atlantique 
Alle=CC=81e J= ean Perrin, Campus universitaire de Beaulieu. 
Rennes. F= RANCE.

Contact :
=3D=3D=3D=3D=3D= =3D=3D=3D=3D
Olivier ZENDRA,
Inria Rennes - Bre= tagne Atlantique
Campus universitaire de Beaulieu. 
35042 Rennes Cedex, FRANCE 

Ema= il: Olivier.Zendra@in= ria.fr
Tel: + 33 299 847 552

Web: https://jobs.inria.fr/public/classic/en/offres/2018-00596
***********************************************= ***************************************************


---
Olivier ZENDRA, = ;
Ph.D., Inria Researcher
Olivier dot Zendra at= inria dot fr
http://members.loria.fr/Olivier.Zendra
+ 3= 3 299 847 552

Inria Rennes - Bretagne Atlantiq= ue
Office F-436 Red
Campus universitaire de Bea= ulieu
35042 Rennes cedex, France



= --Apple-Mail=_EC218979-BE50-443D-8F06-5DA14921A6E6 Content-Transfer-Encoding: base64 Content-Disposition: inline; filename=page1image8152.png Content-Type: image/png; x-unix-mode=0666; name="page1image8152.png" Content-Id: <73F4918D-1E39-4E6D-9AF2-91E81ACDCFE7> iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c 6QAAAAlwSFlzAAAXEQAAFxEByibzPwAAAA1JREFUCB1jYGBgSAMAAGsAZ3g+ PVkAAAAASUVORK5CYII= --Apple-Mail=_EC218979-BE50-443D-8F06-5DA14921A6E6 Content-Transfer-Encoding: base64 Content-Disposition: inline; filename=page1image9952.png Content-Type: image/png; x-unix-mode=0666; name="page1image9952.png" Content-Id: iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c 6QAAAAlwSFlzAAAXEQAAFxEByibzPwAAAA1JREFUCB1jYGBgsAIAAD8AO+2b AfEAAAAASUVORK5CYII= --Apple-Mail=_EC218979-BE50-443D-8F06-5DA14921A6E6 Content-Transfer-Encoding: base64 Content-Disposition: inline; filename=page1image12424.png Content-Type: image/png; x-unix-mode=0666; name="page1image12424.png" Content-Id: iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c 6QAAAAlwSFlzAAAXEgAAFxIBZ5/SUgAAAA1JREFUCB1jYGBgsAIAAD8AO+2b AfEAAAAASUVORK5CYII= --Apple-Mail=_EC218979-BE50-443D-8F06-5DA14921A6E6 Content-Transfer-Encoding: base64 Content-Disposition: inline; filename=page1image14656.png Content-Type: image/png; x-unix-mode=0666; name="page1image14656.png" Content-Id: <31EFCE49-148C-4503-957F-430F978C909E> iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c 6QAAAAlwSFlzAAAXEgAAFxIBZ5/SUgAAAA1JREFUCB1jYGBgsAIAAD8AO+2b AfEAAAAASUVORK5CYII= --Apple-Mail=_EC218979-BE50-443D-8F06-5DA14921A6E6 Content-Transfer-Encoding: base64 Content-Disposition: inline; filename=page1image33728.png Content-Type: image/png; x-unix-mode=0666; name="page1image33728.png" Content-Id: <397B8377-1773-448D-8537-54AA17A4BEB3> iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c 6QAAAAlwSFlzAAAXEgAAFxIBZ5/SUgAAAA1JREFUCB1jYGBgSAMAAGsAZ3g+ PVkAAAAASUVORK5CYII= --Apple-Mail=_EC218979-BE50-443D-8F06-5DA14921A6E6-- --Apple-Mail=_8A071624-0A5C-4247-BAA9-84E0FD50AC4C--