alcinnz, 7 months ago (edited 7 months ago) Hey, does anyone have any software development work that needs doing? I have some free months that need filling with contracts! I know a number of languages including but certainly not limited to Python, Java, C, JavaScript, Vala, Haskell, Lua, Julia, GLSL, & more. I have experience with standards & standards-setting, geospatial data, metadata, linked-data, opensource, static websites, GTK apps, & I'm developing a browser engine. Also: I enjoy speaking! #FediHire
Hey, does anyone have any software development work that needs doing? I have some free months that need filling with contracts!
I know a number of languages including but certainly not limited to Python, Java, C, JavaScript, Vala, Haskell, Lua, Julia, GLSL, & more.
I have experience with standards & standards-setting, geospatial data, metadata, linked-data, opensource, static websites, GTK apps, & I'm developing a browser engine.
Also: I enjoy speaking!
#FediHire
Pdragos, 7 months ago @alcinnz any experience in model checking or proof assistants?
@alcinnz any experience in model checking or proof assistants?
alcinnz, 7 months ago (edited 7 months ago) @Pdragos I've got some training on proof assistants. And Haskell uses similar skills. And we have worked a lot with modeling!
@Pdragos I've got some training on proof assistants. And Haskell uses similar skills.
And we have worked a lot with modeling!
Pdragos, 7 months ago @alcinnz If isabelle (in particular) is up your alley, and think that model checking is something you could pick up quickly, feel free to apply here! https://apply.workable.com/mlabs/j/DC4D36FC1D/ Im currently conducting first-round interviews. Happy to chat more in DMs if you would like
@alcinnz If isabelle (in particular) is up your alley, and think that model checking is something you could pick up quickly, feel free to apply here! https://apply.workable.com/mlabs/j/DC4D36FC1D/
Im currently conducting first-round interviews. Happy to chat more in DMs if you would like
alcinnz, 7 months ago @Pdragos It does look like something I can do & would be interested in! Though I don't think I can do full time. I have other contracts shaping up, though probably not fast enough for my financial needs. But if you find yourself short-staffed for any particular project, feel free to reach out!
@Pdragos It does look like something I can do & would be interested in! Though I don't think I can do full time.
I have other contracts shaping up, though probably not fast enough for my financial needs.
But if you find yourself short-staffed for any particular project, feel free to reach out!
thinkMoult, 7 months ago @alcinnz Would you be interested in building some free software? There's a JavaScript app that's been long neglected and unfinished. There's also no end of odd jobs using Python and C++. What hourly rate would you charge?
@alcinnz Would you be interested in building some free software? There's a JavaScript app that's been long neglected and unfinished. There's also no end of odd jobs using Python and C++. What hourly rate would you charge?
Add comment