configuration update

Author: rodrigo7491

_data/navigation.yml

@@ -9,13 +9,13 @@
 
 main:
   - title: "Publications"
-    url: /files/Publications-Rodrigo_Otoni.pdf #/publications/
+    url: /files/publications_rodrigo_otoni.pdf #/publications/
 
   # - title: "Talks"
   #   url: /talks/
 
-  - title: "Teaching"
-    url: /teaching/
+  # - title: "Teaching"
+  #   url: /teaching/
 
   # - title: "Portfolio"
   #   url: /portfolio/
@@ -24,7 +24,7 @@ main:
   #   url: /year-archive/
 
   - title: "CV"
-    url: /files/CV-Rodrigo_Otoni.pdf #/cv/
+    url: /files/cv_rodrigo_otoni.pdf #/cv/
 
   # - title: "CV"
   #   url: /cv-json/

_pages/about.md

@@ -7,8 +7,8 @@ redirect_from:
   - /about.html
 ---
 
-I am currently a postdoctoral researcher at **USI Lugano** working on approaches for automated reasoning in the contexts of verification, synthesis, and certification.
+I am currently a postdoctoral researcher at **USI Lugano**, Switzerland, working on approaches for automated reasoning in the contexts of verification, synthesis, and certification.
 
-I will be joining the **University of Groningen** as an assistant professor in September 2025.
+I will be joining the **University of Groningen** as an assistant professor in September 2025. I have an **open PhD position** on the topic of formal verification of distributed systems, the full details can be found [here].
 
-For full details, please see my CV.
+[here]: https://rodrigo7491.github.io/files/phd_position_ad.pdf