Remote worker with 3+ years of experience - Last seen 1 year ago

I am a software developer with a mathematical background. I am enthusiastic about functional programming due to its elegance and the ease of reasoning it enables. I, therefore, intend to center my career around it. I value clean code, i.e., code that is readable, modular, testable, reusable, and well-documented. I try my best to produce such code in my work and personal projects.

My expertise is proven by one year of working as a Haskell Developer for Standard Chartered Bank and two more years of using Haskell and other functional languages in university and personal projects.

During my work at SCB, I was part of a team developing Hedge Accounting software — software that allows booking relationships between hedged and hedging financial instruments and produces various reports based on the booked relationships.

My university adventures with functional programming climaxed with me writing my master’s thesis, in which I used dependent types and the principle of “correctness by construction” to create a model of a control-flow graph that enforces the correct structure of graphs while ensuring the ease of their construction. In my thesis, I also described techniques for modeling programming languages that enforce various aspects of their correctness.

While I was pursuing my master’s degree in computer science, I also spent a significant amount of time studying distributed systems, formal verification, and compiler construction.

🛂 Nationality	🇵🇱 Poland
🏡 Residency	🇵🇱 Poland
📍 Location	🇵🇱 Poland
Remote OK	rok.co/@jan_serwatka
GitHub	sdfljasfjkhsdfajsf ⭐️ Upgrade to Premium to contact
LinkedIn	sdfljasfjkhsdfajsf ⭐️ Upgrade to Premium to contact
Skilled in	haskell scala functional programming python backend
Fluent in	polishenglish
Preferred timezone	0, +1, +2
Last seen	1 year ago
Signed up	1 year ago
Badges	🎖 Early adopter