Michael Färber
Postdoctoral Researcher at Leopold-Franzens Universität Innsbruck
Innsbruck, Tyrol, Austria
Summary
🤩
Rockstar🎓
Top SchoolMichael Färber is a postdoctoral researcher and seasoned software engineer with 18 years of experience, specializing in logic, automated reasoning, and high-performance systems—often implemented in Rust. He holds a PhD in computer science and blends academic rigor with practical engineering, contributing full-stack and backend improvements to notable open-source projects like the Typst typesetter, the pest parser, and the jaq jq-clone. Michael favors small, correct, and fast code—likening software to a Samurai sword—and has a track record of no_std-ification, modularization, and performance-driven refactors. His work spans frontend features (HTML export and pretty-printing) to deep core changes (parsing, numbering, and compatibility across alloc/core), showing comfort across the stack. Based in Innsbruck, he pairs research roles across European universities with sustained hands-on maintenance of community projects, including localization and bug fixes for legacy C/C++ codebases. He brings a meticulous eye for elegance and correctness that improves both developer ergonomics and runtime efficiency.
18 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Electrical and Electronics Engineering, Bachelor of Science - BS, Electrical and Electronics Engineering at Technical University of MunichDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Leopold-Franzens Universität InnsbruckComputer Science, Computer Science at Université de Bordeaux
Github Skills (24)
markup10
testing10
c1110
rust-no-std10
c1710
compiler-compiler10
parsing10
typesetting10
html10
compiler10
rust10
text-parsing10
nox10
data-structure9
maintenance9
Programming languages (17)
Github contributions (5)
01mf02/jaq
Dec 2020 - Jan 2023
A jq clone focussed on correctness, speed, and simplicity
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 releases, 110 reviews, 413 commits in 2 years 1 month
Contributions summary:Michael's commits primarily focused on improving the `jaq` project, a `jq` clone written in Rust. Their work involved splitting the codebase into core and CLI crates, indicating a focus on modularity and code organization. They made changes to parsing, filter and number logic, showing a strong emphasis on enhancing the core functionality and underlying data structures of the tool. Furthermore, the user addressed test failures and prepared the codebase for no_std-ification, demonstrating attention to code correctness and broader compatibility.
queryspeedrustjsoncorrectness
audacious-media-player/audacious
Jul 2007 - Sep 2008
A lightweight and versatile audio player
Role in this project:Back-end Developer
Back-end DeveloperContributions:172 commits in 1 year 3 months
Contributions summary:Michael primarily contributed to the Audacious media player by addressing code inefficiencies, porting and adding German and Brazilian translations, and resolving merge conflicts. They fixed a failing assertion and a compilation issue, demonstrating a focus on code quality and software maintenance. The user also made some minor changes on the UI for the music player.
audio-playeraudioversatilemusicmusic-player
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.