-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpositions.html
executable file
·113 lines (109 loc) · 5.52 KB
/
positions.html
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Hamed Nemati-Teaching</title>
<meta name="description" content="website description" />
<meta name="keywords" content="website keywords, website keywords" />
<meta http-equiv="content-type" content="text/html; charset=windows-1252" />
<link rel="icon" type="image/png" href="img/favicon.png">
<link rel="stylesheet" type="text/css" href="style/style.css" />
<link rel="stylesheet" type="text/css" href="style/stylebiblio.css" />
</head>
<body id="body">
<div id="main">
<div id="header">
<div id="logo">
<div id="logo_text">
<!-- class="logo_colour", allows you to change the colour of the text -->
<h1>Hamed Nemati</h1>
</div>
</div>
<div id="menubar">
<ul id="menu">
<!-- put class="selected" in the li tag for the selected page - to highlight which page you're on -->
<li><a href="index.html">About</a></li>
<li><a href="publications.html">Publication</a></li>
<li><a href="teaching.html">Teaching</a></li>
<li><a href="positions.html">Open Positions</a></li>
</ul>
</div>
</div>
<div id="content_header"></div>
<div id="site_content">
<div class="mainpage-section" id="content">
<br />
<h1> Postdoc Position </h1>
<table>
<td style="text-align:justify"> <h2> Description: </h2>
<p> I am looking for a highly motivated postdoc researcher with a strong background in systems security and formal verification to join my research group. </p>
<p><b>Research Focus Areas</b>: The successful candidate will focus on one or more of the following research areas:
<ul>
<li class="title">System Security:</li>
<p>Investigate and address vulnerabilities at various system levels, including microarchitecture security (e.g., side-channel attacks, hardware vulnerabilities), system software security (operating systems, hypervisors, compilers) and design novel security architectures and defenses. </p>
<li class="title">Formal Verification:</li>
<p>Prove the functional correctness and security of low-level code, verify the security of protocols (cryptographic protocols, distributed systems) and advance the development of scalable verification techniques and tools.</p>
</ul>
Contact me if you have any specific questions or you are interested in this position.
</p>
</td>
</tr>
<tr>
<td> <h2> How to Apply:</h2>
<p> Please follow this <a href="https://www.kth.se/lediga-jobb/721318?l=en"> link </a> to read more about the positions and to submit your application. </p>
</td>
</tr>
</table>
</div>
<div class="mainpage-section" id="content">
<br />
<h1> PhD Positions </h1>
<table>
<td style="text-align:justify"> <h2> Description: </h2>
<p> We invite highly motivated students with a strong background in system security, formal verification, and/or machine learning to apply for two fully-funded PhD positions in the Division of Network and Systems Engineering at KTH. Our dynamic research group is pushing the boundaries of secure and reliable systems, and we seek talented individuals to join our team.</p>
<p><b>Research Focus Areas</b>: Successful candidates will have the opportunity to investigate cutting-edge research topics, including but not limited to one of the following areas. Applicants should submit a Research Statement (maximum of 2 pages) and clearly outline their research interests, motivation, and how their background aligns with one or more of the focus areas. Describe any prior research experience; expertise in more than one of these areas will be considered an advantage.
<ul>
<li class="title">System Security:</li>
<ol>
<li>Microarchitecture security (e.g., side-channels attacks, hardware vulnerabilities)</li>
<li>System software security (operating systems, hypervisors, compilers)</li>
<li>Exploration of novel security architectures and defenses</li>
</ol>
<li class="title">Formal Verification:</li>
<ol>
<li>Low-level code security verification (proofs of functional correctness and security)</li>
<li>Security protocol verification (cryptographic protocols, distributed systems)</li>
<li>Development of scalable verification techniques and tools</li>
</ol>
<li class="title">Machine Learning in Security and Verification:</li>
<ol>
<li>Applying machine learning to enhance security analysis and formal verification of systems
<li>Formal verification of machine learning models for security-critical applications
<li>Developing robust and explainable machine learning models for security tasks
</ol>
</ul>
Contact me if you have any specific questions or you are interested in this position.
</p>
</td>
</tr>
<tr>
<td> <h2> How to Apply:</h2>
<p> Please follow this <a href="https://www.kth.se/lediga-jobb/713944?l=en"> link </a> to read more about the positions and to submit your application. </p>
</td>
</tr>
<!--tr>
<td> <h2> Contact:</h2>
<p> Contact me if you have any specific questions or you are interested in this position.</p>
</td>
</tr-->
</table>
</div>
</div>
<div id="content_footer"></div>
<div id="footer">
<p> This is a personal webpage</p>
</div>
<p> </p>
</div>
</body>
</html>