RemoteYeah
P
pharedes's photo
Pedro Henrique Arêdes Freitas
From Brazil 12:07 PM (GMT-03:00)
$70/hr or $140,000/yr
Active over a week ago

Share this profile:

Software Engineer

Software Engineer
Available for hire
Years of experience
4+ years
Available for
Full-time, Part-time, Contract
Available from
08 Jul 2026
Download Resume / CV

I specialize in compiler construction, type systems, and formal verification. At Higher Order Company, I contributed to SupGen (program synthesis achieving significant performance improvements) and built compiler infrastructure in Haskell and TypeScript.

I've implemented termination checking in Agda, built a dependently-typed language (Requiem) with HOAS and NbE, and proven normalization for affine lambda calculus. I also have production experience optimizing distributed systems (PostgreSQL to sub-50ms latency, Docker/Linux infrastructure).

Looking for compiler engineering, formal verification, or PL research roles where correctness and practical impact matter.

Skills

JavaScript CSS TypeScript React.js Next.js Node.js Express.js Tailwind CSS Electron Docker Vercel Composer Zod Software as a Service REST Bun Jest Webpack Vite.js Responsive design PostgreSQL MySQL SQLite Sequelize Git GitHub CI/CD MVC Test Driven Development Styled components Web services ChatGPT Web security Domain Driven Development Single Page Application HTML Bash Haskell Lisp MariaDB pnpm

Languages

English Portuguese

Employment History

Software Developer, Researcher at Higher Order Company Current 2025 - Now
- Built developer tooling and compiler infrastructure (parsers, syntax highlighting) - Developed Kolmo Coloring syntax highlighting library in TypeScript - Worked with Agda for formal verification of termination properties - Contributed to debugging and testing of experimental compiler features

Education

No education history.

Report this profile
Browse more Software Engineer profiles