-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhome.html
148 lines (133 loc) · 5.9 KB
/
home.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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
<!DOCTYPE html>
<!--
Minimaxing by HTML5 UP
html5up.net | @ajlkn
Free for personal and commercial use under the CCA 3.0 license (html5up.net/license)
--><html lang="en">
<head>
<title>Home - LIF</title>
<meta charset="utf-8">
<meta name="DC.date" content="1740167252">
<meta name="description" content="FOO">
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
<meta name="robots" content="index,follow">
<link rel="icon" href="images/cropped-lif-carre-1024.png" type="image/png"> <link rel="stylesheet" href="assets/css/main.css">
<link rel="stylesheet" href="custom.css">
</head>
<body>
<div id="page-wrapper">
<!-- Header -->
<div id="header-wrapper">
<div class="container">
<div class="row">
<div class="col-12">
<header id="header">
<h1><a href="home" id="logo"><span style="display:none">LIF</span></a></h1>
<nav id="nav">
<a href="home" class="current-page-item">Home</a>
<a href="research">Research</a>
<a href="staff">Staff</a>
<a href="posts/list">News</a>
<a href="contact-en">Contact</a>
<a href="index">Français</a>
</nav>
</header>
</div>
</div>
</div>
</div>
<!-- Main -->
<div id="main">
<div class="container">
<!-- First row -->
<div class="row main-row">
<!-- Recent posts -->
<div class="col-8 col-12-medium col-12-small postsummary">
<section class="post-summary">
<h2><a href="posts/en/LIF25-M1">Two open M.Sc. positions in evaluation of clinical skills through monitoring and analysis of logs (LIF25-M1)</a></h2>
<p class="postinfo">2025/02/07 by Sylvain Hallé</p>
<div class="postimage"><img src="posts/en/../mp-oncoped.webp" alt="Post image"></div>
<p>The Formal Computing Laboratory at the University of Québec in Chicoutimi is seeking excellent M.Sc. candidates for two 2-year funded Masters project for the evaluation of clinical skills through monitoring and analysis of logs.</p>
<p><a href="posts/en/LIF25-M1">Read more</a></p>
</section>
<section class="post-summary">
<h2><a href="posts/en/LIF24">Students wanted for several master's and doctoral projects</a></h2>
<p class="postinfo">2024/02/02 by Sylvain Hallé</p>
<p>The Formal Computing Laboratory of the Université du Québec à Chicoutimi is seeking candidates for several funded projects at the master's and doctoral levels starting in the summer and fall of 2024. The Canada Research Chair in Software Specification, Testing, and Verification provides funding for students in the form of a scholarship for the duration of the project (2 years for M.Sc., 3 years for Ph.D.).</p>
<p><a href="posts/en/LIF24">Read more</a></p>
</section>
<section class="post-summary">
<h2><a href="posts/en/LIF24-D3">Open PhD Position in anomaly detection in an identity query management system (LIF24-D3)</a></h2>
<p class="postinfo">2024/01/30 by Sylvain Hallé</p>
<div class="postimage"><img src="posts/en/../cyber.webp" alt="Post image"></div>
<p>The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi is seeking an outstanding PhD candidate to fill a 3-year funded position on anomaly detection in an identity query management system.</p>
<p><a href="posts/en/LIF24-D3">Read more</a></p>
</section>
</div>
<!-- Post list -->
<div class="col-4 col-12-medium col-12-small postlist">
<section>
<h2>Recent posts</h2>
<ul class="postlist">
<li>
<a href="posts/en/LIF25-M1">Two open M.Sc. positions in evaluation of clinical skills through monitoring and analysis of logs (LIF25-M1)</a><br>
<span class="postinfo">2025/02/07 by Sylvain Hallé</span>
</li>
<li>
<a href="posts/en/LIF24">Students wanted for several master's and doctoral projects</a><br>
<span class="postinfo">2024/02/02 by Sylvain Hallé</span>
</li>
<li>
<a href="posts/en/LIF24-D3">Open PhD Position in anomaly detection in an identity query management system (LIF24-D3)</a><br>
<span class="postinfo">2024/01/30 by Sylvain Hallé</span>
</li>
<li>
<a href="posts/en/LIF24-M1">Open M.Sc. Position in monitoring of a video game economy (LIF24-M1)</a><br>
<span class="postinfo">2024/01/30 by Sylvain Hallé</span>
</li>
<li>
<a href="posts/en/formalise21-award">A PhD student from LIF earns a Best Paper Award</a><br>
<span class="postinfo">2021/10/02 by Sylvain Hallé</span>
</li>
</ul>
</section>
</div>
</div>
</div>
</div>
<!-- Footer -->
<div id="footer-wrapper">
<div class="container">
<div class="row">
<div class="col-12">
<div id="copyright">
©Laboratoire d'informatique formelle. All rights reserved. | Design: <a href="http://html5up.net">HTML5 UP</a> | Powered by <a href="https://sylvainhalle.github.io/FantasticWindmill">Fantastic Windmill</a>
</div>
</div>
</div>
</div>
</div>
</div>
<!-- Scripts -->
<script src="assets/js/jquery.min.js"></script>
<script src="assets/js/browser.min.js"></script>
<script src="assets/js/breakpoints.min.js"></script>
<script src="assets/js/util.js"></script>
<script src="assets/js/main.js"></script>
<!-- Matomo -->
<script>
var _paq = window._paq = window._paq || [];
/* tracker methods like "setCustomDimension" should be called before "trackPageView" */
_paq.push(['trackPageView']);
_paq.push(['enableLinkTracking']);
(function() {
var u="//leduotang.ca/matomo/";
_paq.push(['setTrackerUrl', u+'matomo.php']);
_paq.push(['setSiteId', '5']);
var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0];
g.async=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s);
})();
</script>
<!-- End Matomo Code -->
</body>
</html><!-- :tabSize=2: -->