Jonáš Fuksa
PHD Student at Freie Universität Berlin
Berlin, Germany
Summary
👤
Senior🎓
Top SchoolJonáš Fuksa is a PhD researcher at Freie Universität Berlin specializing in benchmarking quantum devices, Hamiltonian learning, and tensor network methods, with a decade of scientific research experience. Trained at the University of Cambridge in theoretical and mathematical physics, he blends theoretical insight with hands-on computational and experimental work—from analysing hydrogen diffusion and irradiated metals to designing lab instrumentation. Based in Berlin, he pursues a broad curiosity across quantum information while progressively specialising through his doctoral work in Jens Eisert’s group. He also engages in science communication and outreach, translating complex quantum topics for wider audiences.
10 years of coding experience
4 years of employment as a software developer
Master of Mathematics, Theoretical and Mathematical Physics, Master of Mathematics, Theoretical and Mathematical Physics at University of CambridgePORG
Github Skills (71)
instantiation10
intermediate10
security10
infrastructure10
rust-lang10
axiom10
quantifiers10
condition10
formal-verification10
compiler10
rust10
verification10
viper10
z39
wasm-bindgen9
Programming languages (10)
Github contributions (5)
JonasAlaif/prusti-dev
Sep 2021 - Aug 2022
A static verifier for Rust, based on the Viper verification infrastructure.
Contributions:135 pushes, 29 branches in 10 months
rustsecurityverifierinfrastructureviper
viperproject/smt-scope
Oct 2023 - Mar 2025
SMTscope automatically analyses and visualises SMT solver execution traces.
Contributions:2 reviews, 162 PRs, 531 pushes in 1 year 4 months
axiome-matchinginstantiationquantifierssmt
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.