Dominik Wójt
Senior Software Engineer at Mobica
Lower Silesian Voivodeship, Poland
Summary
🤩
Rockstar🎓
Top SchoolDominik Wójt is a Senior Software Engineer with 11 years of C++ experience, combining a physics background with deep expertise in SystemC-based IC simulators and Qt-based embedded GUIs. He progressed from graduate engineer to senior roles at Imagination Technologies, Sonel and Nokia, and now contributes at Mobica, bringing a strong track record in simulation, embedded systems and tooling. Fascinated by formal proof verifiers like Metamath and Coq, he is actively expanding into formal methods to bridge rigorous proofs with practical software and hardware development. Based in Lower Silesia, Poland, Dominik pairs scientific rigor with production engineering, often applying analytical problem-solving from physics to optimize complex codebases.
11 years of coding experience
8 years of employment as a software developer
Magister, Fizyka, Magister, Fizyka at Politechnika Wrocławska
Stackoverflow
26reputation
967reached
1answer
0questions
Github Skills (68)
linux-distribution10
package-management10
bitbake10
image-processing10
firmware10
gcc10
ubuntu10
iso10
arm10
cpp10
armv710
clang10
operating-system10
32-bit10
modular10
Programming languages (6)
Github contributions (5)
domin144/formal_av1
May 2018 - Jan 2023
Contributions:32 pushes, 3 branches in 4 years 8 months
domin144/miscellaneous
May 2016 - Mar 2024
Contributions:9 pushes, 1 branch in 7 years 11 months
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.