This job post is closed and the position is probably filled. Please do not apply. Work for Zilliqa and want to re-open this job? Use the edit link in the email when you posted the job!
๐ค Closed by robot after apply link errored w/ code 403 1 year ago
Role\n\nWe are looking for an experienced software engineer with experience in building compilers, software analysis tools and language runtimes. \n\nAs senior compiler engineer, you will have the following responsibilities:\n\n\nWork on the compilation pipeline from high-level languages (Solidity, Python, etc) to functional intermediate-level representation\n\nDesign type systems, static analyses, and optimizations\n\nEvolve the design of the high-level languages based on the contemporary applications\n\nDesign passes for JIT compilation from intermediate-level languages to various back-ends\n\nMaintain the infrastructure for compiler development, including frameworks for randomized testing and fuzzing\n\nInteract with the formal methods researchers on the team to facilitate reasoning about the compiler and programsโ correctness\n\n\n\nResponsibilities\n\n\nIdentify gaps in current design of the Scilla IR and suggest improvements\n\nPropose new design aspects for high-level smart contract languages to be used on Zilliqa blockchain\n\nBe a part of the Zilliqa programming language team, facilitating the interaction between the front-end, back-end compiler development, and the verification frameworks\n\nKeep up to date with the body of work in DeFi applications, smart contract languages, and compilers (e.g., by reading research papers and blog posts), looking for common patterns to be embodied in the language design\n\n\n\nRequirements \n\n\n* Passionate about the cryptocurrency and blockchain field.\n\n* Computer science background \n\n* 3+ years experience in working with compilers and language runtimes\n\n* Good proficiency with OCaml or any other functional language (Haskell, Scala)\n\n* Knowledge of relevant concepts: static analysis, type systems, lambda calculus and its variations, abstract interpretation, common compiler optimizations.\n\n* Good proficiency with LLVM is a plus\n\n\n\n\nTo apply, submit your resume in PDF format or LinkedIn Profile.\n \n\n#Salary and compensation\n
No salary data published by company so we estimated salary based on similar jobs related to Design, Defi, Testing, Senior, Engineer and Digital Nomad jobs that are similar:\n\n
$60,000 — $125,000/year\n
\n\n#Benefits\n
๐ฐ 401(k)\n\n๐ Distributed team\n\nโฐ Async\n\n๐ค Vision insurance\n\n๐ฆท Dental insurance\n\n๐ Medical insurance\n\n๐ Unlimited vacation\n\n๐ Paid time off\n\n๐ 4 day workweek\n\n๐ฐ 401k matching\n\n๐ Company retreats\n\n๐ฌ Coworking budget\n\n๐ Learning budget\n\n๐ช Free gym membership\n\n๐ง Mental wellness budget\n\n๐ฅ Home office budget\n\n๐ฅง Pay in crypto\n\n๐ฅธ Pseudonymous\n\n๐ฐ Profit sharing\n\n๐ฐ Equity compensation\n\nโฌ๏ธ No whiteboard interview\n\n๐ No monitoring system\n\n๐ซ No politics at work\n\n๐ We hire old (and young)\n\n
\n\n#Location\nWorldwide
# How do you apply?\n\nThis job post has been closed by the poster, which means they probably have enough applicants now. Please do not apply.