David Halter
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolDavid Halter is a seasoned recruitment professional based in Zurich with 14 years of experience specializing in tech and campus hiring, currently focused on internal recruitment and HR strategy for Swiss organizations. He has led end-to-end talent acquisition programs at ELCA and Zürcher Kantonalbank, building campus pipelines, integrating recruiting tools, and reporting directly to senior leadership. Equally at home with technical hiring, David has a hands-on appreciation for developer workflows—he contributes to notable open-source Python projects such as jedi and parso, improving static analysis, autocompletion, and parser reliability. This mix of deep recruiting expertise and active engagement in developer tooling gives him a rare ability to translate engineering needs into practical hiring strategies. Trained in HR leadership (MAS) and with a background in structured military leadership, he combines analytical rigor, discipline, and creativity in talent programs. Colleagues describe him as a pragmatic connector who strengthens employer branding while streamlining candidate experience end-to-end.
14 years of coding experience
Human Resources Assistant NBW, HR, Human Resources Assistant NBW, HR at NBW Betriebswirtschaftliche Weiterbildungapprentice ship as merchandiser, advanced education, apprentice ship as merchandiser, advanced education at ProfiLogic AGMaster of Advanced Studies, Human Resources Leadership, Master of Advanced Studies, Human Resources Leadership at HWZ Hochschule für Wirtschaft ZürichHuman Resource Specialist, Federal Diploma of Higher Education, Corporate Human Resource Management, Human Resource Specialist, Federal Diploma of Higher Education, Corporate Human Resource Management at HRSESergeant / MainBattleTank-Commander, Sergeant / MainBattleTank-Commander at Swiss Military Forces
English, German, French
Stackoverflow
15,915reputation
1.8mreached
115answers
32questions
vim
top-5%
ssh-keys
top-5%
tuples
top-5%
plpgsql
top-5%
postgresql
top-5%
python
top-1%
Github Skills (50)
static-typing10
typesc10
type-inference10
parser10
static-analysis10
cloud-computing10
python10
apidoc10
stub10
stubs10
vimscript10
testing10
dynamic-typing10
autocomplete10
typescript10
Programming languages (14)
Github contributions (5)
davidhalter/jedi
Feb 2012 - Jan 2023
Awesome autocompletion, static analysis and refactoring library for python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:46 reviews, 7148 commits, 371 PRs in 11 years
Contributions summary:David primarily focused on refactoring and improving the `jedi` library's internal functionality. Their commits involved making significant changes to how dynamic parameters and function signatures are handled, particularly within the `jedi/inference` modules. The user also made changes to how Django model field types are inferred. This involved core improvements to the static analysis engine's core.
static-analyzerlinterauto-completepythonanalysis
davidhalter/jedi-vim
Apr 2012 - Dec 2022
Using the jedi autocompletion library for VIM.
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 reviews, 512 commits, 182 PRs in 10 years 10 months
Contributions summary:David contributed significantly to the jedi-vim project, focusing on enhancing the Python code completion and related features within the Vim editor. Their work involved implementing new functionalities such as the `goto` and `pyimport` commands, enabling users to navigate code and import modules more efficiently. They addressed several bugs and improved code quality, ensuring a better user experience. The user's primary focus was improving the functionality and user experience related to code completion and navigation.
autocompletionjedivim
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.