Software Engineer (Engineer III to Principal) - Formal Methods
principal~$14.4K /moNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, EN
automated-testingmodel-checkingabstract-algebraalgorithmmathematical-logicautomata-theory+6
You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs. You will implement and improve algorithms such …
Senior Engineer SRE DevOps
seniorremoteUS Remote, EN
securityiacelkprometheusblockchainansible+6
You will design and maintain infrastructure as code, automate deployment and scaling of services, and build CI/CD pipelines. You will implement automated testing, establish monitor…