Elixir/Ruby Back-end Engineer, Compilers Specialist

PhD student seeking a summer contractor position, preferably full-time. Possesses mid-level experience as a back-end software engineer, specializing in building interpreters & compilers, with experience in formal verification tools and techniques. Open to general back-end SaaS projects. Does not require benefits.