Julian Dunskus is a software engineer with a decade of experience, currently contributing to Apple's CoreUI team in Cupertino. Trained at ETH Zürich with both a BSc and MSc in Computer Science, he blends strong theoretical foundations with pragmatic product-focused engineering. He aims to create joyful experiences across games, software, and websites, and describes himself playfully as "a machine for turning chocolate into code," hinting at a creative, energetic work style. Julian brings depth in UI and system-level thinking from working at a leading platform company, and values polish and user delight in shipped products. His background suggests strong academic rigor paired with a taste for delightful, human-centered software.
10 years of coding experience
Master of Science (MSc), Computer Science, 5.33, Master of Science (MSc), Computer Science, 5.33 at ETH Zürich
Cantonal Matura, 5.2 (average of all subjects; 6 is the best grade possible), Cantonal Matura, 5.2 (average of all subjects; 6 is the best grade possible) at Kantonsschule Hohe Promenade Zürich
A static verifier for Rust, based on the Viper verification infrastructure.
Contributions:140 pushes, 5 branches, 40 tags in 2 years 9 months
rustsecurityverifierinfrastructureviper
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.