Compiler positions available for week ending May 26

This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to compilers@iecc.com.




-------------------------------


From: China Muoka <china@axoni.com>
Date: Mon, 20 May 2019 14:28:30 -0400
Subject: Compiler Job for blockchain work at Axoni in New York City


Compiler Engineer


Axoni develops novel blockchain solutions while focusing on the capital
markets industry. In various production implementations, we have
demonstrated that our blockchain software can serve multiple asset classes
and use cases at the world’s most advanced financial institutions. Join us
in our mission to further strengthen and scale our system and develop new
blockchain solutions. We’re excited to have you become part of our
high-performing team of software engineers.


Headquartered in New York City, we are currently working intensely on what
we expect to become the most widely used programming language for
blockchain smart contracts: AxLang. Based on Scala, AxLang enables secure
and full featured smart contract development by supporting both functional
programming and formal verification. Its design is driven by the rigorous
requirements for solutions serving the world's largest financial
institutions.


AxLang is part of Axoni's blockchain infrastructure, which underpins the
broadest reaching and most ambitious permissioned ledger production
projects in the world, including $11 trillion of credit derivatives, the
world's leading foreign exchange connectivity network, and various other
industry implementations.


By joining our growing compiler team, you will help us build cutting edge
compiler technology that targets the Ethereum open-source community.
Overall, this is a unique opportunity to contribute to one of the most
promising technologies today by helping us revolutionize the way smart
contracts are developed in the Ethereum ecosystem.
Relevant Skills and Experience


      - Well versed in C++, Scala, or both
            - Experience with compiler development a plus
            - Experience with formal verification and/or semantic analysis a plus
            - Research in the field of programming languages, compilers, and
            formal verification a plus
            - Comfortable with Python or a similar scripting language
            - Knowledge of Ethereum and Bitcoin blockchains a plus
            - Familiar with best practices for Agile and Test Driven Development
            - Strong communication skills and a collaborative team member


Benefits


      - Competitive salary and equity
            - Comprehensive health benefits
            - 401K plan
            - Personal fitness bonuses
            - Reimbursement for educational programs
            - Generous parental leave policy
            - Catered team lunches and stocked kitchen
            - Team events, happy hours, and annual trip


APPLY FOR THIS JOB


https://jobs.lever.co/axoni/1356bb24-c82f-4a0f-a6f5-783d6a265d25

Return to the comp.compilers page.
Search the comp.compilers archives again.