AAR Newsletter

Author: jcailler

aarnewsletter.html

@@ -169,7 +169,7 @@ <h1><a href="http://www.aarinc.org/">
 
     <div>
       <ul class="toc">
-        <li><a href="#herbrand">Herbrand Award 2025: Call for Nominations</a></li>
+         <li><a href="#herbrand">Herbrand Award 2025: Call for Nominations</a></li>
         <li><a href="#mccune">Bill McCune PhD Award in Automated Reasoning 2025</a></li>
         <li><a href="#grant_title">Grant Proposals</a>
           <ul>
@@ -185,23 +185,20 @@ <h1><a href="http://www.aarinc.org/">
         <li><a href="#conferences-title">Conferences</a>
           <ul>
             <li><a href="#TYPES2025">TYPES 2025: 31st International Conference on Types for Proofs and Programs</a></li>
-            <li><a href="#SAT2025">SAT 2025: 28th International Conference on Theory and Applications of Satisfiability
+           <li><a href="#SAT2025">SAT 2025: 28th International Conference on Theory and Applications of Satisfiability
                 Testing</a></li>
             <li><a href="#TbiLLC2025">TbiLLC 2025: 15th International Tbilisi Symposium on Logic, Language, and
                 Computation</a></li>
-            <li><a href="#MFPS41">MFPS XLI: 41st Conference on Mathematical Foundations of Programming Semantics</a>
-            </li>
+            <li><a href="#MFPS41">MFPS XLI: 41st Conference on Mathematical Foundations of Programming Semantics</a></li>
             <li><a href="#CICM2025">CICM 2025: 18th Conference on Intelligent Computer Mathematics and LSFA 2025: 20th
                 International Symposium on Logical and Semantic Frameworks, with Applications, call for papers</a></li>
             <li><a href="#ECAI2025">ECAI-2025: 28th European Conference on Artificial Intelligence</a></li>
-            <li><a href="#RuleML+RR 2025">RuleML+RR 2025: 9th International Joint Conference on Rules and Reasoning</a>
-            </li>
+            <li><a href="#RuleML+RR 2025">RuleML+RR 2025: 9th International Joint Conference on Rules and Reasoning</a></li>
           </ul>
         </li>
         <li><a href="#workshops_title">Workshops</a>
           <ul>
-            <li><a href="#VSS2025">VSS 2025: First International Workshop on Verification of Scientific Software</a>
-            </li>
+            <li><a href="#VSS2025">VSS 2025: First International Workshop on Verification of Scientific Software</a></li>
             <li><a href="#FMBC2025">FMBC 2025: 6th International Workshop on Formal Methods for Blockchains</a></li>
             <li><a href="#pmfm2025">Workshop in Programs from Proofs Meets Formal Mathematics</a></li>
           </ul>
@@ -218,17 +215,14 @@ <h1><a href="http://www.aarinc.org/">
         </li>
         <li><a href="#open_positions_title">Open Positions</a>
           <ul>
-            <li><a href="#APMonterey">Faculty Associate - Research of Computer Science, Naval Postgraduate School,
-                Monterey,
+            <li><a href="#APMonterey">Faculty Associate - Research of Computer Science, Naval Postgraduate School, Monterey,
                 CA </a></li>
-            <li><a href="#PhDSheffield">PhD Position on Model Checking of Functional Programs at University of
-                Sheffield, UK
+            <li><a href="#PhDSheffield">PhD Position on Model Checking of Functional Programs at University of Sheffield, UK
               </a></li>
             <li><a href="#PhDLondon">PhD Studentship at UCL Computer Science, UK</a></li>
             <li><a href="#PhDSouthCarolina">Two PhD Positions at the Computer Science and Engineering Department at the
                 University of South Carolina, USA</a></li>
-            <li><a href="#PhDETH">Two PhD Positions in Formal Semantics and Verification (with a focus on Rust) at ETH
-                Zürich,
+            <li><a href="#PhDETH">Two PhD Positions in Formal Semantics and Verification (with a focus on Rust) at ETH Zürich,
                 Switzerland</a></li>
             <li><a href="#PDSpain">Several Postdoctoral Positions on Formal Methods for Security and Privacy at the
                 Universitat Rovira i Virgili, Spain </a></li>
@@ -237,6 +231,8 @@ <h1><a href="http://www.aarinc.org/">
             <li><a href="#Tokyo">PhD, Postdoc & Senior Researcher Positions in Tokyo, Japan</a></li>
             <li><a href="#PDSurrey">Research Fellow in Verification or Security or Concurrent/Distributed Systems at
                 University of Surrey, UK</a></li>
+            <li><a href="#PPULB">Full-time Academic Position in Computer Science at Université libre de Bruxelles (ULB),
+                Belgium</a></li>
             <li><a href="#cryspen">Proof Engineer at Cryspen, France and Germany</a>
             </li>
           </ul>
@@ -1754,13 +1750,41 @@ <h3 id="PDSurrey">Research Fellow in Verification or Security or Concurrent/Dist
         </p>
 
         <p>
-          The application deadline for applicants is <b>January 31st, 2025</b>. You can apply one the <a
+          The application deadline for applicants is <b>January 31st, 2025</b>. You can apply on the <a
             href="http://jobs.surrey.ac.uk/048824-R">University's web site</a>. For informal enquiries and further
           information please contact <a href="mailto:[email protected]">Brijesh Dongol</a> or <a
             href="mailto:[email protected]">Gregory Chockler</a>.
         </p>
       </div>
 
+      <div id="job-ULB">
+        <h3 id="PPULB">Full-time Academic Position in Computer Science at Université libre de Bruxelles (ULB), Belgium</h3>
+
+        <p>
+          The Faculty of Sciences of the Université libre de Bruxelles (ULB) invites applications for a full-time
+          academic position in Computer Science to begin October 1st, 2025. All areas of Computer Science will be considered. Candidates who can strengthen an existing team within our department
+          are particularly encouraged to apply.
+        </p>
+
+        <p>
+          The Computer Science Department of ULB is a leading research and dynamic education center. Located in the capital of
+          Europe, it offers a wide range of funding and research opportunities. Brussels is a cosmopolitan city with an excellent
+          quality of life and easy access to all major cities in Europe. The position involves both teaching and research and some
+          commitment to administrative tasks.
+        </p>
+
+        <p>
+          For more information, (e.g. concerning courses to be taught or the research carried out in the
+          Department), please contact <a href="mailto:[email protected]">Mr John Jacono</a>, Head of the Computer Science Department.
+        </p>
+
+        <p>
+          The application deadline for applicants is <b>March 15, 2025</b>. You can apply on the <a
+            href="https://cwfront.ulb.ac.be/greffe/modules/vac/data/sources/pdf/prod/8889.pdf">University's web site</a>.
+        </p>
+      </div>
+
+
       <div id="job-cryspen">
         <h3 id="cryspen">Proof Engineer at Cryspen, France and Germany</h3>