Searching for a job

Yesterday my contract with my university JAIST ended. I was working there as Associate Professor for 6.5 years, but the university decided not to extend my contract (financial problems, foreigner in Japan). That means, I am now out on the job market again – not the greatest fun for an academic at my age. Thanks to JAIST for circumventing the ominous 5-year clause of permanent employment.

My prime interests are academic work, that is research and teaching, where research is in a variety of fields, mostly mathematical logic, theoretical computer science, and formal methods. Recently I am working on an extension of the Curry-Howard correspondence to cover different calculi, in particular Hyper Sequent Calculi, and relate them to some kind of process algebra. For more details see the logic dedicated page.

My other focal point is programming and software development, where I have contributed to many open source projects, and act as main developer of the TeX Live infrastructure and distribution system (tlmgr). Main languages are Perl, PHP, C, but also Python, Vala, Lisp, CafeOBJ, and whatever comes around. For more details see the software page.

I recently became father, so I would prefer either an academic position in Hokuriku, Japan, or a software developer position where I can work (most of the time) remotely.

In case one of the readers here has some hints, please drop me a line. In the meantime I enjoy my unemployed life with my baby!

4 Responses

  1. Michael S. says:

    Wow, that’s not great :/

    We always need coders who know free software in Red Hat (and are ok with remote work), so I would recommend to go on and look for various positions to see if one interest you. Some may be listed as “not remote”, but you can always try (since that can always be open for negociation). I can also send the link to a recruiter that would discuss on the current position and what we are looking for, if you prefer, but I rather not do that without your approval (you can use my work email to contact me)

  2. buck says:

    saw this on Planet Haskell:

    it’s in Japan, but maybe still not your cup of tea (no pun)

  3. Anonymous says:

    Tsuru Capital are a Haskell shop based in Tokyo:

Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>