Ask HN: Who wants to be hired? (November 2024)

  Location: Bergen, Norway (Swedish national)
  Remote: Yes
  Willing to relocate: No
  Technologies: Haskell, Python, Agda, Coq, Lean
  Expertise: Type theory, category theory, functional programming
  Résumé/CV: https://login.yoursecurecloud.de/f/809e6eb94cee40828764/?dl=1

  I am about to finish a PhD in type theory. I have 5+ years of experience in
  functional programming and formal verification, together with experience in
  larger software projects. Currently looking for jobs in either FP (preferrably
  Haskell), or formal verification. More details can be found in my CV.
  Email: found in my CV

Location: Vancouver, British Columbia, Canada

Remote: yes

Willing to relocate: no

Title: Independent research (advocacy) | Life sciences consultancy

C.V., cover letter: two streams - (1) social justice advocacy; (2) scientific research Website: https://persagen.org/wpi/

Focus: Knowledge engine devoted to social justice, environmental protection, universal human rights.

Subject matter expert: life/biomedical sciences, politics, wealth, power, influence, ontology

Volunteer board member: two 2SLGBTQIA+ seniors-focused nonprofits

Recent technologies: I designed and built Persagen.org. Hand-coded (Vim: HTML / JS / CSS / PHP); self-managed VPS; backend server Apache Solr secured by TLS/SSL; demo ontology, knowledge graph; ...

Data science; programming (intermediate: Python; BASH; Linux superuser; knowledge graphs; NLP; some past ML, hands-on, older)

Technologies (skills): Bacterial genetics, Biochemistry, Bioengineering, Bioinformatics, Biomedical research, Cancer research, Computer Science, CSS, Data management, Data science, Data visualization, Digital humanities, Graphical models, HTML coding, Informatics, Java, JavaScript, Knowledge graphs, Linux superuser, Machine Learning, Microbiology, Molecular biology, Molecular genetics, MySQL, Natural language processing, Ontology, PHP, Political analysis, PSQL, Python, R (GNU S), Scientific authorship, Scientific consultant, Semantic web, SQL, Web development, XML, Yeast genetics

Location: Paris

Remote: Flexible

Willing to relocate: Yes

Technologies: Javascript, Python, Go, Node, React, React Native, Electron, D3, Postgres, advanced SQL, Linux, Cloud Native, Microservices, Serverless, WebRTC, Ethereum

Resume: https://gwn.wtf/mortals.html

Email: hire@gwn.wtf

---

(Contract only)

Experienced (10+ yrs) full stack product engineer. Very good at both web & mobile & desktop apps, APIs, Postgres, Linux, mentorship, and communication in general. Touch typist, VIM ninja, refactoring monster. With an academic background of philosophy.

Been developing a lot of different projects for different teams, company types (startups, scale-ups, enterprise) and industries (finance, crypto, digital marketing, automation, online education, e-commerce).

My technical specialty is building simple systems with few moving parts that contain as little accidental complexity as possible. I'm pragmatic but always chase proper implementations at the same time. I don’t easily buy the hype nor subscribe to every new shiny tool & paradigm. I focus on robust & reliable software as much as possible.

My business specialty is caring greatly about understanding your domain, business model, figuring out your product priorities and actually iterating fast. In a world where the majority of software projects fail and the majority of engineering hires disappoint, I am promising you the peace of mind of knowing that you have an actually capable engineer beside you who understands your business model, cares about your investment and is able to make good judgements.

Always looking for interesting & challenging projects and smart people.

Feel free to contact if you don't have the luxury of failure.