Lean FRO: Research Software Engineer (Tooling)

Stream: job postings

[Jason Reed]

As announced a few weeks ago, the Lean FRO has new funding to develop a next-generation mathematical workbench for the Lean theorem prover, an environment where mathematicians can collaborate using familiar informal writing, with the rigor and correctness guarantees of Lean.

To that end, we are hiring for both junior and senior positions on a team to work on the Literate Programming & Next Generation UX deliverables of the FRO year 3 roadmap.

Apply at:
(junior role) https://jobs.lever.co/convergentresearch/b0ef4502-b2a0-4018-9641-33dfeef09820
(senior role) https://jobs.lever.co/convergentresearch/5a0770d5-b31f-4afa-a434-3b6566d7f867

[Wrenna Robson]

The requirements for these positions seem reasonably similar: the main difference seems to be that the Senior role has some management responsibility? Are there any other distinctions you think applicants ought to be aware of?

[Jason Reed]

You're correct that the topic of the work is going to be pretty similar for the two roles. The main differences in expectations are, I think, common for positions requiring more experience vs. less experience, e.g. that the senior role would be expected to be able to work more independently, have a better chance of predicting the long-term consequences of their design choices, be more familiar with effective collaboration patterns, be able to do some light-weight supervision (although not formal management) of their more junior peers. Does that help clarify?

[Chris Henson]

The listings say "Part-time could be considered for strong candidates." Maybe not for this role, but in the future might this extend to internships for PhD students?

[Jason Reed]

Sorry, there aren't any plans to hire interns right now. If that ever changes I think this channel is the most likely place it'd be posted.

[Jason Reed]

A couple of other notes:

• Where the job posting says "Remote US" that should be interpreted as "Remote position available internationally, not just the US, but working for a US-based company for compliance purposes"
• If you feel uncertain based on your background about whether you better fit the junior or senior role, it's not necessary to apply to both. Feel free to apply to one or the other, and levelling can be part of the conversation.

[Wrenna Robson]

Jason Reed said:

You're correct that the topic of the work is going to be pretty similar for the two roles. The main differences in expectations are, I think, common for positions requiring more experience vs. less experience, e.g. that the senior role would be expected to be able to work more independently, have a better chance of predicting the long-term consequences of their design choices, be more familiar with effective collaboration patterns, be able to do some light-weight supervision (although not formal management) of their more junior peers. Does that help clarify?

Yes, it definitely does - thanks.

[Wrenna Robson]

Oh: what is the deadline for this post?

[Kim Morrison]

I think there is no deadline; we are already interviewing.

[Wrenna Robson]

Great - thanks - I'll get on that then!

[Pedro Abreu]

I just submitted my application, I hope I'm not too late for the party. This is an opening that got me very excited to apply given my profile! :)

[Wrenna Robson]

Having passed my viva today, I'm planning to submit an application to this soon.