Angel Cervera Roldán
Software Engineer — Rust, Systems Programming & Compilers
First-Class BSc graduate in Pure Mathematics and Computer Science
Profile
First-class Pure Mathematics and Computer Science graduate with experience building concurrent systems, DNA-computing simulations, and developer tools in Rust, Python, and C++. Contributor to the rgrow research library and co-author of work presented at DNA31. Interested in systems programming, compilers, and research-driven software engineering.
Experience
Software Engineer — Red Hat
Waterford, Ireland | January 2026 – PresentSoftware engineering role at Red Hat.
DNA Computing Research — Maynooth University
Research Software Engineer | Summers 2024 and 2025Co-authored work presented at DNA31. Implemented Scaffolded DNA Computing and kTAM + Blockers models for the rgrow Rust library, developed Python bindings, and presented the research at DNA31 and Maynooth University.
Computer Science Demonstrator — Maynooth University
Teaching | February 2024 – May 2024Supported first-year students in Introduction to Object-Oriented Programming, working with Python and Java.
Geospatial Server in Rust — SimplexSpatial
Software Development | December 2022 – September 2023Implemented a concurrent geospatial server in Rust and Scala; designed and documented its client-facing API; delivered a proof of concept for a distributed architecture; Dockerized service nodes and optimized startup using Protobuf-based serialization.
TCGLand
Backend Development | September 2022 – December 2022Migrated backend services from JavaScript to Go, developed web scrapers, and implemented round-robin load balancing and bandwidth throttling.
CryptoExchange — SimplexPortal
Junior Software Developer | May 2022 – September 2022Built a Scala framework for metadata-driven API ingestion across more than 20 cryptocurrency exchanges and maintained Airflow data pipelines.
Selected Projects
Calamars Programming Language
Rust, Ariadne, Cranelift | 2025Designed a statically typed language and implemented its AST, parser, and multi-file diagnostics with precise span tracking. Backend lowering to Cranelift IR is in development.
Toy Filesystem in C++
C++17, libfuse3, CMake, Ninja | 2025Built an in-memory hierarchical filesystem with modern ownership semantics and core FUSE operations, compatible with standard shell tools and terminal editors.
Parlib — Parser Combinator Library
Rust | 2024Implemented a purely functional, immutable parser-combinator proof of concept with JSON and Lisp-like example parsers.
Competitions & Presentations
- Northwestern Europe Regional Contest, TU Delft — November 2024
- UK & Ireland Programming Contest, University of Edinburgh — October 2024
- Competitive Programming Ireland, University College Cork — 2024
- SPUR Symposium and Hamilton Research Week Graduate Student Talks — Maynooth University, 2024
Education
Maynooth University
BSc in Pure Mathematics and Computer Science, First-Class Honours | September 2021 – May 2025
École Polytechnique Fédérale de Lausanne (Coursera)
Functional Programming Principles in Scala; Big Data Analysis with Scala and Spark | 2022
Skills
- Rust
- C++
- Python
- Scala
- Go
- Java
- JavaScript
- TypeScript
- Linux
- Docker
- Airflow
- Spark
- English
- Spanish
Ireland / Europe