Position: Junior Researcher
Category: Python
English level: upper
Years of experience: 1.5

Type Theory, Category Theory...
Worked as Java programmer and don't want to work with it again. Did quite a few pet projects with Python and Haskell. Worked at project which aimed to formally verify ASN1 protocol using Coq proof assistant, CompCert library and VST framework for 1.5 years as a Junior Researcher. Ideally want to work in the similar field(formal verification), but open to any offer, especially something in Haskell.
Formal Verification projects, Haskell projects, ready to learn Rust, maybe C projects, but don't have much experience with it.