update CV

Author: jacob-pro

cv.md

@@ -22,29 +22,14 @@ and have made a [number of contributions](https://www.jhalsey.com/projects.html)
 ## Skills
 
 - Programming in Java, Rust, C, Python, Lua, Objective-C, Swift, PHP, Go, Typescript & Javascript.
-- Experience with concurrent programming and distributed systems (sharding, leader election).
-- Automated testing; developing unit tests, end-to-end integration tests, CI pipelines.
+- Experience with concurrent programming and building distributed systems.
+- Automated testing; unit testing, integration testing, CI pipelines.
 - Strong knowledge of the HTTP/1.1, HTTP/2.0, and WebSockets protocols, modern authentication systems (JWT, 
   OAuth 2.0, OIDC, mTLS).
 - Provisioning infrastructure with Terraform, packaging with Docker, maintaining Linux and Windows systems.
-- Databases: key-value stores such as Redis, SQL including Oracle Database, Postgres, MySQL.
+- Databases: key-value stores including Redis, SQL including Oracle, Postgres, MySQL.
 - Experience with operations and maintenance, structured logging, telemetry, zero downtime deployments, and on-call incident response.
 
-## Education
-
-### Undergraduate
-
-University of Bristol: 2018 - 2021 \
-BSc Computer Science: First Class Honours
-
-### A Level
-
-Churston Grammar School: 2015 – 2017 \
-Computer Science: A\*, Maths: A\*, Further Maths: A, Economics: A, Physics (AS): A
-
-Westlands School: 2013 – 2015 \
-BTEC Level 3 Diploma in IT: Distinction\* Distinction\*
-
 ## Experience
 
 **Senior Software Engineer - Oracle: 2023 - Present**
@@ -54,7 +39,7 @@ As part of the API Gateway team, I make substantial contributions to a cloud ser
 
 Key achievements:
 
-- Development of graceful shutdown functionality, with full observability on interrupted HTTP requests.
+- Development of graceful shutdown functionality, with full observability of interrupted HTTP requests.
 - Substantial contributor to a successful rewrite and modernisation of our data plane proxy server from 
   NGINX/Lua to Jetty/Java. This included the HTTP request body processing logic, in-memory loading caches, logging, and 
   authentication modules. 
@@ -66,8 +51,8 @@ Key achievements:
   feature. I wrote the [cloud controllers](https://blogs.oracle.com/cloud-infrastructure/post/behind-the-scenes-workflow-oci-controllers) 
   that synchronise control-plane and data-plane state (Java), developed the public console pages or subscriber management (React/Typescript), 
   and built automated end-to-end tests for the whole feature (Java).
-- Extensive experience managing and automating highly available Redis clusters (with sharding and replication). 
-  Developed an automation for [rack-zone awareness](https://github.com/redis/redis/issues/11306#issuecomment-1607571197), 
+- Extensive experience managing and automating highly available Redis clusters; 
+  developed an automation for [rack-zone awareness](https://github.com/redis/redis/issues/11306#issuecomment-1607571197), 
   set up a compact cluster mode that required fewer CPU cores, and developed an automated process for zero-downtime 
   cluster migration between X86 and ARM shapes. Changes led to significant cost savings, operations and reliability improvements.
 - Drove efforts to improve team processes, including development of a new integration test suite, introducing
@@ -85,6 +70,21 @@ Key achievements:
 and video sharing, electronic forms / paperless, consumer rewards, and video conferencing.
 - Developed REST APIs and administration websites to power the apps (PHP/MySQL).
 
+## Education
+
+### Undergraduate
+
+University of Bristol: 2018 - 2021 \
+BSc Computer Science: First Class Honours
+
+### A Level
+
+Churston Grammar School: 2015 – 2017 \
+Computer Science: A\*, Maths: A\*, Further Maths: A, Economics: A, Physics (AS): A
+
+Westlands School: 2013 – 2015 \
+BTEC Level 3 Diploma in IT: Distinction\* Distinction\*
+
 ## Certifications
 
 Cisco CCNA Routing and Switching: 2016 – 2019 \