enncore.github.io/positions.html at master · enncore/enncore.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
<!DOCTYPE html>
<html lang="en-US"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">

<!-- Begin Jekyll SEO tag v2.4.0 -->
<title>News | EnnCore</title>
<meta name="generator" content="Jekyll v3.7.3">
<meta property="og:title" content="EnnCore: End-to-End Conceptual Guarding of Neural Architectures">
<meta property="og:locale" content="en_US">
<meta name="description" content="Security for all in an AI enabled society.">
<meta property="og:description" content="Security for all in an AI enabled society.">
<link rel="canonical" href="https://enncore.github.io/">
<meta property="og:url" content="https://enncore.github.io/">
<meta property="og:site_name" content="EnnCore">
<script type="application/ld+json">
{"name":"EnnCore","description":"Security for all in an AI enabled society.","@type":"WebSite","url":"https://enncore.github.io/","headline":"News","@context":"http://schema.org"}</script>
<!-- End Jekyll SEO tag -->

    <link rel="stylesheet" href="./files/style.css">
    <!--[if lt IE 9]>
    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="wrapper">
      <header>
        <h1 id="logo"><a href="https://enncore.github.io/"><img src="logo/logo-enncore.png" style="width: 13vw; min-width: 28px;" alt="logo" /></a></h1>

        <p style="font-size:18px;">End-to-End Conceptual Guarding of Neural Architectures</p>

         <p class="view" style="font-size:16px;">
	  <a href="https://enncore.github.io/news.html"><b>News</b></a><br>
          <a href="https://enncore.github.io/partners.html"><b>Partners</b></a><br>
	  <a href="https://enncore.github.io/positions.html"><b>Positions</b></a><br>
          <a href="https://enncore.github.io/publications.html"><b>Publications</b></a><br>
	  <a href="https://enncore.github.io/people.html"><b>People</b></a><br>
          <a href="https://enncore.github.io/applications.html"><b>Applications</b></a><br>
          <a href="https://enncore.github.io/benchmarks.html"><b>Index of Benchmarks</b></a><br>
	  <a href="https://enncore.github.io/events.html"><b>Events</b></a><br>
    <a href="https://enncore.github.io/awards.html"><b>Awards</b></a><br>
        </p>

	<!-- <p><a href="https://github.com/esbmc/esbmc/blob/master/src/COPYING"><img src="./files/License-MIT-yellow.svg" alt="License: MIT"></a></p> -->


      </header>
      <section>

      <p style="font-size:16px;">EnnCore will hire four postdoctoral research associates in the areas listed below.</p>

      <h2 id="AutomatedVerification">Secure and Verifiable AI Models (Manchester)</h2>

      <p style="font-size:16px;">Our research group has one Research Associate position to work on Secure and Verifiable AI Models.</p>

      <p style="font-size:16px;">The ideal candidate for this position will develop and evaluate methods, algorithms, and tools to build explainable and fully verifiable learning-based systems that are safe, transparent, and robust.</p>

      <p style="font-size:16px;">This position will involve continuous interaction with experts in explainable AI, security, and software testing and verification. You will be a member of the EnnCore team (<a href="https://enncore.github.io/">https://enncore.github.io/</a>), working closely with <a href="https://uk.linkedin.com/in/mustafaam">Mustafa A. Mustafa</a>, <a href="https://uk.linkedin.com/in/sunyoucheng">Youcheng Sun</a>, <a href="https://uk.linkedin.com/in/andrefreitas">Andre Freitas</a>, and <a href="https://uk.linkedin.com/in/lucas-cordeiro-3156233">Lucas Cordeiro</a> at Manchester.</p>

      <p style="font-size:16px;">You should have, or be about to obtain, a PhD in Computer Science or a closely related field together with an excellent track record of international publications in the foundation and/or application of verification and validation of neural networks.</p>

      <p style="font-size:16px;">
        Applications must be sent via:
        <br/><br/>
        <a href="https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=22435">https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=22435</a>
        <br/><br/>
        Deadline: June 7th, 2022.

    </section>
    </div>
    <script src="./files/scale.fix.js.download"></script>


</body></html>