Solidity Compiler Frontend Engineer

Σχετικά με την Εταιρεία Μία από τις ταχύτερα αναπτυσσόμενες και πιο αξιόπιστες εταιρείες στον τομέα της ασφάλειας blockchain, η CertiK είναι ένας πραγματικός ηγέτης της αγοράς. Μέχρι σήμερα, η CertiK έχει συνεργαστεί με περισσότερους από 4.798 πελάτες, έχει εξασφαλίσει ψηφιακά περιουσιακά στοιχεία αξίας άνω των 597 δισεκατομμυρίων δολαρίων και έχει παρακολουθήσει περισσότερα από 17.000 έργα. Οι πελάτες μας περιλαμβάνουν κορυφαία έργα όπως τα Aave, Polygon, Yearn και Chiliz.
Investors = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital και άλλοι επενδυτές.
Σχετικά με το ρόλο Αναζητούμε έναν έμπειρο Solidity Compiler Frontend Engineer για να συμμετάσχει στην ομάδα μας που εργάζεται σε υποδομές μεταγλωττιστών blockchain αιχμής και επίσημα εργαλεία επαλήθευσης. Θα συμμετάσχετε στην ανάπτυξη και τη βελτιστοποίηση των στοιχείων frontend των αγωγών συλλογής Solidity, με έμφαση στη στατική ανάλυση, τον έλεγχο τύπου και την ενοποίηση με επίσημα συστήματα επαλήθευσης.

Ευθύνες

• Σχεδιασμός και υλοποίηση στοιχείων frontend για τον μεταγλωττιστή Solidity, συμπεριλαμβανομένης της λεξιλογικής ανάλυσης, της ανάλυσης, της δημιουργίας AST και της σημασιολογικής ανάλυσης.

• Βελτιστοποιήστε την απόδοση του μεταγλωττιστή και βελτιώστε την αναφορά σφαλμάτων και τα διαγνωστικά.

• Αναπτύξτε επίπεδα ενοποίησης μεταξύ του μεταγλωττιστή Solidity και των εργαλείων επίσημης επαλήθευσης.

• Συμβολή στην εξέλιξη των χαρακτηριστικών και προδιαγραφών της γλώσσας Solidity.

• Συνεργασία με ερευνητές ασφαλείας για την εφαρμογή στατικής ανάλυσης και ελέγχων ασφαλείας.

• Διατήρηση και βελτίωση της υπάρχουσας υποδομής και εργαλείων μεταγλωττιστή.
Απαιτήσεις

• 3+ χρόνια επαγγελματικής εμπειρίας στην ανάπτυξη μεταγλωττιστών Solidity ή σε σχετικά έργα μεταγλωττιστή (π.χ. γλώσσες που βασίζονται σε EVM, μεταγλωττιστές έξυπνων συμβολαίων)

• Ισχυρή επάρκεια στη Java με βαθιά κατανόηση της ανάπτυξης και βελτιστοποίησης μεταγλωττιστών βάσει Java

• Στερεά θεμέλια στη θεωρία μεταγλωττιστών, συμπεριλαμβανομένων τεχνικών ανάλυσης, συστημάτων τύπων και ενδιάμεσων αναπαραστάσεων

• Εμπειρία με επίσημες μεθόδους ή επίσημα εργαλεία επαλήθευσης (π.χ. λύτες SMT, δοκιμαστές θεωρημάτων ή πλαίσια επαλήθευσης)

• Ισχυρή κατανόηση της εικονικής μηχανής Ethereum (EVM) και των μοντέλων εκτέλεσης έξυπνων συμβολαίων

• Άριστες δεξιότητες επίλυσης προβλημάτων και προσοχή στη λεπτομέρεια
Προτιμώμενα Προσόντα

• Εμπειρία με LLVM ή παρόμοια υποδομή μεταγλωττιστή

• Γνώση σημασιολογίας της γλώσσας προγραμματισμού και θεωρίας τύπων

• Συνεισφορές σε έργα μεταγλωττιστή ανοιχτού κώδικα

• Εμπειρία με Solidity ή άλλες γλώσσες προγραμματισμού blockchain
Τι Προσφέρουμε

• Ευκαιρία διαμόρφωσης της εθνικής συνομιλίας για το blockchain και την ασφάλεια.

• Συνεργαστείτε με κορυφαίους στον κλάδο ερευνητές ασφαλείας, τεχνολόγους και παγκόσμια ιδρύματα.

• Ευέλικτο περιβάλλον εργασίας και κουλτούρα με γνώμονα την αποστολή.
Αποζημίωση: Εάν ο ρόλος εκτελείται στις ΗΠΑ, η ετήσια αποζημίωση στόχος είναι $140.000 - $220.000. Η ακριβής αποζημίωση στην οποία θα πληρωθεί αυτή η θέση εργασίας θα καθοριστεί από τις δεξιότητες και την εμπειρία των υποψηφίων που πληρούν τις προϋποθέσεις.
#blockchain#startups#προσλήψεις
Το CertiK δέχεται αιτήσεις για αυτή τη θέση σε συνεχή βάση.
Η CertiK είναι περήφανη που προσφέρει ιατρική, όραση και οδοντιατρική ασφάλιση, πρόγραμμα 401(k) με εταιρική αντιστοίχιση, ασφάλιση ζωής και θανάτου και αποσυναρμολόγησης από ατύχημα, HSA (με πρόγραμμα υψηλής έκπτωσης), FSA και άλλα οφέλη σε όλους τους εργαζόμενους πλήρους απασχόλησης, μαζί με ευέλικτο ρεπό και αργίες. Το CertiK προσφέρει επίσης ένα πρόγραμμα μεταβλητής προμήθειας για ρόλους πωλήσεων επιχειρηματικής ανάπτυξης.
Σύμφωνα με την ομοσπονδιακή νομοθεσία, όλα τα πρόσωπα που προσλαμβάνονται θα πρέπει να επαληθεύσουν την ταυτότητα και την καταλληλότητά τους για εργασία στις Ηνωμένες Πολιτείες και να συμπληρώσουν το απαιτούμενο έντυπο επαλήθευσης καταλληλότητας απασχόλησης κατά την πρόσληψη.
Η CertiK είναι περήφανη που είναι εργοδότης ίσων ευκαιριών. Δεν θα κάνουμε διακρίσεις εις βάρος οποιουδήποτε αιτούντος ή υπαλλήλου με βάση την ηλικία, τη φυλή, το χρώμα, τη θρησκεία, το φύλο, τον σεξουαλικό προσανατολισμό, το φύλο, την ταυτότητα ή έκφραση φύλου, την ιατρική κατάσταση, την εθνική καταγωγή, την καταγωγή, την ιθαγένεια, την οικογενειακή κατάσταση ή την κατάσταση της συμβίωσης/συνδικαλιστικής σχέσης, τη σωματική ή διανοητική αναπηρία, την εγκυμοσύνη, τον τοκετό, γενετικές πληροφορίες, στρατιωτική και βετεράνος βάσει τοπικής νομοθεσίας ή οποιαδήποτε άλλη τοπική νομοθεσία.
Το CertiK θα εξετάσει το ενδεχόμενο απασχόλησης ειδικευμένων αιτούντων με ποινικό ιστορικό με τρόπο που να συνάδει με τις τοπικές και ομοσπονδιακές απαιτήσεις. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
Όλοι οι υπάλληλοι της CertiK αναμένεται να υποστηρίζουν ενεργά τη διαφορετικότητα στις ομάδες τους και στην Εταιρεία.

Πηγή: Jobicy (https://jobicy.com/jobs/142139-solidity-compiler-frontend-engineer)